This event has passed.

Operational Semantics of Security Protocols II

Name: Operational Semantics of Security Protocols II
Start: 2019-12-12T10:00:00+00:00
End: 2019-12-12T12:00:00+00:00
Location: Facultatea de Matematica si Informatica, sala 202

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.

Details

Date: December 12, 2019
Time:
10:00 am - 12:00 pm
Event Category: Logic Seminar

Venue

Facultatea de Matematica si Informatica, sala 202