Gergei Bana, Ph.D.
Contact
Current Affiliations and Projects
Publications
Full list: Publications.
Working Papers
- Gergei Bana, Principal Principle Demystified — A Mathematically Rigorous Approach to Lewis's Principal Principle: PDF
Protocol Proofs with Computationally Complete Symbolic Attackers
(based on reachability)
- Needham–Schroeder–Lowe — honest players can play both roles (Initiator or Responder); 4 new attacks, with graphs: PDF
- Needham–Schroeder–Lowe — honest players play one role only: PDF
- Symmetric Needham–Schroeder — honest players play one role only, single trusted server: PDF
Other