Recent & Upcoming Talks

2020

A formal composition framework

A composition framework suitable for the Bana-Comon logic.

Jan 29, 2020 At CISPA and TU Wien

2019

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

2018

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