cascremers

cascremers's Stars

• xournalpp/xournalpp

  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 from devices such as Wacom Tablets.

  Language:C++10.9k1063.4k787

• DP-3T/documents

  Decentralized Privacy-Preserving Proximity Tracing -- Documents

  Language:Shell2.2k144281180

• tlswg/tls13-spec

  TLS 1.3 Specification

  Language:Python565111414157

• tamarin-prover/tamarin-prover

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

  Language:Haskell40724375130

• facebookresearch/asynchronousratchetingtree

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

  Language:Java26421336

• mlswg/mls-protocol

  MLS protocol

  Language:Python2323530361

• fiji-flo/x1carbon2018s3

  S3 suspend for the X1 Carbon 2018

  Language:Shell16591717

• cascremers/scyther

  The Scyther Tool for the symbolic analysis of security protocols

  Language:C9592638

• meiersi/scyther-proof

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

  Language:Isabelle15986

• ubirch/verifiable-health-records

  Digital verifiable lab test results.

  14514

• cfrg/draft-irtf-cfrg-randomness-improvements

  Language:Makefile66234

• dr-clone-detection/model

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

  Language:M42402

• br-hale/mls-architecture

  MLS architecture

  Language:Makefile1

• cascremers/cascremers.github.io

  Language:HTML1101

• cascremers/draft-cremers-cfrg-randomness-improvements

  Language:Makefile1100