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

Sonia Belad, Jakob Feldtkeller, Tim Gneysu, Anna Guinet, Jan Richter-Brockmann, Matthieu Rivain, Pascal Sasdrich, Abdul Rahman Taleb

Browse the full ASIACRYPT paper archive.