Assignment3 Presentations

17 dezembro 2018, 15:30 • Pedro Adão

(Taught on 08Feb2019, 14h, Pavilhão de Informática, Room 0.20)

Presentation by José of the paper `Relating Strand Spaces and Distributed Temporal Logic for Security Protocol Analysis`.
Presentation by Riccardo of the paper `Multiset rewriting and the complexity of bounded security protocols`.
Presentation by Pedro of the paper `Relating strands and multiset rewriting for security protocol analysis.`.
Discussion.