INDIANA - Verifying (Random) Probing Security through Indistinguishability Analysis

Christof Beierle, Jakob Feldtkeller, Anna Guinet, Tim Güneysu, Gregor Leander, Jan Richter-Brockmann, Pascal Sasdrich

May, 2024