lundi 18 mars 2019
| 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 |
