USENIX-Security-2025 / conference-format
☆19Updated 10 months ago
Alternatives and similar repositories for conference-format:
Users that are interested in conference-format are comparing it to the libraries listed below
- Statistics of acceptance rate for the top conferences: Oakland, CCS, USENIX Security, NDSS.☆132Updated this week
- ☆29Updated 2 months ago
- ☆74Updated 2 years ago
- A Static Differential Analysis Tool of Network Protocol Parsers☆22Updated last year
- The official repository of "GraphSPD: Graph-Based Security Patch Detection with Enriched Code Semantics". The paper will appear in the IE…☆43Updated last year
- This repo collects the best papers from top 4 computer security conferences, including IEEE S&P, ACM CCS, USENIX Security, and NDSS.☆75Updated 7 months ago
- ☆102Updated 7 months ago
- WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)☆54Updated 3 months ago
- ☆39Updated last year
- ☆25Updated 5 months ago
- ACM consolidated LaTeX styles☆65Updated 5 years ago
- ☆29Updated last year
- Prolog specification of TensorFlow layers☆14Updated last year
- Crawling Papers in S&P/CCS/USENIX Security/NDSS according to keywords.☆11Updated last year
- ☆16Updated 6 months ago
- ☆18Updated last year
- SecLLMHolmes is a generalized, fully automated, and scalable framework to systematically evaluate the performance (i.e., accuracy and rea…☆48Updated 3 months ago
- For our ICSE22 paper "EAGLE: Creating Equivalent Graphs to Test Deep Learning Libraries" by Jiannan Wang, Thibaud Lutellier, Shangshu Qia…☆13Updated last year
- Research artifact for Oakland (S&P) 2024, "Titan: Efficient Multi-target Directed Greybox Fuzzing"☆48Updated 2 weeks ago
- Lifting network implementation to precise format specification☆24Updated 3 months ago
- DLFuzz: An Efficient Fuzzing Testing Framework of Deep Learning Systems☆52Updated 6 years ago
- TensorFlow API analysis tool and malicious model detection tool☆21Updated last week
- This repository contains the implementation and the evaluation of our ESEC/FSE 2020 paper: Detecting Numerical Bugs in Neural Network Ar…☆26Updated 4 years ago
- Website for Research Artifacts from the Security Community☆18Updated 2 weeks ago
- Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source (ICSE'22)☆75Updated 2 years ago
- Research Artifact of USENIX Security 2023 Paper: Precise and Generalized Robustness Certification for Neural Networks☆12Updated last year
- ☆14Updated last year
- For our ISSTA22 paper "DocTer: Documentation-Guided Fuzzing for Testing Deep Learning API Functions" by Danning Xie, Yitong Li, Mijung Ki…☆34Updated 2 years ago
- For our ISSTA'23 paper ACETest: Automated Constraint Extraction for Testing Deep Learning Operators☆10Updated 11 months ago
- TAOISM: A TEE-based Confidential Heterogeneous Deployment Framework for DNN Models☆33Updated 10 months ago