li-xin-yi / seedlabLinks
Records & Reports for Seed-project
☆97Updated 5 years ago
Alternatives and similar repositories for seedlab
Users that are interested in seedlab are comparing it to the libraries listed below
Sorting:
- Source code for my books☆171Updated 2 years ago
- SEED Labs developed in the last 20 years.☆902Updated 2 months ago
- Contains SEED Labs solutions from Computer Security course by Kevin Du.☆125Updated 5 years ago
- ☆35Updated last month
- Chinese translation of the SEED Labs☆55Updated last year
- 2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)☆210Updated 10 months ago
- CFG explorer for binaries☆39Updated last year
- This repo collects the best papers from top 4 computer security conferences, including IEEE S&P, ACM CCS, USENIX Security, and NDSS.☆132Updated 9 months ago
- NetPlier: Probabilistic Network Protocol Reverse Engineering from Message Traces☆73Updated last year
- Online textbook for CS 161: Computer Security at UC Berkeley.☆87Updated 4 months ago
- Statistics of acceptance rate for the top conferences: Oakland, CCS, USENIX Security, NDSS.☆211Updated 3 months ago
- This repository is used to analysis the shared resources of different containers☆31Updated last year
- 每日论文推荐☆292Updated 4 years ago
- Prototype system for the paper "OAT: Attesting Operation Integrity of Embedded Devices"(Oakland'20)☆16Updated 5 years ago
- 上海交通大学网安学院本科编程作业参考☆219Updated last year
- Open-source code for RFCNLP paper.☆58Updated 3 years ago
- Contextualizing System Calls in Containers for Anomaly-Based Intrusion Detection (CHIDS) - CCSW'22☆25Updated 2 years ago
- Empc: Effective Path Prioritization for Symbolic Execution with Path Cover☆33Updated 8 months ago
- SHERLOC: Secure and Holistic Control-Flow Violation Detection on Embedded Systems☆17Updated last year
- A collection of security papers on top-tier publications☆61Updated 3 weeks ago
- Concurrency Paper☆114Updated 2 years ago
- Learning and Teaching Software Analysis and Verification via SVF☆26Updated 6 months ago
- A Python framework for creating emulation of the Internet.☆265Updated last week
- A general cross-architecture C/C++ hotpatch solution using customized userspace eBPF runtime. One patch release can fix the same vulnera…☆27Updated 2 years ago
- ☆32Updated 2 years ago
- Proof of Being Fogotten (PoBF) and PoBF-Compliant Framework (PoCF) prototypes.☆21Updated 2 years ago
- ☆27Updated 3 years ago
- An interactive module to help you learn how to fuzz your first target☆204Updated last year
- Sth in Control-Flow Integrity☆20Updated 7 years ago
- Software Analysis and Verification Group☆15Updated 2 months ago