![Loading Events](https://sal.cs.unibuc.ro/wp-content/plugins/the-events-calendar/src/resources/images/tribe-loading.gif)
- This event has passed.
Operational Semantics of Security Protocols II
December 12, 2019 @ 10:00 am - 12:00 pm
Speaker: Ioana Leustean (University of Bucharest)
Abstract: We continue our presentation on operational semantics of security protocols, as developed in:
C. Cremers, S. Mauw, Operational Semantics and Verification of Security Protocols, Springer, 2012.