David Baelde | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Denis Kuperberg
3 publications
Lucca Hirschi
3 publications
Alexis Saurin
2 publications
Amina Doumane
1 publication
Stéphanie Delaune
1 publication

research

∙ 05/17/2020

Bouncing threads for infinitary and circular proofs

We generalize the validity criterion for the infinitary proof system of ...

0 David Baelde, et al. ∙

research

∙ 04/10/2018

POR for Security Protocol Equivalences: Beyond Action-Determinism

Formal methods have proved effective to automatically analyze protocols....

0 David Baelde, et al. ∙