
Dipl. Ing.
Manuel Leithner, BSc
Department Information Technologies and Digitalisation
Raum: Urstein - 412
Schwerpunkte
- 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