David Baelde

Research

I am interested in logic and security, and more precisely proof theory, fixed points, proof search, modal logics, automated deduction, concurrency, equivalence verification, privacy.

Events

EPIT 2018, Journée du GT MFS 2018, POPL 2017, Dale Fest, …

Papers

Full list of publications

Students

Currently advising Anthony Lick.

Happy to have advised Amina Doumane and Lucca Hirschi.

Past students: Simon Lunel, Zach Snow.

Projects

ANR TECAP (2017), Prodaq, Rapido, and Sequoia (2014).

Enseignement 2017/18

M2 : crypto protocols, formal and computational proofs

I'm doing the first half of MPRI 2-30, dealing with protocol verification in the formal/symbolic model. Slides:

• 09/13: introduction
• 09/20-27: secrecy: semantics, deduction, constraints
• 10/04-11: equivalences: semantics, applications, deciding static equiv
• 10/18-25: Proverif, slides, code from first lecture, nsl-secrecies.pv, nspk-auth.pv.

M1 : projet génie logiciel

Par ici!

Années précédentes

J'enseignais aussi en 2016/17, 15/16, 14/15, 13/14 et 12/13.

Other

Check out my former homepage for old stuff.

Or fall into a salade loop.