Kenji Maillard

Publications

152

Citations

H-Index

2016

Active since

Affiliations

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

State Key Laboratory of Cryptology

Max Planck Institute for Security and Privacy

Centre Inria de l'Université de Rennes

Aarhus University

Kenji Maillard is an author at Institut national de recherche en sciences et technologies du numérique specializing in program analysis, formal methods, and computer science.

ORCID

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisAutomated ReasoningFormal VerificationVerificationData SecuritySoftware AnalysisFormal Specification

Publications per year

2016–2023

Publications

Dijkstra monads for free

Danel Ahman, Cătălin Hriţcu, Kenji Maillard et al. · 2016 · 44 citations · Full text

Mathematical Programming, Programming Language Theory, Engineering +14

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

A monadic framework for relational verification: applied to information security, program equivalence, and optimizations

Niklas Grimm, Kenji Maillard, Cédric Fournet et al. · 2018 · 22 citations · Full text

Monadic Framework, Program Checking, Engineering +19

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

Gradualizing the Calculus of Inductive Constructions

Meven Lennon-Bertrand, Kenji Maillard, Nicolas Tabareau et al. · ACM Transactions on Programming Languages and Systems · 2022 · 16 citations · Full text

Rows per page

1–5 of 6