Proving the security of cryptographic protocols
© Inria / Photo Kaksonen

Project: Tools for automated, symbolic analysis of real-world cryptographic
protocols (Asap)

Project leader: Steve Kremer – Pesto team – Inria Nancy - Grand Est
Activity scope: protocols for the future 5G standard, instant messaging, electronic voting, etc.

Aim: to design automated tools and algorithms capable of verifying the absence of breaches in cryptographic protocols that are currently deployed (instant messaging, mobile phones, electronic voting, etc.) in order to ensure both authenticaction and confidentiality of data, and ensure users’ privacy.