Pierre-Malo Deniélou

Publications

472

Citations

H-Index

2006

Active since

Affiliations

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

Imperial College London

Microsoft (United States)

Microsoft Research (United Kingdom)

University of Twente

Pierre-Malo Deniélou is an author at Institut national de recherche en sciences et technologies du numérique specializing in formal verification, formal methods, and engineering.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationData SecurityProgram AnalysisSoftware AnalysisCryptographyVerificationInformation Security

Publications per year

2006–2016

Publications

Behavioral Types in Programming Languages

Davide Ancona, Viviana Bono, Mario Bravetti et al. · Archivio istituzionale della ricerca (Alma Mater Studiorum Università di Bologna) · 2016 · 104 citations · Full text

Dynamic multirole session types

Pierre-Malo Deniélou, Nobuko Yoshida · ACM SIGPLAN Notices · 2011 · 93 citations

Engineering, Interaction Protocol, Cloud Computing +13

Cryptographic Protocol Synthesis and Verification for Multiparty Sessions

Karthikeyan Bhargavan, Ricardo Corin, Pierre-Malo Deniélou et al. · 2009 · 86 citations

Cryptographic Primitive, Engineering, Information Security +19

Parameterised Multiparty Session Types

Pierre-Malo Deniélou, Nobuko Yoshida, Andi Bejleri et al. · Logical Methods in Computer Science · 2012 · 66 citations · Full text

Engineering, Type Theory, Verification +16

Dynamic multirole session types

Pierre-Malo Deniélou, Nobuko Yoshida · 2011 · 49 citations

Engineering, Interaction Protocol, Cloud Computing +13

Rows per page

1–5 of 8