Reflecting about proofs of security

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!

This entry was posted in Smalltalk. Bookmark the permalink.

Comments are closed.