Computer-aided security proofs
Seminar Room 1, Newton Institute
AbstractCertiCrypt is a toolset that assists the construction and verification of cryptographic proofs; it supports common patterns of reasoning in cryptography, and has been used successfully to prove the security of many examples, including encryption schemes, signature schemes, zero-knowledge protocols and hash functions. I will present recent developments in the tool and survey new applications.
If it doesn't, something may have gone wrong with our embedded player.
We'll get it fixed as soon as possible.