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
  ☆169Updated 2 years ago
• MeghaJakhotia / ComputerSecurityAttacks
  Contains SEED Labs solutions from Computer Security course by Kevin Du.
  ☆125Updated 5 years ago
• HexHive / pubstats
  ☆35Updated 2 weeks ago
• seed-labs / seed-labs
  SEED Labs developed in the last 20 years.
  ☆890Updated last month
• cs161-staff / textbook
  Online textbook for CS 161: Computer Security at UC Berkeley.
  ☆86Updated 3 months ago
• codeyq / cs155
  ☆32Updated 7 years 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
• Compass-All / SHELTER
  ☆35Updated 2 years ago
• seed-labs / seed-emulator
  A Python framework for creating emulation of the Internet.
  ☆263Updated last week
• rssys / snowboard
  This repository contains the artifact for the SOSP'21 paper: Sishuai Gong, Deniz Altınbüken, Pedro Fonseca, Petros Maniatis, "Snowboard:…
  ☆26Updated 6 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.
  ☆129Updated 8 months ago
• 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 9 months ago
• seed-labs / seedlabs-chinese
  Chinese translation of the SEED Labs
  ☆55Updated last year
• RiS3-Lab / OAT-Project
  Prototype system for the paper "OAT: Attesting Operation Integrity of Embedded Devices"(Oakland'20)
  ☆16Updated 5 years ago
• wcventure / ConcurrencyPaper
  Concurrency Paper
  ☆114Updated 2 years ago
• yapengye / NetPlier
  NetPlier: Probabilistic Network Protocol Reverse Engineering from Message Traces
  ☆72Updated last year
• ZJU-SEC / Readings
  ☆61Updated 3 years ago
• CactiLab / Sherloc-Cortex-M-CFVD
  SHERLOC: Secure and Holistic Control-Flow Violation Detection on Embedded Systems
  ☆17Updated last year
• cis547 / cis547vm
  ☆20Updated last month
• GoSSIP-SJTU / dailyPaper
  每日论文推荐
  ☆293Updated 4 years ago
• StanPlatinum / Deflection
  Practical and Efficient in-TEE Verification of Privacy Compliance
  ☆45Updated 11 months ago
• SVF-tools / Software-Analysis-Studio
  Teaching and Learning Software Analysis via SVF
  ☆211Updated 2 months ago
• ya0guang / PoBF
  Proof of Being Fogotten (PoBF) and PoBF-Compliant Framework (PoCF) prototypes.
  ☆21Updated 2 years ago
• XiaZhouZero / OPEC
  ☆11Updated 3 years ago
• sslab-keio / FiTx
  Bug detection framework for finding Finger tracable bugs in Linux
  ☆20Updated 8 months ago
• RFCNLP / RFCNLP
  Open-source code for RFCNLP paper.
  ☆58Updated 3 years ago
• Icegrave0391 / Palantir
  PalanTír: Optimizing Attack Provenance with Hardware-enhanced System Observability, ACM CCS'22
  ☆24Updated last year
• cla7aye15I4nd / CAMP
  CAMP: Compiler and Allocator-based Heap Memory Protection (USENIX Security 2024) ✨
  ☆46Updated last year