Antoine Van Muylder

Publications

Citations

H-Index

2019

Active since

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

Centre Inria de l'Université de Rennes

Aarhus University

Max Planck Institute for Security and Privacy

Antoine Van Muylder is an author at Institut national de recherche en sciences et technologies du numérique specializing in program analysis, formal methods, and automated reasoning.

ORCID

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisAutomated ReasoningFormal VerificationCryptographyVerificationData SecurityProof Complexity

Publications per year

2019–2023

Publications

The next 700 relational program logics

Kenji Maillard, Cătălin Hriţcu, Exequiel Rivas et al. · Proceedings of the ACM on Programming Languages · 2019 · 36 citations · Full text

Computational Logic, Engineering, Automated Reasoning +13

SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq

Carmine Abate, Philipp G. Haselwarter, Exequiel Rivas et al. · 2021 · 21 citations

Cryptographic Primitive, Engineering, Verification +18

SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq

Philipp G. Haselwarter, Exequiel Rivas, Antoine Van Muylder et al. · ACM Transactions on Programming Languages and Systems · 2023 · 13 citations · Full text

Rows per page

1–3 of 3