![]() |
COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. | ![]() |
University of Cambridge > Talks.cam > Isaac Newton Institute Seminar Series > Verifying Crypto Protocols Written in C
![]() Verifying Crypto Protocols Written in CAdd 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 The security of much critical infrastructure depends in part on cryptographic software coded in C, and yet vulnerabilities continue to be discovered in such software. We describe recent progress on checking the security of C code implementing cryptographic software. In particular, we describe projects that combine verification-condition generation and symbolic execution techniques for C, with methods for stating and verifying security properties of abstract models of cryptographic protocols. We illustrate these techniques on C code for a simple two-message protocol. This talk is part of the Isaac Newton Institute Seminar Series series. This talk is included in these lists:
Note that ex-directory lists are not shown. |
Other listsWhiston Society Wolfson College Science Society Cambridge University First Aid SocietyOther talksSouth American Opuntioids Metamaterials and the Science of Invisibility Finding meaning in English writing Molly Geidel: Mid-Century Liberalism and the Development Film Ethics for the working mathematician, seminar 12: Going back to the start. Production Processes Group Seminar - "Evanescent Field Optical Tweezing for Synchrotron X-Ray Crystallography" |