Alternatives and similar repositories for seedlab

Users that are interested in seedlab are comparing it to the libraries listed below

• kevin-w-du / BookCode
  Source code for my books
  ☆170Updated 2 years ago
• MeghaJakhotia / ComputerSecurityAttacks
  Contains SEED Labs solutions from Computer Security course by Kevin Du.
  ☆125Updated 5 years 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.
  ☆131Updated 8 months ago
• seed-labs / seed-labs
  SEED Labs developed in the last 20 years.
  ☆894Updated 2 months ago
• seed-labs / seed-emulator
  A Python framework for creating emulation of the Internet.
  ☆265Updated this week
• Asbatel / ContainerHIDS
  Contextualizing System Calls in Containers for Anomaly-Based Intrusion Detection (CHIDS) - CCSW'22
  ☆25Updated 2 years ago
• thufv / CMinor-Verifier
  2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)
  ☆209Updated 10 months ago
• HexHive / pubstats
  ☆35Updated last month
• puzhuoliu / Computer-Security-Conference-Acceptance-Rate
  Statistics of acceptance rate for the top conferences: Oakland, CCS, USENIX Security, NDSS.
  ☆207Updated 2 months ago
• ZJU-SEC / AbstractResourceAttack
  This repository is used to analysis the shared resources of different containers
  ☆31Updated last year
• li-xin-yi / cfg-explorer
  CFG explorer for binaries
  ☆39Updated last year
• c01dkit / sec-papers-collection
  A collection of security papers on top-tier publications
  ☆59Updated last week
• StanPlatinum / Deflection
  Practical and Efficient in-TEE Verification of Privacy Compliance
  ☆45Updated last year
• LaPhilosophie / seedlab
  seed security labs 总结与记录
  ☆47Updated 2 years ago
• Hustcw / VulBench
  This is a benchmark for evaluating the vulnerability discovery ability of automated approaches including Large Language Models (LLMs), de…
  ☆75Updated last year
• yapengye / NetPlier
  NetPlier: Probabilistic Network Protocol Reverse Engineering from Message Traces
  ☆72Updated last year
• ZiwenWan / Program-Dependence-Graph-in-LLVM
  ☆40Updated 2 years ago
• GoSSIP-SJTU / dailyPaper
  每日论文推荐
  ☆292Updated 4 years ago
• codeyq / cs155
  ☆32Updated 7 years ago
• wcventure / ConcurrencyPaper
  Concurrency Paper
  ☆114Updated 2 years ago
• YuZhang / cryptography
  Cryptography course slides at Harbin Institute of Technology
  ☆194Updated last year
• RFCNLP / RFCNLP
  Open-source code for RFCNLP paper.
  ☆58Updated 3 years ago
• peng-gao-lab / p4control
  P4Control: Line-Rate Cross-Host Attack Prevention via In-Network Information Flow Control Enabled by Programmable Switches and eBPF
  ☆11Updated last year
• Icegrave0391 / Palantir
  PalanTír: Optimizing Attack Provenance with Hardware-enhanced System Observability, ACM CCS'22
  ☆24Updated last year
• SVF-tools / SVF-Teaching
  Learning and Teaching Software Analysis and Verification via SVF
  ☆26Updated 5 months ago
• shijy16 / ACETest
  For our ISSTA'23 paper ACETest: Automated Constraint Extraction for Testing Deep Learning Operators
  ☆13Updated last year
• Compass-All / CCS22-StrongBox
  ☆34Updated 3 years ago
• cs161-staff / textbook
  Online textbook for CS 161: Computer Security at UC Berkeley.
  ☆86Updated 3 months ago
• seclab-ucr / LLift
  The source code of project "LLift" (Enhancing static analysis with LLM)
  ☆81Updated last year
• joshuay2022 / empc
  Empc: Effective Path Prioritization for Symbolic Execution with Path Cover
  ☆33Updated 7 months ago