USENIX-Security-2025 / conference-formatLinks
☆22Updated last year
Alternatives and similar repositories for conference-format
Users that are interested in conference-format are comparing it to the libraries listed below
Sorting:
- Statistics of acceptance rate for the top conferences: Oakland, CCS, USENIX Security, NDSS.☆165Updated last month
- ACM consolidated LaTeX styles☆67Updated 6 years ago
- This repo collects the best papers from top 4 computer security conferences, including IEEE S&P, ACM CCS, USENIX Security, and NDSS.☆101Updated 3 months ago
- Deadline countdowns for academic conferences in Security and Privacy☆735Updated this week
- ☆120Updated last year
- Learning Security Classifiers with Verified Global Robustness Properties (CCS'21) https://arxiv.org/pdf/2105.11363.pdf☆27Updated 3 years ago
- ☆32Updated 3 months ago
- On Training Robust PDF Malware Classifiers (Usenix Security'20) https://arxiv.org/abs/1904.03542☆30Updated 3 years ago
- A System for Debloating C/C++ Programs☆31Updated 4 years ago
- On-device Machine Learning model analyzer and extractor for Android Apps, check out our USENIX Security'21 paper "Mind Your Weight(s): A …☆33Updated 3 years ago
- Open-source code for RFCNLP paper.☆59Updated 2 years ago
- Website for Research Artifacts from the Security Community☆21Updated last week
- ☆40Updated 2 years ago
- Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source (ICSE'22)☆79Updated 2 years ago
- ☆24Updated last year
- Differential Privacy Testing System☆22Updated 5 years ago
- TAOISM: A TEE-based Confidential Heterogeneous Deployment Framework for DNN Models☆42Updated last year
- Prolog specification of TensorFlow layers☆14Updated 2 years ago
- This repository contains the evaluation code for the NDSS 2024 paper: MPCDIFF: Testing and Repairing MPC-Hardened Deep Learning Models.☆15Updated last year
- CodeGuard+: Constrained Decoding for Secure Code Generation☆11Updated last year
- Crawling Papers in S&P/CCS/USENIX Security/NDSS according to keywords.☆13Updated 2 months ago
- ☆31Updated 2 years ago
- Teaching materials related to the Tamarin Prover☆70Updated last year
- WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)☆65Updated this week
- Repository for "SecurityEval Dataset: Mining Vulnerability Examples to Evaluate Machine Learning-Based Code Generation Techniques" publis…☆74Updated last year
- Tutorial: Uncovering and mitigating side-channel leakage in Intel SGX enclaves☆51Updated 4 months ago
- ☆74Updated 2 years ago
- Research Artifact of USENIX Security 2023 Paper: Precise and Generalized Robustness Certification for Neural Networks☆12Updated 2 years ago
- ☆47Updated 10 months ago
- A collection of security papers on top-tier publications☆48Updated last week