- This event has passed.
Operational Semantics of Security Protocols
November 21 @ 10:00 am - 12:00 pm
Speaker: Ioana Leustean (University of Bucharest)
Abstract: After a brief overview of the formal methods used for analyzing security protocols, we will focus on the operational semantics developed in:
C. Cremers, S. Mauw, Operational Semantics and Verification of Security Protocols, Springer, 2012.