Title
Formal verification of a software countermeasure against instruction skip attacks.
Year
Venue
DocType
2014
IACR Cryptology ePrint Archive
Journal
Volume
Citations 
PageRank 
abs/1402.6461
0
0.34
References 
Authors
0
4
Name
Order
Citations
PageRank
Karine Heydemann111613.65
Nicolas Moro2833.69
Emmanuelle Encrenaz317413.35
Bruno Robisson434422.03