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.