PROOFS: Security Proofs for Embedded Systems
Accepted papers
-
Using Modular Extension to Provably Protect Edwards Curves Against Fault Attacks,
Margaux Dugardin, Sylvain Guilley, Martin Moreau, Zakaria Najm and Pablo Rauzy.
-
Mistakes Are Proof That You Are Trying: On Verifying Software Encoding Schemes' Resistance to Fault Injection Attacks,
Jakub Breier, Dirmanto Jap and Shivam Bhasin.
-
Optimal Side-Channel Attacks for Multivariate Leakages and Multiple Models,
Nicolas Bruneau, Sylvain Guilley, Annelie Heuser, Damien Marion and Olivier Rioul.
-
Algebraic Security Analysis of Key Generation with Physical Unclonable Functions,
Matthias Hiller, Michael Pehl, Gerhard Kramer and Georg Sigl.
-
Formal Fault Analysis of Branch Predictors: Attacking countermeasures of Asymmetric key ciphers,
Sarani Bhattacharya and Debdeep Mukhopadhyay.
-
Template Attack vs. Bayes Classifier,
Stjepan Picek, Annelie Heuser and Sylvain Guilley.