Programme
| Heures |
événement |
|
|
09:30 - 10:00
|
Accueil - Accueil |
|
|
10:00 - 10:45
|
A recursive-theoretic foundation of code protecting transformations (Auditorium Marie Curie) - Roberto Giacobazzi |
|
|
10:45 - 11:15
|
Reasoning about probability distributions using symbolic methods (Auditorium Marie Curie) - Charlie Jacomme |
|
|
11:15 - 12:00
|
On static malware detection (Auditorium Marie Curie) - Tayssir Touili |
|
|
12:00 - 13:45
|
Déjeuner |
|
|
13:45 - 14:30
|
Secure Masked Implementations with the Least Refreshing (Auditorium Marie Curie) - Sonia Belaïd |
|
|
14:30 - 15:00
|
Verification of Tweetnacl’s Curve25519 (Auditorium Marie Curie) - Benoit Viguier |
|
|
15:00 - 15:30
|
Equivalence Properties by Typing in Cryptographic Protocols (Auditorium Marie Curie) - Joseph Lallemand |
|
|
15:30 - 16:00
|
Pause café |
|
|
16:00 - 16:30
|
Satisfiabilité Modulo Théories : de la sûreté à la sécurité (Auditorium Marie Curie) - Benjamin Farinier |
|
|
16:30 - 17:15
|
Modélisation du contrôle des utilisateurs sur leurs données personnelles (Auditorium Marie Curie) - Pablo Rauzy |
|
|
17:15 - 17:45
|
Discussions - Discussions |
|
|
