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
  ☆163Updated 2 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.
  ☆105Updated 4 months ago
• cs161-staff / textbook
  Online textbook for CS 161: Computer Security at UC Berkeley.
  ☆82Updated 7 months ago
• MeghaJakhotia / ComputerSecurityAttacks
  Contains SEED Labs solutions from Computer Security course by Kevin Du.
  ☆122Updated 5 years ago
• seed-labs / seed-labs
  SEED Labs developed in the last 20 years.
  ☆855Updated 3 weeks ago
• thufv / CMinor-Verifier
  2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)
  ☆213Updated 5 months ago
• puzhuoliu / Computer-Security-Conference-Acceptance-Rate
  Statistics of acceptance rate for the top conferences: Oakland, CCS, USENIX Security, NDSS.
  ☆167Updated last month
• HexHive / pubstats
  ☆32Updated 4 months ago
• Compass-All / SHELTER
  ☆34Updated 2 years ago
• yapengye / NetPlier
  NetPlier: Probabilistic Network Protocol Reverse Engineering from Message Traces
  ☆72Updated last year
• Asbatel / ContainerHIDS
  Contextualizing System Calls in Containers for Anomaly-Based Intrusion Detection - CCSW'22
  ☆22Updated 2 years ago
• seed-labs / seedlabs-chinese
  Chinese translation of the SEED Labs
  ☆53Updated 10 months ago
• cis547 / cis547vm
  ☆20Updated 6 months ago
• li-xin-yi / cfg-explorer
  CFG explorer for binaries
  ☆38Updated 9 months ago
• ZJU-SEC / AbstractResourceAttack
  This repository is used to analysis the shared resources of different containers
  ☆30Updated 9 months ago
• wcventure / ConcurrencyPaper
  Concurrency Paper
  ☆110Updated 2 years ago
• sssecret2019 / mytee
  ☆36Updated 2 years ago
• sec-deadlines / sec-deadlines.github.io
  Deadline countdowns for academic conferences in Security and Privacy
  ☆738Updated last week
• mit-ll / Cross-Language-Attacks
  ☆26Updated 3 years ago
• IoTAccessControl / RapidPatch
  A general cross-architecture C/C++ hotpatch solution using customized userspace eBPF runtime. One patch release can fix the same vulnera…
  ☆26Updated last year
• SVF-tools / SVF-Teaching
  Learning and Teaching Software Analysis and Verification via SVF
  ☆25Updated 3 weeks ago
• ya0guang / PoBF
  Proof of Being Fogotten (PoBF) and PoBF-Compliant Framework (PoCF) prototypes.
  ☆20Updated 2 years ago
• cla7aye15I4nd / CAMP
  CAMP: Compiler and Allocator-based Heap Memory Protection (USENIX Security 2024) ✨ Please give a star to https://github.com/cla7aye15I4nd…
  ☆43Updated last year
• seed-labs / seed-emulator
  A Python framework for creating emulation of the Internet.
  ☆253Updated this week
• StanPlatinum / Deflection
  Practical and Efficient in-TEE Verification of Privacy Compliance
  ☆46Updated 7 months ago
• ZJU-SEC / Readings
  ☆61Updated 3 years ago
• codeyq / cs155
  ☆30Updated 7 years ago
• rssys / snowboard
  This repository contains the artifact for the SOSP'21 paper: Sishuai Gong, Deniz Altınbüken, Pedro Fonseca, Petros Maniatis, "Snowboard:…
  ☆26Updated 2 months ago
• secartifacts / secartifacts.github.io
  Website for Research Artifacts from the Security Community
  ☆23Updated 2 weeks ago
• Xidian-ICTT-GZ / Academic_Blog
  软件工程与形式化方法相关前沿工作阅读与分享
  ☆36Updated 2 months ago