When: Wednesday, 2014-Jan-29, 11h30-12h00
Where: FCUL-DI, room C6.3.38
Presenter: Luís Brandão
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? How do we even start by defining “security”? Some subtle notions tend to ruin the security of systems, as we find that they are attacked from an angle different from what had been previously imagined. What about that unbreakable door, circumvented by one that chooses to enter through the window? Hopefully you’ll leave the room at 12h00 with more questions than answers. P.S. You’ll be safe during this secure presentation!