Secure Foundations Lab's repositories
provably-safe-sandboxing-wasm-usenix22
Top-level companion software artifact for the paper "Provably-Safe Multilingual Software Sandboxing using WebAssembly"
veri-titan
Verifying OpenTitan
wasm-semantics-fuzzer
An aid for developing correct WebAssembly implementations through generative fuzzing
veri-datalog
Verified Datalog
verifiable-computation
Code for the Pinocchio and Geppetto Verifiable Computation systems
ironsync-osdi2023
IronSync paper artifact for OSDI 2023
axiom-profiler-2
The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).
mariposa-D_KOMODO
Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone
Mariposa-Ironclad
The MSR Ironclad project builds provably secure and reliable systems.
prettyplease
fork of 'prettyplease' for verus