M. Backes is an author at IBM Research - Zurich specializing in automated reasoning, formal verification, and data security.
Top concepts
EngineeringCryptographyVerificationData SecurityFormal MethodsComputer ScienceHardware SecurityAutomated ReasoningFormal VerificationInformation Security
Publications per year
2006–2006
1
1
Cryptographically Sound Theorem Proving
Christoph Sprenger, M. Backes, D. Basin et al. · 2006 · 67 citations
Cryptographic Primitive, Engineering, Information Security +18
Rows per page
1–1 of 1