Martín Abadi
Abadi co-developed widely used formal approaches to authentication-protocol analysis, helping make security claims about protocols explicit and open to scrutiny.
Martín Abadi is a computer scientist whose research has crossed formal methods, programming languages, cryptography, and security. His work on protocol logics became a central reference point for analyzing authentication designs.
Reasoning about protocols
With Michael Burrows and Roger Needham, Abadi developed BAN logic, a notation and reasoning system for authentication protocols. Its importance lies in making assumptions, beliefs, and desired guarantees visible for analysis.
Formal security research
Abadi’s later work has continued to connect language-based methods and formal models with practical questions of system and protocol security.
Timeline
- 1987Receives a Ph.D. in computer science from Stanford University.
- 1989Co-authors work introducing BAN logic for authentication protocols.
- 2000sPublishes widely on language-based security and distributed systems.
- PresentContinues research in formal methods and security.
Martín Abadi
- Type
- Person
- Era
- 1980s-Present
- Known for
- BAN logic; Authentication-protocol analysis; Programming-language security
- Tags
- security-protocols, formal-methods, programming-languages, cryptography
Created by Joas A Santos · Something wrong or want it removed? Open an issue.