David Baelde

Centre National de la Recherche Scientifique — France

Computer Science · Physical Sciences

13h-index565citations73works0.52yr avg
OpenAlex↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Logic, programming, and type systems(32), Formal Methods in Verification(28), Logic, Reasoning, and Knowledge(27), Advanced Authentication Protocols Security(18), User Authentication and Security Systems(11)

Publications73 total

SMT-Based Automation for Overwhelming Truth
2025· 1 cited
Verifying Protocols with Squirrel: Making Strides Without Compromise
HAL (Le Centre pour la Communication Scientifique Directe)·2025Open Access
Propositional Logics of Overwhelming Truth
SPIRE - Sciences Po Institutional REpository·2025Open Access
Foundations for Cryptographic Reductions in CCSA Logics
2024Open Access
Artifact for "Foundations for Cryptographic Reductions in CCSA Logics"
SPIRE - Sciences Po Institutional REpository·2024
A Probabilistic Logic for Concrete Security
2024· 1 citedOpen Access
The Squirrel Prover and its Logic
ACM SIGLOG News·2024· 2 citedOpen Access
Cryptographic Reductions By Bi-Deduction
SPIRE - Sciences Po Institutional REpository·2024Open Access
Proving Unlinkability Using ProVerif Through Desynchronised Bi-Processes
2023· 1 cited
A Higher-Order Indistinguishability Logic for Cryptographic Reasoning
2023· 6 citedOpen Access
On the Fair Termination of Client-Server Sessions
DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)·2023· 2 citedOpen Access
Bouncing threads for circular and non-wellfounded proofs -- Towards compositionality with circular proofs (Extended version)
SPIRE - Sciences Po Institutional REpository·2022
Bouncing Threads for Circular and Non-Wellfounded Proofs
2022· 16 cited
Proving Unlinkability using ProVerif through Desynchronized Bi-Processes
SPIRE - Sciences Po Institutional REpository·2022Open Access
Extending the SQUIRREL meta-logic for reasoning over security protocols: Work in Progress
SPIRE - Sciences Po Institutional REpository·2021
An Interactive Prover for Protocol Verification in the Computational Model
2021· 23 cited
Contributions à la Vérification des Protocoles Cryptographiques
SPIRE - Sciences Po Institutional REpository·2021Open Access
A Method for Proving Unlinkability of Stateful Protocols
2020· 19 cited
Bouncing threads for infinitary and circular proofs
arXiv (Cornell University)·2020· 4 citedOpen Access
A special issue on structural proof theory, automated reasoning and computation in celebration of Dale Miller’s 60th birthday
Mathematical Structures in Computer Science·2019Open Access
page 1 of 4Next →

Frequent Co-authors

Stéphanie Delaune(15), Lucca Hirschi(11), Amina Doumane(6), Alexis Saurin(6), Adrien Koutsos(6), Gopalan Nadathur(5), Dale Miller(4), Sylvain Schmitz(4), Zachary Snow(3), Charlie Jacomme(3), Solène Moreau(3), Anthony Lick(3), Arnaud Carayol(3), Andrew Gacek(2), Alwen Tiu(2), Denis Kuperberg(2), Ivan Gazeau(2), Steve Kremer(2), Joseph Lallemand(2), Christine Paulin-Mohring(2)