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.