Formal Definition and Verification for Combined Random Fault and Random Probing Security

Sonia Belaid, Jakob Feldtkeller, Tim Güneysu, Anna Guinet, Jan Richter-Brockmann, Matthieu Rivain, Pascal Sasdrich, Abdul Rahman Taleb
May, 2024
PDF Cite
Type
1
Publication
Cryptology ePrint Archive, Paper 2024/757
Pascal Sasdrich
Pascal Sasdrich
Emmy Noether
Research Group Leader

My research interests include hardware security, secure design, and security verification.