Cited By
View all- Barenghi ABertoni GBreveglieri LPelosi GSanfilippo SSusella R(2016)A Fault-Based Secret Key Retrieval Method for ECDSAACM Journal on Emerging Technologies in Computing Systems10.1145/276713213:1(1-26)Online publication date: 20-Apr-2016
- Sauvage LGraba TPorteboeuf T(2016)Multi-level formal verificationJournal of Cryptographic Engineering10.1007/s13389-016-0144-37:1(87-95)Online publication date: 22-Nov-2016
- Moreno CHasan MFischmeister SGirault AGuan N(2015)Exp-HEProceedings of the 12th International Conference on Embedded Software10.5555/2830865.2830883(157-166)Online publication date: 4-Oct-2015
- Show More Cited By