-
Hardware Security Design - From Secure Aechitecture to Secure Logic
International audience -
Formal verification of a software countermeasure against instruction skip att...
16 pages. Please contact the authors to get the pre-proceedings version. -
AES Side-Channel Countermeasure using Random Tower Field Constructions
International audience -
A combination of whey protein and potassium bicarbonate supplements during he...
International audience -
A Dynamic Syntax Interpretation for Java Based Smart Card to Mitigate Logical...
International audience -
Formal verification of a software countermeasure against instruction skip att...
International audience -
Fault attacks on two software countermeasures
Short version of the article "Experimental evaluation of two software countermeasures against fault attacks" presented at the 2014 IEEE Symposium on Hardware-Oriented Security...
