A recent trend in programming language research is to use behavioral type theory to ensure
various correctness properties of largescale, communication-intensive systems. Behavioral …

Multiparty session types enforce structured safe communications between several
participants, as long as their number is fixed when the session starts. In order to handle …

We present the design and implementation of a compiler that, given high-level multiparty
session descriptions, generates custom cryptographic protocols. Our sessions specify pre …

Distributed applications can be structured as parties that exchange messages according to
some pre-arranged communication patterns. These sessions (or contracts, or protocols) …

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 and …

We present G2C, a goal-driven specification language for distributed applications. This
language offers support for the declarative specification of functionality goals and security …

A recent trend in programming language research is to use behavioral type theory to ensure
various correctness properties of largescale, communication-intensive systems. Behavioral …

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 and …

Résumé Les systemes répartis, ou systemes distribués, tiennent aujourd'hui un rôle critique
dans notre société et dans notre industrie. Cette these explore deux approches permettant …