MKR board for Secure IoT

Runtime code injection suite for exploring OS X process security

Briolette is an experimental framework for researching offline digital currency designs.

Briolette is an experimental framework for researching offline digital currency designs.

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

SMACK Software Verifier and Verification Toolchain

libsrt is a C library for writing fast and safe C code, faster. It provides string, vector, bit set, set, map, hash set, and hash map handling. Suitable for soft and hard real-time. Allows both hea…

The x86 processor fuzzer

Use OpenPGP smart cards for SSH public key authentication with Secure Shell

Direct Memory Access (DMA) Attack Software

An experimental GNU make clone

toybox

TinyFugue - Rebirth

A ruby based mud, with the ability to import ROM files.

Checking that functions are constant time with Valgrind

An ARM emulator written in JavaScript

Record and Replay Framework

Tiny ELF loader

Scheme interpreter written in JavaScript

ActiveLdap provides an object oriented interface to LDAP.

A text editor for ChromeOS and Chrome

Official QEMU mirror

secure parasitic rdate replacement

Linux kernel source tree

Safe integer operation library for C

a web-based mind mapper built on MindWeb