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

Users that are interested in sec-deadlines.github.io are comparing it to the libraries listed below

• puzhuoliu / Computer-Security-Conference-Acceptance-Rate
  Statistics of acceptance rate for the top conferences: Oakland, CCS, USENIX Security, NDSS.
  ☆213Updated 3 months ago
• 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.
  ☆133Updated 9 months ago
• sunblaze-ucb / privguard-artifact
  Artifact of PrivAnalyzer as described in the Usenix 2022 paper "PrivGuard: Privacy Regulation Compliance Made Easier"
  ☆13Updated 4 years ago
• acmccs / format
  ACM consolidated LaTeX styles
  ☆66Updated 6 years ago
• HexHive / pubstats
  ☆35Updated 2 months 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…
  ☆327Updated 2 months ago
• s2labres / transcendent-release
  ☆27Updated 2 years ago
• gianlucasb / hallucinator
  A tool to detect potentially hallucinated or fabricated references in academic PDF papers.
  ☆55Updated this week
• USENIX-Security-2025 / conference-format
  ☆22Updated last year
• tamarin-prover / tamarin-prover
  Main source code repository of the Tamarin prover for security protocol verification.
  ☆505Updated this week
• benjaminkiesl / tamarin_toy_protocol
  A set of exercises for getting started with the Tamarin prover
  ☆20Updated 2 years ago
• EQuiw / code-imitator
  ☆32Updated 2 years ago
• RiS3-Lab / OAT-Project
  Prototype system for the paper "OAT: Attesting Operation Integrity of Embedded Devices"(Oakland'20)
  ☆16Updated 5 years ago
• benhaz1024 / raspbian-tee
  Raspbian with OP-TEE support.
  ☆30Updated 6 years ago
• ftramer / slalom
  Fast, Verifiable and Private Execution of Neural Networks in Trusted Hardware
  ☆171Updated 2 years ago
• tamarin-prover / teaching
  Teaching materials related to the Tamarin Prover
  ☆71Updated last year
• Beerkay / IoTResearch
  IoT Reading List (IoT research papers from 2016 to 2019)
  ☆85Updated 7 years ago
• LoCryptEn / Key-security
  ☆102Updated 9 months ago
• stratosphereips / awesome-ml-privacy-attacks
  An awesome list of papers on privacy attacks against machine learning
  ☆634Updated last year
• CactiLab / Sherloc-Cortex-M-CFVD
  SHERLOC: Secure and Holistic Control-Flow Violation Detection on Embedded Systems
  ☆17Updated last year
• mofanv / PPFL
  Privacy-preserving Federated Learning with Trusted Execution Environments
  ☆74Updated 6 months ago
• ArtemKushnerov / az
  Downloads apks from androzoo repository https://androzoo.uni.lu/
  ☆127Updated 3 years ago
• haochenuw / algorithms-in-SEAL
  Some algorithms for computation on encrypted data based on Microsoft SEAL
  ☆27Updated 5 years ago
• Kyle-Kyle / top4grep
  find relevant security papers published in the top-4 conferences (S&P, USENIX, CCS, NDSS)
  ☆198Updated last year
• NESA-Lab / MPInspector
  Messaging protocol test tools
  ☆16Updated 4 years ago
• encryptogroup / ABY
  ABY - A Framework for Efficient Mixed-protocol Secure Two-party Computation
  ☆491Updated 3 years ago
• ClonedOne / MalwareBackdoors
  Code for the paper Explanation-Guided Backdoor Poisoning Attacks Against Malware Classifiers
  ☆60Updated 3 years ago
• agohr / deep_speck
  Supplementary code and data to "Improving Attacks on Round-Reduced Speck32/64 Using Deep Learning"
  ☆77Updated 6 years ago
• WeiqiNs / DAORAM
  A series of classic oblivious algorithms written in Python, covering oblivious RAM, oblivious MAP, and oblivious graph processing for cli…
  ☆12Updated last week
• ZJUNESA / SANDP
  Seminar 2022
  ☆23Updated 3 weeks ago