Abstraction preservation and subtyping in distributed languages. - Pierre-Malo Deniélou; James J. Leifer (ICFP, 2006)

Secure Implementations for Typed Session Abstractions. - Ricardo Corin; Pierre-Malo Deniélou; Cédric Fournet; Karthikeyan Bhargavan; James J. Leifer (CSF, 2007)

A Protocol Compiler for Secure Sessions in ML. - Ricardo Corin; Pierre-Malo Deniélou (TGC, 2007)

A secure compiler for session abstractions. - Ricardo Corin; Pierre-Malo Deniélou; Cédric Fournet; Karthikeyan Bhargavan; James J. Leifer (J. Comput. Secur., 2008)

Cryptographic Protocol Synthesis and Verification for Multiparty Sessions. - Karthikeyan Bhargavan; Ricardo Corin; Pierre-Malo Deniélou; Cédric Fournet; James J. Leifer (CSF, 2009)

Buffered Communication Analysis in Distributed Multiparty Sessions. - Pierre-Malo Deniélou; Nobuko Yoshida (CONCUR, 2010)

Secure Execution of Distributed Session Programs - Nuno Alves; Raymond Hu; Nobuko Yoshida; Pierre-Malo Deniélou (PLACES, 2010)

Dynamic multirole session types. - Pierre-Malo Deniélou; Nobuko Yoshida (POPL, 2011)

Asynchronous Distributed Monitoring for Multiparty Session Enforcement. - Tzu-Chun Chen; Laura Bocchi; Pierre-Malo Deniélou; Kohei Honda 001; Nobuko Yoshida (TGC, 2011)

Multiparty Session Types Meet Communicating Automata. - Pierre-Malo Deniélou; Nobuko Yoshida (ESOP, 2012)

Parameterised Multiparty Session Types - Pierre-Malo Deniélou; Nobuko Yoshida; Andi Bejleri; Raymond Hu (Log. Methods Comput. Sci., 2012)

Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types. - Pierre-Malo Deniélou; Nobuko Yoshida (ICALP (2), 2013)

Structuring Communication with Session Types. - Kohei Honda 001; Raymond Hu; Rumyana Neykova; Tzu-Chun Chen; Romain Demangeon; Pierre-Malo Deniélou; Nobuko Yoshida (Concurrent Objects and Beyond, 2014)

Combining behavioural types with security analysis. - Massimo Bartoletti; Ilaria Castellani; Pierre-Malo Deniélou; Mariangiola Dezani-Ciancaglini; Silvia Ghilezan; Jovanka Pantovic; Jorge A. Pérez 001; Peter Thiemann 001; Bernardo Toninho; Hugo Torres Vieira (J. Log. Algebraic Methods Program., 2015)

Foundations of Session Types and Behavioural Contracts. - Hans Hüttel; Ivan Lanese; Vasco T. Vasconcelos; Luís Caires; Marco Carbone; Pierre-Malo Deniélou; Dimitris Mostrous; Luca Padovani; António Ravara; Emilio Tuosto; Hugo Torres Vieira; Gianluigi Zavattaro (ACM Comput. Surv., 2016)

Behavioral Types in Programming Languages. - Davide Ancona; Viviana Bono; Mario Bravetti; Joana Campos 002; Giuseppe Castagna; Pierre-Malo Deniélou; Simon J. Gay; Nils Gesbert; Elena Giachino; Raymond Hu; Einar Broch Johnsen; Francisco Martins; et al. (Found. Trends Program. Lang., 2016)