Team, Visitors, External Collaborators
Overall Objectives
Research Program
Application Domains
New Software and Platforms
New Results
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Section: New Software and Platforms


Jasmin compiler and analyser

Keywords: Cryptography - Static analysis - Compilers

Functional Description: Analysing the execution time of a cryptographic code can be a way to discover the secret protected by this code. To avoid this pitfall, Jasmin proposes a high-level language and an analyzer for this language that makes it possible to predict when the execution of this code will happen in constant time and thus does not unveil the secret (for instance, the cryptographic key). Once the Jasmin code is valid with respect to the analyzer, the compiler produces assembly code that still preserves this property of constant time.