secure-foundations / provably-safe-sandboxing-wasm-usenix22
Top-level companion software artifact for the paper "Provably-Safe Multilingual Software Sandboxing using WebAssembly"
☆37Updated 2 years ago
Related projects: ⓘ
- ☆48Updated last year
- ☆18Updated 2 years ago
- A POSIX Filesystem for Enclaves with a Mechanized Safety Proof☆16Updated 5 years ago
- Fuzzer for Wasm and Wasmer☆23Updated 4 years ago
- A native symbolic execution engine for WebAssembly☆37Updated 2 months ago
- This repository contains the source code related to the research paper titled "Temporal System Call Specialization for Attack Surface Red…☆33Updated 4 years ago
- Verification of BPF JIT compilers☆54Updated last year
- A precise and scalable pointer analysis for LLVM, written in Ascent☆53Updated 2 weeks ago
- Software artifact for incremental CFG patching paper appearing in ASPLOS 21☆12Updated last year
- Thesis code☆25Updated last year
- ☆27Updated 2 years ago
- Improving security and resilience of WebAssembly VMs/runtimes/parsers using fuzzing☆85Updated last month
- Using Malicious #VC Interrupts to Break AMD SEV-SNP (IEEE S&P 2024)☆22Updated 4 months ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆29Updated 2 years ago
- Tests for verifying compliance of RMM implementations☆14Updated 9 months ago
- Constantine is a compiler-based system to automatically harden programs against microarchitectural side channels☆65Updated last year
- JIGSAW is a fuzzing-based path constraint solver.☆68Updated 3 months ago
- A high-performance, parallel, compilation-based symbolic execution engine☆114Updated last week
- Source code of a few LLVM passes that I wrote to learn and that now I am sharing for my LLVM course for security engineering☆27Updated 2 years ago
- ☆27Updated 2 years ago
- git://g.csail.mit.edu/kint☆49Updated 10 years ago
- ☆16Updated 11 months ago
- oo7, a binary analysis tool to defend against Spectre vulnerabilities☆30Updated 3 years ago
- Scalable Validator for Binary Lifters☆54Updated 4 years ago
- Implementing taint tracking in WebAssembly as a part of the V8 Javascript Engine.☆21Updated 6 years ago
- Proof-of-concept implementation for the paper "Efficient and Generic Microarchitectural Hash-Function Recovery" (IEEE S&P 2024)☆25Updated last year
- An approximate solver for concolic execution☆17Updated 2 years ago
- FLOWMATRIX: GPU-Assisted Information-Flow Analysis through Matrix-Based Representation, USENIX Security'22☆27Updated last year
- A framework for testing compilers' type checkers☆49Updated last month
- Automatic detection of speculative information flows☆64Updated 3 years ago