Yuanyuan-Yuan / CipherStealLinks
☆14Updated last year
Alternatives and similar repositories for CipherSteal
Users that are interested in CipherSteal are comparing it to the libraries listed below
Sorting:
- Revisiting Cache Side-Channel Attacks in Deep Neural Networks Executables☆12Updated last year
- FLOWMATRIX: GPU-Assisted Information-Flow Analysis through Matrix-Based Representation, USENIX Security'22☆28Updated 2 years ago
- This repository contains the evaluation code for the NDSS 2024 paper: MPCDIFF: Testing and Repairing MPC-Hardened Deep Learning Models.☆15Updated 2 years ago
- SoK: All You Need to Know About On-Device ML Model Extraction - The Gap Between Research and Practice☆15Updated 6 months ago
- OBsan: An Out-Of-Bound Sanitizer to Harden DNN Executables☆17Updated 2 years ago
- A decompiler to automatically reverse-engineer the DNN semantics from its compiled binary using program analysis☆83Updated 11 months ago
- ☆26Updated last year
- Artifact for IEEE Security and Privacy 2022 paper: "SoK: Demystifying Binary Lifters Through the Lens of Downstream Applications"☆29Updated 3 years ago
- CIPHERH: Automated Detection of Ciphertext Side-channel Vulnerabilities in Cryptographic Implementations☆13Updated last year
- [SOSP'25] Automatic checker synthesis for system-level static analysis☆147Updated last month
- Policy-Guided Fuzzing for Robotic Vehicles☆38Updated 2 years ago
- TypeDive: Multi-Layer Type Analysis (MLTA) for Refining Indirect-Call Targets☆98Updated 3 weeks ago
- ☆23Updated 8 months ago
- ☆61Updated 3 years ago
- ☆29Updated 6 months ago
- Code for tracelet-level symbolic execution☆18Updated 3 years ago
- ☆43Updated 3 years ago
- Prolog specification of TensorFlow layers☆14Updated 2 years ago
- Official code of Callee: Recovering Call Graphs for Binaries with Transfer and Contrastive Learning☆43Updated last year
- ☆40Updated last year
- PFI: Prompt Flow Integrity to Prevent Privilege Escalation in LLM Agents☆26Updated 8 months ago
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆87Updated 2 months ago
- [USENIX SECURITY'19] PeX: A Permission Check Analysis Framework for Linux Kernel☆77Updated 3 years ago
- ☆36Updated 2 years ago
- ☆25Updated 4 years ago
- Assisting Static Analysis with Large Language Models: A ChatGPT Experiment☆36Updated 2 years ago
- WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)☆76Updated 4 months ago
- For our ISSTA'23 paper ACETest: Automated Constraint Extraction for Testing Deep Learning Operators☆13Updated last year
- Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source (ICSE'22)☆81Updated 3 years ago
- ☆41Updated 2 years ago