Loading Events

« All Events

  • 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.

 

Details

Date:
November 21
Time:
10:00 am - 12:00 pm
Event Category:

Venue

Facultatea de Matematica si Informatica, sala 202