Recent & Upcoming Talks
A formal composition framework
A composition framework suitable for the Bana-Comon logic.
Jan 29, 2020
At CISPA and TU Wien
Decisions problems about propabilistic programs over finite fields, decidability and complexity.
Sep 26, 2019
LICS'20, Annual PhD students day of the formal methods department of LORIA
Symbolic methods in computational cryptography proofs
Jun 18, 2019
CSF'19, Journée GT MFS 2019 and Pesto working group
Gröbner Basis and deducibility
Oct 26, 2018
EJCIM 2018 spring school
Symbolic methods applied to the automation of computational proofs - Building simulators
Aug 12, 2018
FOSAD 18 summer school and Annual PhD students day of the formal methods department of LORIA
You shall not password !
An extensive analysis of multi-factor authentication protocols
Jun 15, 2018
CSF'18 and TECAP ANR Kick-off meeting