PKU-ASAL / PKUWA
☆12Updated 4 months ago
Related projects ⓘ
Alternatives and complementary repositories for PKUWA
- For our ISSTA'23 paper ACETest: Automated Constraint Extraction for Testing Deep Learning Operators☆9Updated 7 months ago
- Implementation of the Reusable Enclaves paper☆12Updated last year
- WASEM - a general symbolic execution framework for WebAssembly (WASM) binaries☆12Updated last month
- Violet: Selective Symbolic Execution to Detect Bad Performance Misconfiguration☆17Updated 4 years ago
- A Pointer Analysis Framework for Rust☆42Updated last month
- ☆18Updated 2 years ago
- ☆58Updated 2 years ago
- FLOWMATRIX: GPU-Assisted Information-Flow Analysis through Matrix-Based Representation, USENIX Security'22☆27Updated last year
- ☆16Updated last year
- Artifacts for the paper "KSplit: Automating Device Driver Isolation"☆11Updated 2 years ago
- A native symbolic execution engine for WebAssembly☆40Updated 4 months ago
- ☆12Updated 3 years ago
- In-Kernel Control-Flow Integrity on Commodity OSes using ARM Pointer Authentication☆12Updated last year
- LLVM Implementation of different ShadowStack schemes for x86_64☆37Updated 4 years ago
- ☆28Updated 2 years ago
- caijiqhx notes☆17Updated 3 weeks ago
- ☆12Updated 2 years ago
- Protecting Accelerator Execution with Arm Confidential Computing Architecture (USENIX Security 2024)☆25Updated 11 months ago
- A fuzzer for SMT solvers☆19Updated this week
- This repository contains the source code related to the research paper titled "Temporal System Call Specialization for Attack Surface Red…☆34Updated last week
- Software Artifacts for the paper "TDXdown: Single-Stepping and Instruction Counting Attacks against Intel TDX"☆13Updated last month
- Using Malicious #VC Interrupts to Break AMD SEV-SNP (IEEE S&P 2024)☆22Updated 7 months ago
- ShadowBound: Efficient Memory Protection through Advanced Metadata Management and Customized Compiler Optimization (USENIX Security 2024)…☆22Updated 3 months ago
- Top-level companion software artifact for the paper "Provably-Safe Multilingual Software Sandboxing using WebAssembly"☆35Updated 2 years ago
- Teaching and Learning Software Verification via SVF☆32Updated last month
- MetaMut is a mutation operator generator to facilitate compiler fuzzing.☆21Updated 3 months ago
- Papers related with kernel papers☆13Updated last year
- ☆13Updated last year
- CIPHERH: Automated Detection of Ciphertext Side-channel Vulnerabilities in Cryptographic Implementations☆13Updated 11 months ago
- Proof of Being Fogotten (PoBF) and PoBF-Compliant Framework (PoCF) prototypes.☆19Updated last year