Dipl. Ing.
Manuel Leithner, BSc
Researcher
Department Information Technologies and Digitalisation
Department Information Technologies and Digitalisation
Location: Campus Urstein
Room: Urstein - 412
Room: Urstein - 412
Teaching
WIN-B | 5. WS 2025 | IT Security Engineering | IL
Focus
- Combinatorial Security Testing
- Advanced Modelling Techniques
- Translation of machine readable formats
- Symbolic Execution
- Reverse Engineering
- Integration into SDLCs
- Model maintenance throughout software evolution
- CI/CD integration
- Oracle analysis
- Protocol Security Testing
- Web Security Testing
- Advanced Modelling Techniques
- Anonymity
- Binary Analysis
- Reverse Engineering
- Dynamic Analysis
- (De-)Obfuscation
Current Publications
- Annotation-Based Input Modeling for Combinatorial Testing
Combinatorial testing (CT) is an efficient and effective black-box testing technology, combinining mathematically guaranteed input space coverage with comparatively small test sets. However, it...
2025 - Bluetooth Low Energy Security Testing with Combinatorial Methods
Wireless protocols such as Bluetooth Low Energy (BLE) play a vital role in ubiquitous computing and Internet of Things (IoT) devices. Numerous vulnerabilities in a variety of devices and components of...
2025 - Towards Continuous Integration for Combinatorial Testing
Combinatorial testing is an efficient black-box approach that permits practitioners to pseudo-exhaustively cover the input space of a system under test. It offers mathematically guaranteed coverage up...
2025