Community Cryptography Specification Project

Cracking 2DES using a meet-in-the-middle attack implemented in python 3.

The formal proofs for iMessage PQ3 using the Tamarin Prover

A TLA+ specification for the Xen vchan protocol

A pure python implementation of ML-KEM (FIPS 203) and CRYSTALS-Kyber

Like Keybase but distributed

Enterprise Onion Toolkit

Export your Signal chats to markdown files with attachments

Mock hardware devices for creating unit tests and bug reporting

😱 Falsehoods Programmers Believe in

Adds needs/requirements to sphinx

Requirements management using version control.

Software for technical documentation and requirements management.

The usability minded OpenPGP application making PGP usage with smartcards like Yubikey super simple

Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦

User considerations for identity verification and credential presentation on the Web

make a book from imessages

Compositional Verification of Security Protocols

⚙️ SimpleXMQ - A reference implementation of the SimpleX Messaging Protocol for simplex queues over public networks.

This repository provides the formal model and proofs for SOAP, a SOcial Authentication Protocol.

A network security policy compiler. Netspoc is targeted at environments with a large number of firewalls and admins. Firewall rules are derived from a single rule set. Supported are Cisco IOS, NX-O…

High Level Firewall Language

For when people get too hyped up about things

An open source Library of Babel implementation in TypeScript using the GNU Multiple Precision Arithmetic Library

Formal Reasoning About Programs

Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023

Formal Analysis of the PQXDH Protocol

Forum for discussing Internet censorship circumvention