Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.

Javascript library for connecting to the CertStream network.

The Twelve-Factor Manifesto

Interactive, web-based tool for exploring, visualizing, and sharing formal specifications in TLA+.

Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.

Community Cryptography Specification Project

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

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