Loading Events

Upcoming Events › Seminar Logica

Events Search and Views Navigation

Event Views Navigation

November 2019

Operational Semantics of Security Protocols

November 21 @ 10:00 am - 12:00 pm
Facultatea de Matematica si Informatica, sala 202

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.  

Find out more »
+ Export Events