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.