PROOFS: Security Proofs for Embedded Systems

PROOFS 2015

Program

The program is aligned in terms of coffee breaks and lunch with that of the 4th workshop on secure hardware and security evaluation (TRUDEVICE).

Access to the papers requires the password given at the workshop.

Wednesday September 16, 2015
17:30 – 22:00 Welcome dinner in Rennes
(see details at the bottom of the page)
Thursday September 17, 2015
8:30 – 8:50 Registration
8:50 – 9:00 Opening (slides)
9:00 – 10:00 First keynote   Chair: Sylvain Guilley
10:00 – 10:30 Coffee break
10:30 – 12:00 First session  Chair: Sylvain Guilley
12:00 – 13:30 Lunch
13:30 – 14:30 Second keynote  Chair: Bruno Robisson
  • Pascal Cuoq,
    "Formal verification at the source level that execution time does not depends on secrets — inasmuch as this means anything" (Presentation slides (TXT format))
14:30 – 15:00 Coffee break
15:00 – 15:40 Second session  Chair: Naofumi Homma
15:40 - 15:45 Farewell (slides)

Two keynote talks:

Welcome dinner organization


PROOFS 2014

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