MLS architecture

Digital verifiable lab test results.

A Formal Model of the Double-Ratchet Algorithm with Clone Detection

Decentralized Privacy-Preserving Proximity Tracing -- Documents

Xournal++ is a handwriting notetaking software with PDF annotation support. Written in C++ with GTK3, supporting Linux (e.g. Ubuntu, Debian, Arch, SUSE), macOS and Windows 10. Supports pen input fr…

S3 suspend for the X1 Carbon 2018

MLS protocol

On Ends-to-Ends Encryption: Asynchronous Group Messaging with Strong Security Guarantees

TLS 1.3 Specification

The Scyther Tool for the symbolic analysis of security protocols

A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.

Main source code repository of the Tamarin prover for security protocol verification.