Find, verify, and analyze leaked credentials

A simple, modern and secure encryption tool (and Go library) with small explicit keys, no config options, and UNIX-style composability.

egui: an easy-to-use immediate mode GUI in Rust that runs on both web and native

DTrace probes for Tokio runtime events

Revizor - a fuzzer to search for microarchitectural leaks in CPUs

A verification toolchain for Rust programs

Model-based testing tool

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

Interactive playground for exploring and sharing TLA+ specifications in the browser.

APALACHE: symbolic model checker for TLA+ and Quint

A community-maintained Python framework for creating mathematical animations.

Rust reflection, serialization, deserialization, pretty printing, etc. — the last proc macro you should need

A Rust verification tool

Run Rust lints from dynamic libraries

Rust tool to detect cell site simulators on an orbic mobile hotspot

Research prototype tool for modular formal verification of C, Rust and Java programs

An exploration of the Anova Precision Oven's software, firmware and hardware.

Library for the Shamir secret sharing scheme

Compares two equal-sized byte strings in constant time.

Guidelines for low-level cryptography software

[INACTIVE] const-time Rust experiment

Python JTAG Boundary Scan tool

CORE-V Wally is a configurable RISC-V Processor associated with RISC-V System-on-Chip Design textbook. Contains a 5-stage pipeline, support for A, B, C, D, F, M and Q extensions, and optional cache…

Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications

This is the homepage of a new book entitled "Mathematical Foundations of Reinforcement Learning."

Track and query Cargo dependency graphs.

Some setup scripts for security research tools.

Caliptra IP and firmware for integrated Root of Trust block

A Rust proc-macro attribute parser