li-xin-yi / seedlab

Related projects ⓘ

Alternatives and complementary repositories for seedlab

• kevin-w-du / BookCode
  Source code for my books
  ☆154Updated last year
• MeghaJakhotia / ComputerSecurityAttacks
  Contains SEED Labs solutions from Computer Security course by Kevin Du.
  ☆103Updated 4 years ago
• seed-labs / seedlabs-chinese
  Chinese translation of the SEED Labs
  ☆47Updated last month
• StanPlatinum / Deflection
  Derived from CAT-SGX and elf-respect: Practical and Efficient in-Enclave Verification of Privacy Compliance
  ☆41Updated 2 years ago
• seed-labs / seed-labs
  SEED Labs developed in the last 20 years.
  ☆769Updated 2 months ago
• shijy16 / ACETest
  For our ISSTA'23 paper ACETest: Automated Constraint Extraction for Testing Deep Learning Operators
  ☆9Updated 7 months ago
• SJTU-SCS / awesome-ncsisc
  全国大学生信息安全竞赛作品收集
  ☆63Updated 6 years ago
• LaPhilosophie / seedlab
  seed security labs 总结与记录
  ☆30Updated last year
• ZJU-SEC / AbstractResourceAttack
  This repository is used to analysis the shared resources of different containers
  ☆28Updated last month
• ZJU-SEC / Readings
  ☆58Updated 2 years ago
• mit-ll / Cross-Language-Attacks
  ☆27Updated 2 years ago
• NSKernel / Kernel-Play-Guide
  A usage-guided Linux Kernel manual
  ☆9Updated 3 years ago
• HexHive / pubstats
  ☆27Updated 2 months ago
• xlab-uiuc / cflow
  Flow-based configuration analysis
  ☆9Updated 3 years ago
• thufv / CMinor-Verifier
  2022 年春季学期清华大学《软件分析与验证》课程实验平台
  ☆200Updated 2 years ago
• seed-labs / seed-emulator
  A Python framework for creating emulation of the Internet.
  ☆209Updated this week
• ya0guang / PoBF
  Proof of Being Fogotten (PoBF) and PoBF-Compliant Framework (PoCF) prototypes.
  ☆19Updated last year
• cs161-staff / textbook
  Online textbook for CS 161: Computer Security at UC Berkeley.
  ☆68Updated this week
• SJTU-SCS / awesome-scs
  上海交通大学网安学院本科编程作业参考
  ☆203Updated 8 months ago
• GoSSIP-SJTU / dailyPaper
  每日论文推荐
  ☆292Updated 3 years ago
• CactiLab / Sherloc-Cortex-M-CFVD
  SHERLOC: Secure and Holistic Control-Flow Violation Detection on Embedded Systems
  ☆16Updated 9 months ago
• SVF-tools / Teaching-Software-Verification
  Teaching and Learning Software Verification via SVF
  ☆32Updated last month
• MeghaJakhotia / InternetSecurityAttacks
  Contains SEED Labs solutions from Internet Security course by Kevin Du.
  ☆40Updated 4 years ago
• puzhuoliu / Computer-Security-Conference-Acceptance-Rate
  Statistics of acceptance rate for the top conferences: Oakland, CCS, USENIX Security, NDSS.
  ☆117Updated 3 weeks ago
• glarer / UserspaceBypass
  ☆51Updated 6 months ago
• RiS3-Lab / OAT-Project
  Prototype system for the paper "OAT: Attesting Operation Integrity of Embedded Devices"(Oakland'20)
  ☆13Updated 4 years ago
• tum-i4 / attack-graph-generator
  ☆30Updated 3 years ago
• CGCL-codes / MavenEcoSysResearch
  ☆43Updated last year
• OSH-2020 / OSH-2020.github.io
  课程主页
  ☆31Updated 4 years ago