USENIX-Security-2025 / conference-formatLinks
☆21Updated 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.☆153Updated 4 months ago
- This repo collects the best papers from top 4 computer security conferences, including IEEE S&P, ACM CCS, USENIX Security, and NDSS.☆96Updated 2 months ago
- ☆28Updated 9 months ago
- ACM consolidated LaTeX styles☆67Updated 6 years ago
- ☆116Updated 11 months ago
- Website for Research Artifacts from the Security Community☆18Updated last week
- FLOWMATRIX: GPU-Assisted Information-Flow Analysis through Matrix-Based Representation, USENIX Security'22☆28Updated 2 years ago
- ☆23Updated last year
- ☆40Updated last year
- Prolog specification of TensorFlow layers☆14Updated 2 years ago
- The official repository of "GraphSPD: Graph-Based Security Patch Detection with Enriched Code Semantics". The paper will appear in the IE…☆45Updated last year
- ☆31Updated 2 months ago
- On-device Machine Learning model analyzer and extractor for Android Apps, check out our USENIX Security'21 paper "Mind Your Weight(s): A …☆32Updated 3 years ago
- Crawling Papers in S&P/CCS/USENIX Security/NDSS according to keywords.☆13Updated last month
- ☆23Updated 9 months ago
- CIPHERH: Automated Detection of Ciphertext Side-channel Vulnerabilities in Cryptographic Implementations☆13Updated last year
- Learning Security Classifiers with Verified Global Robustness Properties (CCS'21) https://arxiv.org/pdf/2105.11363.pdf☆28Updated 3 years ago
- Seminar 2022☆21Updated 3 months ago
- On Training Robust PDF Malware Classifiers (Usenix Security'20) https://arxiv.org/abs/1904.03542☆29Updated 3 years ago
- A Static Differential Analysis Tool of Network Protocol Parsers☆25Updated last year
- CodeGuard+: Constrained Decoding for Secure Code Generation☆11Updated 10 months ago
- Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source (ICSE'22)☆78Updated 2 years ago
- WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)☆61Updated 7 months ago
- User Guided API Misuse Detection☆29Updated 2 years ago
- Top-level companion software artifact for the paper "Provably-Safe Multilingual Software Sandboxing using WebAssembly"☆37Updated 2 years ago
- ☆16Updated 9 months ago
- CC: Causality-Aware Coverage Criterion for Deep Neural Networks☆12Updated 2 years ago
- ☆31Updated last year
- OBsan: An Out-Of-Bound Sanitizer to Harden DNN Executables☆17Updated 2 years ago
- ☆74Updated 2 years ago