David Baelde

Publications

318

Citations

H-Index

2012

Active since

Affiliations

Institut de Recherche en Informatique et Systèmes Aléatoires(Current)

Centre National de la Recherche Scientifique

Laboratoire Spécification et Vérification

École Normale Supérieure Paris-Saclay

Université Paris-Saclay

David Baelde is an author at Institut de Recherche en Informatique et Systèmes Aléatoires specializing in formal methods, engineering, and formal verification.

Top concepts

EngineeringFormal MethodsVerificationComputer ScienceFormal VerificationCryptographyData SecurityInformation SecurityAutomated ReasoningSoftware Analysis

Publications per year

2012–2022

Publications

Least and Greatest Fixed Points in Linear Logic

David Baelde · ACM Transactions on Computational Logic · 2012 · 79 citations

μ Mall, Engineering, Automated Reasoning +14

Abella: A System for Reasoning about Relational Specifications

David Baelde, Kaustuv Chaudhuri, Andrew Gacek et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 2015 · 65 citations · Full text

Intuitionistic Logic, Relational Specifications, Engineering +21

Infinitary Proof Theory: the Multiplicative Additive Case

David Baelde, Amina Doumane, Alexis Saurin · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2016 · 39 citations · Full text

A Method for Verifying Privacy-Type Properties: The Unbounded Case

Lucca Hirschi, David Baelde, Stéphanie Delaune · 2016 · 34 citations

Cryptographic Primitive, Engineering, Information Security +18

An Interactive Prover for Protocol Verification in the Computational Model

David Baelde, Stéphanie Delaune, Charlie Jacomme et al. · 2021 · 23 citations

Engineering, Information Security, Secure Protocols +22

Rows per page

1–5 of 10