li-xin-yi / seedlabLinks
Records & Reports for Seed-project
☆95Updated 4 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☆163Updated 2 years ago
- SEED Labs developed in the last 20 years.☆853Updated this week
- Contains SEED Labs solutions from Computer Security course by Kevin Du.☆120Updated 5 years ago
- ☆32Updated 3 months ago
- Online textbook for CS 161: Computer Security at UC Berkeley.☆80Updated 7 months ago
- 2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)☆212Updated 4 months ago
- This repo collects the best papers from top 4 computer security conferences, including IEEE S&P, ACM CCS, USENIX Security, and NDSS.☆101Updated 3 months ago
- Contextualizing System Calls in Containers for Anomaly-Based Intrusion Detection - CCSW'22☆21Updated 2 years ago
- 上海交通大学网安学院本科编程作业参考☆219Updated last year
- Proof of Being Fogotten (PoBF) and PoBF-Compliant Framework (PoCF) prototypes.☆20Updated last year
- Statistics of acceptance rate for the top conferences: Oakland, CCS, USENIX Security, NDSS.☆165Updated last month
- ☆34Updated 2 years ago
- Practical and Efficient in-TEE Verification of Privacy Compliance☆46Updated 6 months ago
- ☆36Updated 2 years ago
- CFG explorer for binaries☆38Updated 8 months ago
- PKU OS course project and notes based on Nachos and XV6☆174Updated 4 years ago
- Cryptography course slides at Harbin Institute of Technology☆191Updated last year
- NetPlier: Probabilistic Network Protocol Reverse Engineering from Message Traces☆72Updated last year
- TFA project for indirect call analysis☆9Updated 4 months ago
- This repository is used to analysis the shared resources of different containers☆30Updated 9 months ago
- Open-source code for RFCNLP paper.☆59Updated 2 years ago
- A Python framework for creating emulation of the Internet.☆253Updated 2 weeks ago
- ☆22Updated 2 years ago
- ☆26Updated 3 years ago
- SHERLOC: Secure and Holistic Control-Flow Violation Detection on Embedded Systems☆16Updated last year
- CAMP: Compiler and Allocator-based Heap Memory Protection (USENIX Security 2024) ✨ Please give a star to https://github.com/cla7aye15I4nd…☆42Updated last year
- Tutorial: Uncovering and mitigating side-channel leakage in Intel SGX enclaves☆51Updated 4 months ago
- This repository contains the artifact for the SOSP'21 paper: Sishuai Gong, Deniz Altınbüken, Pedro Fonseca, Petros Maniatis, "Snowboard:…☆26Updated last month
- Have fun with audit log analysis :)☆153Updated last year
- Concurrency Paper☆110Updated 2 years ago