Popularization

Talks and Presentations

La Vérification en Informatique (in French) — Verification in Computer Science
Myriam Clouet, Lesly-Ann Daniel
Nov 22nd, 2020 at Rendez-vous des jeunes mathématiciennes et informaticiennes (RJMI)
Presentation of our background and thesis topic to female high school students.

Automated Program Analysis, From Safety to Hypersafety (in French)
Lesly-Ann Daniel
Oct 8th, 2020 at Journée Echanges Scientifiques - Jeunes Talents 2020, L’Oréal-UNESCO pour les femmes et la science.
Presentation of my thesis topic to a nonspecialists jury after receiving the award L’Oréal-UNESCO for women in science.

Méthodes formelles, mais quoi donc est-ce ? (in French) — Formal methods, what is this ?
Florent Chevrou, Lesly-Ann Daniel
June 27th, 2019 at Pas Sage en Seine (PSES)
Overview of formal methods for secure design and software verification for an audience of developers unfamiliar with formal methods.

Articles

Le temps, une notion critique en développement logiciel (in French) — Time, a critical notion in software development
Sébastien Bardin, Lesly-Ann Daniel, Virgile Prévosto, Julien Signoles, Patrick Tessier
2020 in Clefs CEA - Questions de temps
Presentation of timing attacks and constant-time programming for cryptographic implementations to a nonspecialist audience.