Michael Backes
Backes has helped connect mathematically grounded security analysis with system and privacy research, while building major institutional capacity for cybersecurity research.
Michael Backes is a computer-security researcher associated with CISPA Helmholtz Center for Information Security. His research covers security, privacy, cryptography, and formal methods.
Security and privacy together
Backes’ work addresses the analysis of security protocols and privacy-preserving systems. This combination recognizes that a system can protect one property while failing another unless both are specified and evaluated.
Research institutions
He has also held leadership roles in German cybersecurity research, helping establish CISPA as a center for work spanning foundational and applied information security.
Timeline
- 2000sPublishes research on formal and cryptographic security analysis.
- 2011Becomes founding director of the CISPA research center.
- 2017CISPA becomes a Helmholtz Center for Information Security.
- PresentContinues research in security and privacy.
Michael Backes
- Type
- Person
- Era
- 1990s-Present
- Known for
- Security and privacy research; Cryptographic protocol analysis; CISPA
- Tags
- computer-security, privacy, cryptography, formal-methods
Created by Joas A Santos · Something wrong or want it removed? Open an issue.