PROOFS: Security Proofs for Embedded Systems

PROOFS 2016

Program

Friday August 19, 2016
20:10 – 22:00 Welcome dinner in Santa Barbara (more details below)
Saturday August 20, 2016
08:20 – 08:40 Registration (at University Center Corwin Pavilion Lobby, same place as registration for CRYPTO, FDTC, CHES)
08:40 – 08:50 Opening (University Center Flying A Studios) (Presentation slides 1, Presentation slides 2)
08:50 – 09:35 Invited Talk 1   Chair: Naofumi Homma
09:35 – 10:35 First session: Side-channel attacks  Chair: Naofumi Homma
  • "Template Attack vs. Bayes Classifier", by Stjepan Picek, Annelie Heuser and Sylvain Guilley. (Presentation slides)
  • "Optimal Side-Channel Attacks for Multivariate Leakages and Multiple Models", by Nicolas Bruneau, Sylvain Guilley, Annelie Heuser, Damien Marion and Olivier Rioul. (Presentation slides)
10:35 – 11:00 Coffee break
11:00 – 12:00 Second session: Fault injection attacks  Chair: Jean-Luc Danger
  • "Mistakes Are Proof That You Are Trying: On Verifying Software Encoding Schemes' Resistance to Fault Injection Attacks", by Jakub Breier, Dirmanto Jap and Shivam Bhasin. (Presentation slides)
  • "Using Modular Extension to Provably Protect Edwards Curves Against Fault Attacks", by Margaux Dugardin, Sylvain Guilley, Martin Moreau, Zakaria Najm and Pablo Rauzy. (Presentation slides)
12:00 – 13:20 Lunch (University Center Lagoon Patio)
13:20 – 14:05 Invited Talk 2   Chair: Sylvain Guilley
14:05 – 15:05 Third session: Formal analysis  Chair: Sylvain Guilley
  • "Algebraic Security Analysis of Key Generation with Physical Unclonable Functions", by Matthias Hiller, Michael Pehl, Gerhard Kramer and Georg Sigl. (Presentation slides)
  • "Formal Fault Analysis of Branch Predictors: Attacking countermeasures of Asymmetric key ciphers", by Sarani Bhattacharya and Debdeep Mukhopadhyay. (Presentation slides)
15:05 – 15:15 Closing (Presentation slides)

Two keynote talks:

Contributed talks:

Welcome dinner, on Friday Aug. 19th:

Open Restaurant, Santa Barbara downtown
PROOFS 2014

Sponsors
Institut Mines-Telecom
TELECOM-ParisTech
Secure-IC S.A.S.
Koc Lab