Manuel Leithner

According to our database, Manuel Leithner authored at least 35 papers between 2010 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

State of the CArt: evaluating covering array generators at scale.

Manuel Leithner, Andrea Bombarda, Michael Wagner, Angelo Gargantini, Dimitris E. Simos

Int. J. Softw. Tools Technol. Transf., June, 2024

On Combinatorial Security Testing for the Tor Anonymity Network Client.

Dimitris E. Simos, Bernhard Garn, Dominik Schreiber, Manuel Leithner, D. Richard Kuhn, Raghu Kacker

Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2024, 2024

Combinatorial Testing Methods for Reverse Engineering Undocumented CAN Bus Functionality.

Christoph Wech, Reinhard Kugler, Manuel Leithner, Dimitris E. Simos

Proceedings of the 19th International Conference on Availability, Reliability and Security, 2024

2023

Applying Pairwise Combinatorial Testing to Large Language Model Testing.

Bernhard Garn, Ludwig Kampel, Manuel Leithner, Berina Celic, Ceren Çulha, Irene Hiess, Klaus Kieseberg, Marlene Koelbing, Dominik-Philip Schreiber, Michael Wagner, Christoph Wech, Jovan Zivanovic, Dimitris E. Simos

Proceedings of the Testing Software and Systems, 2023

Combinatorial Methods for HTML Sanitizer Security Testing.

Jovan Zivanovic, Manuel Leithner, Dimitris E. Simos, Michael Pitzer, Peter J. Slanina

Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2023, 2023

Summary of Combinatorial Methods for Dynamic Gray-Box SQL Injection Testing.

Bernhard Garn, Jovan Zivanovic, Manuel Leithner, Dimitris E. Simos

Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2023, 2023

2022

Combinatorial methods for dynamic gray-box SQL injection testing.

Bernhard Garn, Jovan Zivanovic, Manuel Leithner, Dimitris E. Simos

Softw. Test. Verification Reliab., 2022

A Two-Step TLS-Based Browser fingerprinting approach using combinatorial sequences.

Bernhard Garn, Stefan Zauner, Dimitris E. Simos, Manuel Leithner, D. Richard Kuhn, Raghu Kacker

Comput. Secur., 2022

Developing multithreaded techniques and improved constraint handling for the tool CAgen.

Michael Wagner, Manuel Leithner, Dimitris E. Simos, Rick Kuhn, Raghu Kacker

Proceedings of the 15th IEEE International Conference on Software Testing, 2022

CA²: Practical Archival and Compression of Covering Arrays.

Manuel Leithner, Dimitris E. Simos

Proceedings of the 15th IEEE International Conference on Software Testing, 2022

2021

HYDRA: Feedback-driven black-box exploitation of injection vulnerabilities.

Manuel Leithner, Bernhard Garn, Dimitris E. Simos

Inf. Softw. Technol., 2021

Combinatorially XSSing Web Application Firewalls.

Bernhard Garn, Daniel Sebastian Lang, Manuel Leithner, D. Richard Kuhn, Raghu Kacker, Dimitris E. Simos

Proceedings of the 14th IEEE International Conference on Software Testing, 2021

2020

Sliced AETG: a memory-efficient variant of the AETG covering array generation algorithm.

Ludwig Kampel, Manuel Leithner, Dimitris E. Simos

Optim. Lett., 2020

XIEv: dynamic analysis for crawling and modeling of web applications.

Manuel Leithner, Dimitris E. Simos

Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020

2019

Problems and algorithms for covering arrays via set covers.

Ludwig Kampel, Manuel Leithner, Bernhard Garn, Dimitris E. Simos

Theor. Comput. Sci., 2019

Testing TLS using planning-based combinatorial methods and execution framework.

Dimitris E. Simos, Josip Bozic, Bernhard Garn, Manuel Leithner, Feng Duan, Kristoffer Kleine, Yu Lei, Franz Wotawa

Softw. Qual. J., 2019

A Fault-Driven Combinatorial Process for Model Evolution in XSS Vulnerability Detection.

Bernhard Garn, Marco Radavelli, Angelo Gargantini, Manuel Leithner, Dimitris E. Simos

Proceedings of the Advances and Trends in Artificial Intelligence. From Theory to Practice, 2019

Applying Combinatorial Testing to Large-Scale Data Processing at Adobe.

Riley Smith, Darryl C. Jarman, Raghu Kacker, D. Richard Kuhn, Dimitris E. Simos, Ludwig Kampel, Manuel Leithner, Gabe Gosney

Proceedings of the 2019 IEEE International Conference on Software Testing, 2019

Practical Combinatorial Testing for XSS Detection using Locally Optimized Attack Models.

Dimitris E. Simos, Bernhard Garn, Jovan Zivanovic, Manuel Leithner

Proceedings of the 2019 IEEE International Conference on Software Testing, 2019

Automated combinatorial testing for detecting SQL vulnerabilities in web applications.

Dimitris E. Simos, Jovan Zivanovic, Manuel Leithner

Proceedings of the 14th International Workshop on Automation of Software Test, 2019

2018

DOMdiff: Identification and Classification of Inter-DOM Modifications.

Manuel Leithner, Dimitris E. Simos

Proceedings of the 2018 IEEE/WIC/ACM International Conference on Web Intelligence, 2018

CAMETRICS: A Tool for Advanced Combinatorial Analysis and Measurement of Test Sets.

Manuel Leithner, Kristoffer Kleine, Dimitris E. Simos

Proceedings of the 2018 IEEE International Conference on Software Testing, 2018

2014

Covert Computation - Hiding code in code through compile-time obfuscation.

Sebastian Schrittwieser, Stefan Katzenbeisser, Peter Kieseberg, Markus Huber, Manuel Leithner, Martin Mulazzani, Edgar R. Weippl

Comput. Secur., 2014

2013

Covert computation: hiding code in code for obfuscation purposes.

Sebastian Schrittwieser, Stefan Katzenbeisser, Peter Kieseberg, Markus Huber, Manuel Leithner, Martin Mulazzani, Edgar R. Weippl

Proceedings of the 8th ACM Symposium on Information, Computer and Communications Security, 2013

2012

Enterprise Security for the Executive.

Edgar R. Weippl, Manuel Leithner

Comput. Secur., 2012

Low Tech Hacking.

Manuel Leithner, Edgar R. Weippl

Comput. Secur., 2012

XBOX 360 Forensics: A Digital Forensics Guide to Examining Artifacts.

Manuel Leithner, Edgar R. Weippl

Comput. Secur., 2012

Thor's Microsoft Security Bible.

Manuel Leithner, Edgar R. Weippl

Comput. Secur., 2012

Coding for Penetration Testers.

Manuel Leithner, Edgar R. Weippl

Comput. Secur., 2012

Android forensics.

Manuel Leithner, Edgar R. Weippl

Comput. Secur., 2012

Guess Who's Texting You? Evaluating the Security of Smartphone Messaging Applications.

Sebastian Schrittwieser, Peter Frühwirt, Peter Kieseberg, Manuel Leithner, Martin Mulazzani, Markus Huber, Edgar R. Weippl

Proceedings of the 19th Annual Network and Distributed System Security Symposium, 2012

A comparison of Web service technologies for smart meter data exchange.

Markus Jung, Wolfgang Kastner, Georg Kienesberger, Manuel Leithner

Proceedings of the 3rd IEEE PES Innovative Smart Grid Technologies Europe, 2012

2011

Dark Clouds on the Horizon: Using Cloud Storage as Attack Vector and Online Slack Space.

Martin Mulazzani, Sebastian Schrittwieser, Manuel Leithner, Markus Huber, Edgar R. Weippl

Proceedings of the 20th USENIX Security Symposium, 2011

Social snapshots: digital forensics for online social networks.

Markus Huber, Martin Mulazzani, Manuel Leithner, Sebastian Schrittwieser, Gilbert Wondracek, Edgar R. Weippl

Proceedings of the Twenty-Seventh Annual Computer Security Applications Conference, 2011

2010

QR code security.

Peter Kieseberg, Manuel Leithner, Martin Mulazzani, Lindsay Munroe, Sebastian Schrittwieser, Mayank Sinha, Edgar R. Weippl

Proceedings of the MoMM'2010, 2010