establish trust in community repositories, cryptographically signed by library authors

Auditing for TLS certificates (Go code)

Kubernetes Native Serverless Framework

Web Application Security Scanner Framework

Install a Kubernetes cluster the CoreOS Tectonic Way: HA, self-hosted, RBAC, etcd Operator, and more

Dafny is a verification-aware programming language

OpenFaaS - Serverless Functions Made Simple

The future of online communications.

Shadow is a unique discrete-event network simulator that runs real applications like Tor, and distributed systems of thousands of nodes on a single machine. Shadow combines the accuracy of emulatio…

CloakifyFactory - Data Exfiltration & Infiltration In Plain Sight; Convert any filetype into list of everyday strings; Evade DLP/MLS Devices; Defeat Data Whitelisting Controls; Social Engineering o…

Archive of DEFCON 201 website circa June 2017.

A transparent and secure way to look up public keys.

GitHub Pages for TUF

Like the S in HTTPS, a plug-and-play secure updater for your software

TUF Augmentation Proposals (TAPs)