Secure Foundations Lab

Popular repositories Loading

1. vest vest Public

   High-assurance and performant Rust-based parsing and serialization of binary data formats verified in Verus

   Rust 85 16

2. trex trex Public

   🦖 Reconstruct Types from Binary Code

   Rust 58 4

3. rWasm rWasm Public

   A cross-platform high-performance provably-safe sandboxing Wasm-to-native compiler

   Rust 47 8

4. provably-safe-sandboxing-wasm-usenix22 provably-safe-sandboxing-wasm-usenix22 Public

   Top-level companion software artifact for the paper "Provably-Safe Multilingual Software Sandboxing using WebAssembly"

   WebAssembly 41 1

5. owl owl Public

   Compositional Verification of Security Protocols

   Rust 34 2

6. vWasm vWasm Public

   A formally-verified provably-safe sandboxing Wasm-to-native compiler

   OCaml 31 1