Assignment1 Presentations

26 novembro 2018, 15:30 • Pedro Adão

(Taught on 28Nov2018, 14h, Pavilh~ão de Matemática Room 4.35)
Presentation by Riccardo of the paper `Formal verification of privacy for RFID systems`.
Presentation by José of the paper `A Bisimulation Method for Cryptographic Protocols`.
Discussion.