Manuel Leithner

40 papers A* 2A 2B 2C 5Misc 1Journal 15Unranked 13

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Combinatorial Security Testing - 10 Years Later. IEEE Secur. Priv. Dimitris E. Simos, Manuel Leithner, Rick Kuhn, Bernhard Garn, Raghu Kacker, Jeff Yu Lei
2025	—	`conf`	Bluetooth Low Energy Security Testing with Combinatorial Methods. USENIX ATC Dominik-Philip Schreiber, Manuel Leithner, Jovan Zivanovic, Dimitris E. Simos
2025	C	`conf`	Reverse Engineering for Input Modeling: Input Parameter Model Inference from Network Traces. ICTSS Manuel Leithner, Dimitris E. Simos
2025	—	`conf`	Towards Continuous Integration for Combinatorial Testing. ICSTW Manuel Leithner, Jovan Zivanovic, Reinhard Kugler, Dimitris E. Simos
2024	C	`conf`	Annotation-Based Input Modeling for Combinatorial Testing. ICTSS Markus Fugger, Manuel Leithner, Dimitris E. Simos
2024	B	`conf`	Combinatorial Testing Methods for Reverse Engineering Undocumented CAN Bus Functionality. ARES Christoph Wech, Reinhard Kugler, Manuel Leithner, Dimitris E. Simos
2024	—	`conf`	On Combinatorial Security Testing for the Tor Anonymity Network Client. ICSTW Dimitris E. Simos, Bernhard Garn, Dominik Schreiber, Manuel Leithner, D. Richard Kuhn, Raghu Kacker
2024	J	`jnl`	State of the CArt: evaluating covering array generators at scale. Int. J. Softw. Tools Technol. Transf. Manuel Leithner, Andrea Bombarda, Michael Wagner, Angelo Gargantini, Dimitris E. Simos
2023	C	`conf`	Applying Pairwise Combinatorial Testing to Large Language Model Testing. ICTSS 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
2023	—	`conf`	Combinatorial Methods for HTML Sanitizer Security Testing. ICSTW Jovan Zivanovic, Manuel Leithner, Dimitris E. Simos, Michael Pitzer, Peter J. Slanina
2023	—	`conf`	Summary of Combinatorial Methods for Dynamic Gray-Box SQL Injection Testing. ICSTW Bernhard Garn, Jovan Zivanovic, Manuel Leithner, Dimitris E. Simos
2022	J	`jnl`	A Two-Step TLS-Based Browser fingerprinting approach using combinatorial sequences. Comput. Secur. Bernhard Garn, Stefan Zauner, Dimitris E. Simos, Manuel Leithner, D. Richard Kuhn, Raghu Kacker
2022	—	`conf`	CA ICST Workshops Manuel Leithner, Dimitris E. Simos
2022	J	`jnl`	Combinatorial methods for dynamic gray-box SQL injection testing. Softw. Test. Verification Reliab. Bernhard Garn, Jovan Zivanovic, Manuel Leithner, Dimitris E. Simos
2022	—	`conf`	Developing multithreaded techniques and improved constraint handling for the tool CAgen. ICST Workshops Michael Wagner, Manuel Leithner, Dimitris E. Simos, Rick Kuhn, Raghu Kacker
2021	—	`conf`	Combinatorially XSSing Web Application Firewalls. ICST Workshops Bernhard Garn, Daniel Sebastian Lang, Manuel Leithner, D. Richard Kuhn, Raghu Kacker, Dimitris E. Simos
2021	J	`jnl`	HYDRA: Feedback-driven black-box exploitation of injection vulnerabilities. Inf. Softw. Technol. Manuel Leithner, Bernhard Garn, Dimitris E. Simos
2020	J	`jnl`	Sliced AETG: a memory-efficient variant of the AETG covering array generation algorithm. Optim. Lett. Ludwig Kampel, Manuel Leithner, Dimitris E. Simos
2020	Misc	`conf`	XIEv: dynamic analysis for crawling and modeling of web applications. SAC Manuel Leithner, Dimitris E. Simos
2019	C	`conf`	A Fault-Driven Combinatorial Process for Model Evolution in XSS Vulnerability Detection. IEA/AIE Bernhard Garn, Marco Radavelli, Angelo Gargantini, Manuel Leithner, Dimitris E. Simos
2019	—	`conf`	Applying Combinatorial Testing to Large-Scale Data Processing at Adobe. ICST Workshops Riley Smith, Darryl C. Jarman, Raghu Kacker, D. Richard Kuhn, Dimitris E. Simos, Ludwig Kampel, Manuel Leithner, Gabe Gosney
2019	—	`conf`	Automated combinatorial testing for detecting SQL vulnerabilities in web applications. AST@ICSE Dimitris E. Simos, Jovan Zivanovic, Manuel Leithner
2019	—	`conf`	Practical Combinatorial Testing for XSS Detection using Locally Optimized Attack Models. ICST Workshops Dimitris E. Simos, Bernhard Garn, Jovan Zivanovic, Manuel Leithner
2019	J	`jnl`	Problems and algorithms for covering arrays via set covers. Theor. Comput. Sci. Ludwig Kampel, Manuel Leithner, Bernhard Garn, Dimitris E. Simos
2019	J	`jnl`	Testing TLS using planning-based combinatorial methods and execution framework. Softw. Qual. J. Dimitris E. Simos, Josip Bozic, Bernhard Garn, Manuel Leithner, Feng Duan, Kristoffer Kleine, Yu Lei, Franz Wotawa
2018	—	`conf`	CAMETRICS: A Tool for Advanced Combinatorial Analysis and Measurement of Test Sets. ICST Workshops Manuel Leithner, Kristoffer Kleine, Dimitris E. Simos
2018	B	`conf`	DOMdiff: Identification and Classification of Inter-DOM Modifications. WI Manuel Leithner, Dimitris E. Simos
2014	J	`jnl`	Covert Computation - Hiding code in code through compile-time obfuscation. Comput. Secur. Sebastian Schrittwieser, Stefan Katzenbeisser, Peter Kieseberg, Markus Huber, Manuel Leithner, Martin Mulazzani, Edgar R. Weippl
2013	A	`conf`	Covert computation: hiding code in code for obfuscation purposes. AsiaCCS Sebastian Schrittwieser, Stefan Katzenbeisser, Peter Kieseberg, Markus Huber, Manuel Leithner, Martin Mulazzani, Edgar R. Weippl
2012	—	`conf`	A comparison of Web service technologies for smart meter data exchange. ISGT Europe Markus Jung, Wolfgang Kastner, Georg Kienesberger, Manuel Leithner
2012	J	`jnl`	Android forensics. Comput. Secur. Manuel Leithner, Edgar R. Weippl
2012	J	`jnl`	Coding for Penetration Testers. Comput. Secur. Manuel Leithner, Edgar R. Weippl
2012	J	`jnl`	Enterprise Security for the Executive. Comput. Secur. Edgar R. Weippl, Manuel Leithner
2012	A*	`conf`	Guess Who's Texting You? Evaluating the Security of Smartphone Messaging Applications. NDSS Sebastian Schrittwieser, Peter Frühwirt, Peter Kieseberg, Manuel Leithner, Martin Mulazzani, Markus Huber, Edgar R. Weippl
2012	J	`jnl`	Low Tech Hacking. Comput. Secur. Manuel Leithner, Edgar R. Weippl
2012	J	`jnl`	Thor's Microsoft Security Bible. Comput. Secur. Manuel Leithner, Edgar R. Weippl
2012	J	`jnl`	XBOX 360 Forensics: A Digital Forensics Guide to Examining Artifacts. Comput. Secur. Manuel Leithner, Edgar R. Weippl
2011	A*	`conf`	Dark Clouds on the Horizon: Using Cloud Storage as Attack Vector and Online Slack Space. USENIX Security Symposium Martin Mulazzani, Sebastian Schrittwieser, Manuel Leithner, Markus Huber, Edgar R. Weippl
2011	A	`conf`	Social snapshots: digital forensics for online social networks. ACSAC Markus Huber, Martin Mulazzani, Manuel Leithner, Sebastian Schrittwieser, Gilbert Wondracek, Edgar R. Weippl
2010	C	`conf`	QR code security. MoMM Peter Kieseberg, Manuel Leithner, Martin Mulazzani, Lindsay Munroe, Sebastian Schrittwieser, Mayank Sinha, Edgar R. Weippl