Sumários
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.
Assignment2 Presentations
10 dezembro 2018, 15:30 • Pedro Adão
Presentation by Rafael of the paper `Strand Spaces: Proving Security Protocols Correct`.
Presentation by Manuel of the paper `Skeletons, Homomorphisms, and Shapes: Characterizing Protocol Executions + Shapes: Surveying Crypto Protocol Runs`.
Discussion.
Assignment1 Presentations + Multiset rewriting.
3 dezembro 2018, 15:30 • Pedro Adão
Presentation by Pedro of the paper `Types for Security Protocols`.
Discussion.
Multiset Rewriting
Presentation of the Model: MSR as a formalism to express Finite Deterministic Automata and Turing Machines.
MSR with existential quantification, and its relation with generation of fresh names.
MSR for protocol theories: Formalization of Intruder Model.
`Multiset rewriting and the complexity of bounded security protocols`.
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.
Assignment1 Presentations
19 novembro 2018, 15:30 • Pedro Adão
Presentation by Rafael of the paper `Applied pi calculus + Mobile Values, New Names, and Secure Communication`.
Presentation by Manuel of the paper `Analysing Unlinkability and Anonymity Using the Applied Pi Calculus`.
Discussion.