li-xin-yi / seedlab
Records & Reports for Seed-project
☆88Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for seedlab
- Source code for my books☆154Updated last year
- Contains SEED Labs solutions from Computer Security course by Kevin Du.☆103Updated 4 years ago
- Chinese translation of the SEED Labs☆47Updated last month
- Derived from CAT-SGX and elf-respect: Practical and Efficient in-Enclave Verification of Privacy Compliance☆41Updated 2 years ago
- SEED Labs developed in the last 20 years.☆769Updated 2 months ago
- For our ISSTA'23 paper ACETest: Automated Constraint Extraction for Testing Deep Learning Operators☆9Updated 7 months ago
- 全国大学生信息安全竞赛作品收集☆63Updated 6 years ago
- seed security labs 总结与记录☆30Updated last year
- This repository is used to analysis the shared resources of different containers☆28Updated last month
- ☆58Updated 2 years ago
- ☆27Updated 2 years ago
- A usage-guided Linux Kernel manual☆9Updated 3 years ago
- ☆27Updated 2 months ago
- Flow-based configuration analysis☆9Updated 3 years ago
- 2022 年春季学期清华大学《软件分析与验证》课程实验平台☆200Updated 2 years ago
- A Python framework for creating emulation of the Internet.☆209Updated this week
- Proof of Being Fogotten (PoBF) and PoBF-Compliant Framework (PoCF) prototypes.☆19Updated last year
- Online textbook for CS 161: Computer Security at UC Berkeley.☆68Updated this week
- 上海交通大学网安学院本科编程作业参考☆203Updated 8 months ago
- 每日论文推荐☆292Updated 3 years ago
- SHERLOC: Secure and Holistic Control-Flow Violation Detection on Embedded Systems☆16Updated 9 months ago
- Teaching and Learning Software Verification via SVF☆32Updated last month
- Contains SEED Labs solutions from Internet Security course by Kevin Du.☆40Updated 4 years ago
- Statistics of acceptance rate for the top conferences: Oakland, CCS, USENIX Security, NDSS.☆117Updated 3 weeks ago
- ☆51Updated 6 months ago
- Prototype system for the paper "OAT: Attesting Operation Integrity of Embedded Devices"(Oakland'20)☆13Updated 4 years ago
- ☆30Updated 3 years ago
- ☆43Updated last year
- 课程主页☆31Updated 4 years ago