Recherche
Laboratoires.Ecoles, Collège et Formation doctorales
Stratégie. Séminaires, colloques. Sciences et société
Réseaux et pôles d'excellence. Investissements d'avenir (Labex)
Summer School on CPS 2013
8 juillet 2013 ... 12 juillet 2013
EIT ICT Labs and PERSYVAL-Lab are organizing the first edition of the Cyber-Physical Systems Summer School. The CPS Summer School will explore the manifold relationship between networked embedded systems and humans as their creators, users, and subjects. The format of the Summer School will be a five days meeting, organized around different aspects of rigorous engineering of Cyber Physical Systems.
Gilles Barthe and Yassine Lakhnech / PERSYVAL-Lab
Computer-aided cryptography aims to develop tools that support the design, analysis, and secure implementation of cryptographic constructions. In this presentation, I will give an overview of EasyCrypt (www.easycrypt.info), an interactive framework for building and verifying cryptographic proofs. I will outline its design principles, and then introduce the relational program verification technique which it uses to capture common patterns of reasoning in provable security. Finally, I will report on some recent developments to extend EasyCrypt to reason about cryptographic implementations in C, and to connect with the CompCert verified compiler to generate provably secure assembly code for cryptographic algorithms.
Mots clés : persyval-lab
Informations
- Gricad Vidéos
- 1 janvier 2021 00:00
- Conférences
- Français
