PROOFS: Security Proofs for Embedded Systems


Accepted papers

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

Institut Mines-Telecom
Secure-IC S.A.S.
Koc Lab