Projects
Kemeleon
Kemeleon is a secure obfuscation of ML-KEM Encapsulation Keys their corresponding Ciphertext responses which would otherwise be trivially distinguishable from bytes sampled from a uniform random source.
The original algorithm designs and security proofs can be found in the Obfuscated Key Exchange paper written by Felix Günther (IBM Research Europe – Zurich), Douglas Stebila (University of Waterloo), Shannon Veitch (ETH Zurich).
WATER
WebAssembly Transports & Executable Runtime (WATER) is a project that seeks to provide easily iterable and transferrable pluggable censorship circumvention transports. This involves a library supporting the design of transport modules (compiled to WASM) and client runtimes for running those modules in any language supporting current WASM standards (at the moment we have implemented support for Golang and Rust).
SPASM
A light 6 bit ISA and associated emulator in conjuction with our work on ExSpectre: Hiding Malware in Speculative Execution which uses a stack based architecture to allow arbitrary functionality. Check it out.
PTRS
Pluggable Transports in Rust (PTRS) is a pure rust framework for working with pluggable transports. The ptrs library itself contains traits and tools used for implementing transports and integrating those transports into clients. Along with this, the repo provides and implementation of the obfs4 protocol as an example transport, and a tor bridge client implementation that supports any transport that implements the ptrs traits.
| Crate | Crates.io | Docs |
|---|---|---|
| ptrs |  |  |
| lyrebird |  |  |
| obfs4 |  |  |
Conjure
A modular system for connecting to proxies. Designed to be probe-resistant, enumeration resistant, and easy to integrate at multiple layers in networking pipelines.
