secure-foundations / provably-safe-sandboxing-wasm-usenix22View external linksLinks
Top-level companion software artifact for the paper "Provably-Safe Multilingual Software Sandboxing using WebAssembly"
☆38Aug 30, 2022Updated 3 years ago
Alternatives and similar repositories for provably-safe-sandboxing-wasm-usenix22
Users that are interested in provably-safe-sandboxing-wasm-usenix22 are comparing it to the libraries listed below
Sorting:
- This is the repository for the code and artifacts related to the CCS2022 paper: C2C: Fine-grained Configuration-driven System Call Filter…☆11Nov 4, 2022Updated 3 years ago
- ☆20Mar 10, 2022Updated 3 years ago
- ☆13Oct 8, 2021Updated 4 years ago
- A POSIX Filesystem for Enclaves with a Mechanized Safety Proof☆17Sep 20, 2019Updated 6 years ago
- Verified Wasm runtime☆30Oct 30, 2023Updated 2 years ago
- ☆61Feb 15, 2023Updated 3 years ago
- LaTeX package to Do The Right Thing☆13Sep 8, 2021Updated 4 years ago
- Hypervisor from scratch in linux☆13May 8, 2022Updated 3 years ago
- This repo tracks a compatible state of all sev step components and contains script to easily install everything required to setup a sev v…☆44Feb 15, 2024Updated 2 years ago
- ☆13Aug 18, 2025Updated 5 months ago
- Proof-of-concept implementation of the Obelix software hardening framework, based on LLVM.☆12May 22, 2024Updated last year
- ☆11Jul 14, 2020Updated 5 years ago
- ☆27Apr 27, 2022Updated 3 years ago
- ☆14Jun 11, 2020Updated 5 years ago
- WASEM - a general symbolic execution framework for WebAssembly (WASM) binaries☆18Sep 30, 2024Updated last year
- ☆12Apr 9, 2022Updated 3 years ago
- ☆16Nov 13, 2023Updated 2 years ago
- Implementation of the Reusable Enclaves paper☆14Sep 25, 2023Updated 2 years ago
- Lean4 bindings for raylib☆21Jun 30, 2025Updated 7 months ago
- A fuzzer setup to fuzz libc functions.☆16Aug 30, 2022Updated 3 years ago
- ☆32Jul 11, 2022Updated 3 years ago
- A set of Android binary exploitation tasks for beginners.☆29Jul 16, 2019Updated 6 years ago
- Code for experiments referenced in the Usenix Security 2017 paper "Strong and Efficient Cache Side-Channel Protection using Hardware Tran…☆15Sep 8, 2022Updated 3 years ago
- ☆17Sep 20, 2019Updated 6 years ago
- ☆12May 24, 2022Updated 3 years ago
- ☆46Feb 10, 2026Updated last week
- Updated IDA ReObjc Plugin for 7.4+ and python3☆13Apr 17, 2021Updated 4 years ago
- ☆39Sep 27, 2022Updated 3 years ago
- Bindings to libclingo for the lean4 prover and programming language!☆21Nov 27, 2024Updated last year
- Automated Controller Synthesis☆15Jun 27, 2018Updated 7 years ago
- ☆16Sep 29, 2022Updated 3 years ago
- Unikraft Google Summer of Code☆15Feb 4, 2026Updated last week
- Practical and Efficient in-TEE Verification of Privacy Compliance☆46Jan 10, 2025Updated last year
- ☆31Jun 14, 2023Updated 2 years ago
- EMT: An OS Framework for New Memory Translation Architectures☆29Jul 22, 2025Updated 6 months ago
- ELISA: Exit-Less, Isolated, and Shared Access for Virtual Machines☆21Nov 1, 2025Updated 3 months ago
- Opening Pandora's Box: A Systematic Study of New Ways Microarchitecture can Leak Private Data☆20Oct 13, 2022Updated 3 years ago
- A list of data-only attacks☆21Aug 22, 2025Updated 5 months ago
- This repository contains the source code related to the research paper titled "Temporal System Call Specialization for Attack Surface Red…☆38Nov 14, 2024Updated last year