65 citations · 86 across the 4 of their papers we have counts for
4 papers
Combining behavioural types with security analysis
Massimo Bartoletti, Ilaria Castellani, Pierre-Malo Deniélou +7
Today's software systems are highly distributed and interconnected, and they increasingly rely on communication to achieve their goals; due to their societal importance, security a…
Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types
Pierre-Malo Deniélou, Nobuko Yoshida
Multiparty session types are a type system that can ensure the safety and liveness of distributed peers via the global specification of their interactions. To construct a global sp…
Parameterised Multiparty Session Types
Pierre-Malo Denielou, Nobuko Yoshida, Andi Bejleri +1
For many application-level distributed protocols and parallel algorithms, the set of participants, the number of messages or the interaction structure are only known at run-time. T…
Secure Execution of Distributed Session Programs
Nuno Alves, Raymond Hu, Nobuko Yoshida +1
The development of the SJ Framework for session-based distributed programming is part of recent and ongoing research into integrating session types and practical, real-world progra…