08:00
09:00
10:00
11:00
12:00
13:00
14:00
15:00
16:00
17:00
18:00
8:30 - 9:00 (30min)
Accueil café
Hall
9:00 - 9:30 (30min)
Accueil
Espace conférence
Caroline Fontaine
9:30 - 10:30 (1h)
Keynote - Hamed Haddadi
Espace conférence
› Securing the next Billion Devices on the Edge
- Hamed Haddadi, Department Computer Science [London]
09:30-10:30 (1h)
10:30 - 11:00 (30min)
Pause café
Hall
11:00 - 11:45 (45min)
Plénière - Cas Cremers
Espace conférence
› The future of security protocol analysis: towards provable guarantees for apps?
- Cas Cremer, Helmholtz Center for Information Security [Saarbrücken]
11:00-11:45 (45min)
11:45 - 13:00 (1h15)
Déjeuner
Hall
13:00 - 14:30 (1h30)
GT C2-SSM
Espace conférence
› Trendy Tastings: AOP (Arithmetization-Oriented Primitives) - Savoring Symmetric Cryptography's Newest Arrivals
- Clémence Bouvier, Ruhr Universität Bochum
13:00-13:45 (45min)
› Post-quantum security for constrained environments
- Benjamin Smith, Laboratoire d'informatique de l'École polytechnique [Palaiseau]
13:45-14:30 (45min)
13:00 - 14:30 (1h30)
GT MFS
Petri-Turing
› Retrospective on Formal Verification of a JavaCard Virtual Machine with Frama-C
- Nikolai Kosmatov, Thales Research and Technology - Adel Djoudi, THALES [France]
13:00-13:45 (45min)
› HoRStify: Sound Security Analysis of Smart Contracts
- Clara Schneidewind, Max Planck Institute for Security and Privacy
13:45-14:30 (45min)
14:30 - 15:00 (30min)
Pause café
Hall
15:00 - 16:30 (1h30)
GT C2-SSM
Espace conférence
› Accélération matérielle d'une signature ECDSA dans un ASIC en FD-SOI 22nm avec contremesures aux attaques physiques
- Simon Pontié, CEA-Leti
15:00-15:45 (45min)
› Codes correcteurs d'erreurs : des télécommunications à la cryptographie, deux faces d'un même circuit
- Cyrille Chavet, Université de Bretagne-Sud UEB, CNRS Lab-STICC - Bertrand Le Gal, Architectures matérielles spécialisées pour l'ère post loi-de-Moore
15:45-16:30 (45min)
15:00 - 16:30 (1h30)
GT MFS
Petri-Turing
› HACL*: Verifying High-Performance Cryptographic Implementations
- Aymeric Fromherz, Inria Paris
15:00-15:45 (45min)
› Automating Game Reasoning for Decentralized Protocols
- Laura Kovacs, Vienna University of Technology
15:45-16:30 (45min)
16:30 - 16:45 (15min)
Mini pause
Hall
16:45 - 18:00 (1h15)
Assemblée générale
Espace conférence
