Sumários

Multiset Rewriting Presentations. Computational Cryptography

20 Dezembro 2016, 14:30 Pedro Adão

Presentation by Preeti Yadav of the paper `Relating Strands and Multiset Rewriting for Security Protocol Analysis`.
Discussion.

Computational Cryptography: Definitions of one-way functions, trapdoor permutations, and public key encryption. The RSA example.
Computational Cryptography: Security Notions---Polynomial-time indistinguishability vs Semantic Security.


Multiset Rewriting Presentations

15 Dezembro 2016, 11:00 Pedro Adão

Presentation by Diogo Barradas of the paper `Multiset rewriting and the complexity of bounded security protocols`. Part II. (Complexity results)
Discussion.


Multiset Rewriting

7 Dezembro 2016, 09:00 Pedro Adão

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`.


Strand Spaces Presentations

30 Novembro 2016, 14:00 Pedro Adão

Presentation by Preeti Yadav of the paper `Strand Spaces: Proving Security Protocols Correct`. Part II.
Discussion.


Strand Spaces Presentations

24 Novembro 2016, 11:00 Pedro Adão

Presentation by Diogo Barradas of the paper `Skeletons, Homomorphisms, and Shapes: Characterizing Protocol Executions`.
Discussion.
Presentation by Preeti Yadav of the paper `Strand Spaces: Proving Security Protocols Correct`. Part I.