Monthly Archives: January 2014

Reflecting about proofs of security

Posted on January 29, 2014 by Smalltalk organizer 01

When: Wednesday, 2014-Jan-29, 11h30-12h00 Where: FCUL-DI, room C6.3.38 Presenter: Luís Brandão Abstract: In this smalltalk I’ll be presenting some ideas about proofs of security, motivated by some simple examples from cryptography. How can we prove that a protocol is secure? … Continue reading →

Posted in Smalltalk | Comments Off