32.jpg)
56.jpg)
M. Le Terrible
Patent number:
No items found.
We have developed language-based methods for verifying implementations against cache attacks differential power analysis.
Countries:
Spain
Regions:
Community of Madrid
Centers:
FUNDACION IMDEA SOFTWARE
Other entities:
Sectors:
Telecom
Subsectors:
TRL Level:
TRL 2 – technology concept formulated
BRL Level:
PDF Link:
Download hereVideo Link:
Watch it hereSustainable Development Goal:
Applications
Our work allowed for the first time to analyze with strong guarantees masked implementations (i.e. implementations that use linear secret sharing to protect themselves against differential power analysis). Our method has been implemented and used to analyze large code bases, and is now being industrialized by international companies. Current running version of M. Le Terrible has been renamed to MaskVerif
Comments
Open source software registration at US Copyright Office