Dipl.-Inf. Alexander Senier
© Pawel Kryj
Name
Herr Dipl.-Inf. Alexander Senier
Componolit
FORSCHUNGSINTERESSEN
- Component-based secure systems
- Decomposition of security protocols
- Formal verification of security protocols
- Design and verification of high-security systems
- Program verification
- Mobile security
Curiculum Vitae
| since 2015 | Scientific assistant, Chair of Privacy and Data Security, TU Dresden |
| 2014-2015 | Leader of the mobile security research practice at Security Research Labs GmbH, Berlin |
| 2005-2014 | Principal System Security Architect at secunet Security Networks AG, Dresden |
| 2000-2005 | Studies of Computer Science, Technische Universität Ilmenau |
PROJEKTE
SnoopSnitch
Android app allowing to detect threats (like fake base stations, silent SMS, OTA updates) in mobile networks by analysis of low-level radio data.
Muen Separation Kernel
Specialized micro kernel for realizing compartmented systems on the Intel platform.
SINA Multilevel Workstation
Advancement of the Secure Inter-Networking Architecture (SINA) of the German Federal Office for Information Security (BSI) towards a multi-domain architecture.