Denis Merigoux

Publications

108

Citations

H-Index

2019

Active since

Affiliations

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

Microsoft (United States)

CryptoExperts (France)

Carnegie Mellon University

Microsoft Research (United Kingdom)

Denis Merigoux is an author at Institut national de recherche en sciences et technologies du numérique specializing in engineering, formal methods, and formal verification.

ORCID

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationVerificationAutomated ReasoningProgramming LanguagesCompilers

Publications per year

2019–2021

Publications

Catala: a programming language for the law

Denis Merigoux, Nicolas Chataing, Jonathan Protzenko · Proceedings of the ACM on Programming Languages · 2021 · 41 citations · Full text

Engineering, Law, Software Engineering +20

SteelCore: an extensible concurrent separation logic for effectful dependently typed programs

Nikhil Swamy, Aseem Rastogi, Aymeric Fromherz et al. · Proceedings of the ACM on Programming Languages · 2020 · 26 citations · Full text

Program Logics, Engineering, Extensible Csl +19

Formally Verified Cryptographic Web Applications in WebAssembly

Jonathan Protzenko, Benjamin Beurdouche, Denis Merigoux et al. · 2019 · 25 citations · Full text

Cryptographic Primitive, Engineering, New Toolchain +20

Steel: proof-oriented programming in a dependently typed concurrent separation logic

Aymeric Fromherz, Aseem Rastogi, Nikhil Swamy et al. · Proceedings of the ACM on Programming Languages · 2021 · 16 citations · Full text

Engineering, Verification, Automated Proof +19

Rows per page

1–4 of 4