sec-deadlines / sec-deadlines.github.io

Related projects ⓘ

Alternatives and complementary repositories for sec-deadlines.github.io

• puzhuoliu / Computer-Security-Conference-Acceptance-Rate
  Statistics of acceptance rate for the top conferences: Oakland, CCS, USENIX Security, NDSS.
  ☆108Updated last week
• prncoprs / best-papers-in-computer-security
  This repo collects the best papers from top 4 computer security conferences, including IEEE S&P, ACM CCS, USENIX Security, and NDSS.
  ☆62Updated 3 months ago
• acmccs / format
  ACM consolidated LaTeX styles
  ☆64Updated 5 years ago
• gnipping / Awesome-ML-SP-Papers
  A curated list of Meachine learning Security & Privacy papers published in security top-4 conferences (IEEE S&P, ACM CCS, USENIX Security…
  ☆215Updated last week
• tamarin-prover / tamarin-prover
  Main source code repository of the Tamarin prover for security protocol verification.
  ☆418Updated last week
• s2labres / transcendent-release
  ☆18Updated 9 months ago
• USENIX-Security-2025 / conference-format
  ☆17Updated 7 months ago
• hzysvilla / Academic_LLM_Sec_Papers
  Academic Papers about LLM Application on Security
  ☆105Updated 5 months ago
• sunblaze-ucb / privguard-artifact
  Artifact of PrivAnalyzer as described in the Usenix 2022 paper "PrivGuard: Privacy Regulation Compliance Made Easier"
  ☆12Updated 2 years ago
• idramalab / latex-101
  ☆19Updated last year
• tamarin-prover / teaching
  Teaching materials related to the Tamarin Prover
  ☆63Updated 3 months ago
• CactiLab / Sherloc-Cortex-M-CFVD
  SHERLOC: Secure and Holistic Control-Flow Violation Detection on Embedded Systems
  ☆16Updated 8 months ago
• arnomi / cryptocode
  LaTeX package for typesetting pseudocode and cryptographic games
  ☆154Updated 11 months ago
• Beerkay / IoTResearch
  IoT Reading List (IoT research papers from 2016 to 2019)
  ☆83Updated 5 years ago
• benjaminkiesl / tamarin_toy_protocol
  A set of exercises for getting started with the Tamarin prover
  ☆15Updated last year
• cascremers / scyther
  The Scyther Tool for the symbolic analysis of security protocols
  ☆99Updated 6 months ago
• HexHive / pubstats
  ☆27Updated 2 months ago
• stratosphereips / awesome-ml-privacy-attacks
  An awesome list of papers on privacy attacks against machine learning
  ☆558Updated 7 months ago
• ryderling / DEEPSEC
  DEEPSEC: A Uniform Platform for Security Analysis of Deep Learning Model
  ☆209Updated 5 years ago
• trailofbits / PrivacyRaven
  Privacy Testing for Deep Learning
  ☆189Updated last year
• Jim8y / awesome-sgx
  A curated list of SGX code and resources.
  ☆236Updated 5 months ago
• gchers / fbleau
  A tool for estimating a system's information leakage via Machine Learning
  ☆10Updated 4 months ago
• ChatAFLndss / ChatAFL
  Large Language Model guided Protocol Fuzzing (NDSS'24)
  ☆279Updated last month
• ArtemKushnerov / az
  Downloads apks from androzoo repository https://androzoo.uni.lu/
  ☆115Updated last year
• ClonedOne / MalwareBackdoors
  Code for the paper Explanation-Guided Backdoor Poisoning Attacks Against Malware Classifiers
  ☆56Updated 2 years ago
• ftramer / slalom
  Fast, Verifiable and Private Execution of Neural Networks in Trusted Hardware
  ☆161Updated last year
• jovanbulck / sgx-tutorial-space18
  Tutorial: Uncovering and mitigating side-channel leakage in Intel SGX enclaves
  ☆52Updated 5 years ago
• PurduePAML / TrojanNN
  Trojan Attack on Neural Network
  ☆180Updated 2 years ago
• E0HYL / AI4Code-Framework
  A unified framework for AI-enhanced code analysis.
  ☆9Updated last year
• HexHive / magma
  A ground-truth fuzzing benchmark suite based on real programs with real bugs.
  ☆289Updated 4 months ago