li-xin-yi / seedlab
Records & Reports for Seed-project
☆92Updated 4 years ago
Alternatives and similar repositories for seedlab:
Users that are interested in seedlab are comparing it to the libraries listed below
- Source code for my books☆157Updated last year
- Contains SEED Labs solutions from Computer Security course by Kevin Du.☆108Updated 4 years ago
- Online textbook for CS 161: Computer Security at UC Berkeley.☆74Updated 3 weeks ago
- SEED Labs developed in the last 20 years.☆794Updated 2 weeks ago
- This repo collects the best papers from top 4 computer security conferences, including IEEE S&P, ACM CCS, USENIX Security, and NDSS.☆70Updated 6 months ago
- Academic Papers about LLM Application on Security☆115Updated 7 months ago
- This repository is used to analysis the shared resources of different containers☆28Updated 2 months ago
- ☆28Updated last month
- Statistics of acceptance rate for the top conferences: Oakland, CCS, USENIX Security, NDSS.☆127Updated 2 months ago
- ☆18Updated 2 years ago
- For our ISSTA'23 paper ACETest: Automated Constraint Extraction for Testing Deep Learning Operators☆10Updated 9 months ago
- Open-source code for RFCNLP paper.☆53Updated 2 years ago
- Teaching and Learning Software Verification via SVF☆33Updated 2 months ago
- ☆27Updated 2 years ago
- ☆11Updated this week
- CAMP: Compiler and Allocator-based Heap Memory Protection (USENIX Security 2024) ✨ Please give a star to https://github.com/cla7aye15I4nd…☆38Updated 6 months ago
- SHERLOC: Secure and Holistic Control-Flow Violation Detection on Embedded Systems☆16Updated 10 months ago
- Protocol state machine learner and fuzzer for DTLS servers and clients☆38Updated this week
- Concurrency Paper☆101Updated last year
- 每日论文推荐☆292Updated 3 years ago
- 软件工程与形式化方法相关前沿工作阅读与分享☆30Updated this week
- Have fun with audit log analysis :)☆147Updated 8 months ago
- FirmSec Dataset☆32Updated 2 years ago
- The source code of project "LLift" (Enhancing static analysis with LLM)☆59Updated 10 months ago
- ☆60Updated 2 years ago
- ☆43Updated last year
- Messaging protocol test tools☆16Updated 3 years ago
- An NLP-based fuzzing assitance tool for generating valid option combinations.☆42Updated 10 months ago
- configuration evolution dataset☆16Updated 3 years ago