University of Cambridge > Talks.cam > Isaac Newton Institute Seminar Series > Computer-aided security proofs

  Browse A-Z

Log in

Cambridge users (raven)details Other usersdetails No account?details

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

Computer-aided security proofs

Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact Mustapha Amrani.

Semantics and Syntax: A Legacy of Alan Turing

CertiCrypt 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.

This talk is part of the Isaac Newton Institute Seminar Series series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

History of science for mathmos Virginia Woolf Talks, Lucy Cavendish College

Other talks

Asclepiadaceae Recent Advances in Solid State Batteries and Beyond Li Technologies - Challenges for Fundamental Science Ethics for the working mathematician, seminar 8: Standing on the shoulders of giants. Pruning and grafting syntactic trees for cross-lingual transfer tasks Speak white, speak black, speak American Constructing the organism in the age of abstraction Picturing the Heart in 2020 Single Cell Seminars (September) The Productivity Paradox: are we too busy to get anything done? The evolution of photosynthetic efficiency Computing High Resolution Health(care) CANCELLED IN SYMPATHY WITH STRIKE Nationality, Alienage and Early International Rights
 

© 2006-2024 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity