
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
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