Messaging platforms like Signal are widely deployed and provide strong security in an
asynchronous setting. It is a challenging problem to construct a protocol with similar security …

Abstract The Messaging Layer Security (MLS) protocol is an open standard for end-to-end
(E2E) secure group messaging being developed by the IETF, poised for deployment to …

Cryptographic communication protocols provide confidentiality, integrity and authentication
properties for end-to-end communication under strong corruption attacks, including, notably …

Continuous group key agreements (CGKAs) are a class of protocols that can provide strong
security guarantees to secure group messaging protocols such as Signal and MLS …

Many real-world group messaging systems delegate group administration to the application
level, failing to provide formal guarantees related to group membership. Taking a …

Developing end-to-end encrypted instant messaging solutions for group conversations is an
ongoing challenge that has garnered significant attention from practitioners and the …

Abstract Continuous Group Key Agreement (CGKA) is the basis of modern Secure Group
Messaging (SGM) protocols. At a high level, a CGKA protocol enables a group of users to …

Secure group messaging (SGM) protocols allow large groups of users to communicate in a
secure and asynchronous manner. In recent years, continuous group key agreements …

Continuous group key agreement (CGKA) allows a group of users to maintain a
continuously updated shared key in an asynchronous setting where parties only come …

Modern secure messaging protocols can offer strong security guarantees such as Post-
Compromise Security (PCS), which enables participants to heal after compromise. The core …