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.