Secure Foundations Lab · GitHub
Skip to content
@secure-foundations

Secure Foundations Lab

We investigate long-term, fundamental improvements in how to design and build secure systems.

Popular repositories Loading

  1. vest vest Public

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

    Rust 86 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

Repositories

Showing 10 of 43 repositories
  • dafny-for-330 Public template
    secure-foundations/dafny-for-330's past year of commit activity
    Dafny 0 0 0 0 Updated Sep 14, 2026
  • human-eval-verus Public
    secure-foundations/human-eval-verus's past year of commit activity
    Rust 29 MIT 17 0 2 Updated Sep 10, 2026
  • vest Public

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

    secure-foundations/vest's past year of commit activity
    Rust 86 MIT 16 8 2 Updated Sep 8, 2026
  • trie-hard Public Forked from cloudflare/trie-hard

    Novel implementation of a Trie data structure optimized for small, sparse maps

    secure-foundations/trie-hard's past year of commit activity
    Rust 1 Apache-2.0 18 0 0 Updated Aug 26, 2026
  • tree-sitter-verus Public
    secure-foundations/tree-sitter-verus's past year of commit activity
    JavaScript 13 MIT 3 2 0 Updated Aug 7, 2026
  • owl Public

    Compositional Verification of Security Protocols

    secure-foundations/owl's past year of commit activity
    Rust 34 BSD-3-Clause 2 4 4 Updated May 8, 2026
  • leaf Public

    Leaf library for Iris Concurrent Separation Logic

    secure-foundations/leaf's past year of commit activity
    Rocq Prover 11 1 0 0 Updated Mar 27, 2026
  • riptide-verification Public
    secure-foundations/riptide-verification's past year of commit activity
    Python 8 0 0 0 Updated Mar 7, 2026
  • rWasm Public

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

    secure-foundations/rWasm's past year of commit activity
    Rust 47 8 1 3 Updated Feb 23, 2026
  • trex-usenix25 Public

    Top-level companion software artifact for the paper "TRex: Practical Type Reconstruction for Binary Code"

    secure-foundations/trex-usenix25's past year of commit activity
    Rust 6 BSD-3-Clause 1 0 0 Updated Jan 31, 2026
View all repositories

Top languages

Loading…

Most used topics

Loading…