Skip to content
@secure-foundations

Secure Foundations Lab

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

Popular repositories

  1. 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 37 1

  2. rWasm rWasm Public

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

    Rust 29 6

  3. veri-titan veri-titan Public

    Verifying OpenTitan

    Dafny 21 3

  4. vWasm vWasm Public

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

    OCaml 19 1

  5. veribetrkv-osdi2020 veribetrkv-osdi2020 Public

    VeriBetrKV OSDI'20 artifact

    Dafny 9 1

  6. wasm-semantics-fuzzer wasm-semantics-fuzzer Public

    An aid for developing correct WebAssembly implementations through generative fuzzing

    Rust 9 2

Repositories

Showing 10 of 36 repositories
  • 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 2 MIT 0 0 0 Updated Aug 26, 2024
  • mariposa Public
    secure-foundations/mariposa’s past year of commit activity
    SMT 9 MIT 7 4 1 Updated Aug 24, 2024
  • human-eval-verus Public
    secure-foundations/human-eval-verus’s past year of commit activity
    Rust 5 MIT 3 0 2 Updated Aug 22, 2024
  • leaf Public

    Leaf library for Iris Concurrent Separation Logic

    secure-foundations/leaf’s past year of commit activity
    Coq 2 0 0 0 Updated Aug 20, 2024
  • ironsync-osdi2023 Public

    IronSync paper artifact for OSDI 2023

    secure-foundations/ironsync-osdi2023’s past year of commit activity
    Dafny 2 0 0 0 Updated Aug 20, 2024
  • riptide-verification Public
    secure-foundations/riptide-verification’s past year of commit activity
    Python 1 0 0 0 Updated Aug 19, 2024
  • veri-datalog Public

    Verified Datalog

    secure-foundations/veri-datalog’s past year of commit activity
    Dafny 5 2 0 0 Updated Aug 2, 2024
  • owl Public

    Compositional Verification of Security Protocols

    secure-foundations/owl’s past year of commit activity
    Haskell 9 BSD-3-Clause 2 4 2 Updated Jun 22, 2024
  • axiom-profiler-2 Public Forked from viperproject/axiom-profiler-2

    The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).

    secure-foundations/axiom-profiler-2’s past year of commit activity
    SMT 0 3 0 0 Updated Mar 26, 2024
  • mariposa-data Public
    secure-foundations/mariposa-data’s past year of commit activity
    SMT 0 1 0 0 Updated Mar 21, 2024
View all repositories

Most used topics

Loading…