Gilles Barthe: From provable security to secure cryptographic implementations

Start date:19. April 2018
Start time:16:15 Uhr
End time:17:15 Uhr
Organizer:CRISP / CROSSING
Speaker:Gilles Barthe (University of Manchester, UK)
Location:Hochschulstraße 10 (S2|02), Piloty-Building, Room C110,

Abstract

Building secure cryptographic implementations is notoriously hard. In this talk, Prof. Gilles Barthe will outline a general methodology that delivers formal guarantees on assembly-level implementations through a combination of ideas from deductive program verification, program analysis, and verified compilation.

He will also outline the relevance of formal methods and programming languages in the broader context of cryptography.

 

Learn more about Prof. Gilles Barthe 



A A A | Drucken Print | Impressum Impressum | Sitemap Sitemap | Kontakt Contact | Website Analysis: More Information
zum Seitenanfangzum Seitenanfang