Alternatives and similar repositories for textbook:

Users that are interested in textbook are comparing it to the libraries listed below

• minlanyu / cs243-site
  ☆63Updated 4 months ago
• thufv / CMinor-Verifier
  2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)
  ☆205Updated last month
• prncoprs / best-papers-in-computer-security
  This repo collects the best papers from top 4 computer security conferences, including IEEE S&P, ACM CCS, USENIX Security, and NDSS.
  ☆82Updated last week
• HexHive / pubstats
  ☆30Updated last week
• icsnju / MetaMut
  MetaMut is a mutation operator generator to facilitate compiler fuzzing.
  ☆26Updated 3 months ago
• mit-frap / spring23
  Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023
  ☆29Updated last year
• dddrrreee / cs140e-22win
  class repo for cs140e, stanford winter quarter 2022
  ☆51Updated 3 years ago
• MATCHA-MIT / SHD-StarterCode
  Student Starter Code for Secure Hardware Design at MIT
  ☆72Updated 10 months ago
• cs161-staff / project2-starter-code
  Skeleton code for CS161 Project 2
  Updated 3 months ago
• USENIX-Security-2025 / conference-format
  ☆19Updated last year
• FPSG-UIUC / Peek-a-Walk
  Proof-of-concept code for the IEEE S&P 2025 paper "Peek-a-Walk: Leaking Secrets via Page Walk Side Channels"
  ☆16Updated 2 months ago
• jasonyu1996 / elasticlave
  ☆23Updated last month
• scy-phy / plumber
  Code for the CCS 2022 paper "Microarchitectural Leakage Templates and Their Application to Cache-Based Side Channels".
  ☆13Updated 2 years ago
• puzhuoliu / Computer-Security-Conference-Acceptance-Rate
  Statistics of acceptance rate for the top conferences: Oakland, CCS, USENIX Security, NDSS.
  ☆143Updated 2 months ago
• Apogee-Research / STAC
  Public release items for the DARPA Space/Time Analysis for Cybersecurity (STAC) program
  ☆27Updated 7 years ago
• barghouthi / cs704
  CS 704 course website - Principles of Programming Languages
  ☆67Updated 2 years ago
• PKU-ASAL / PKUWA
  ☆12Updated 9 months ago
• ConfidentialComputing / GPU-TEE-Papers
  ☆16Updated last year
• cla7aye15I4nd / shadowbound
  ShadowBound: Efficient Memory Protection through Advanced Metadata Management and Customized Compiler Optimization (USENIX Security 2024)…
  ☆22Updated 8 months ago
• efeslab / eecs582
  Course website for Advanced Operating Systems
  ☆13Updated 3 years ago
• mimicji / FlowMatrix
  FLOWMATRIX: GPU-Assisted Information-Flow Analysis through Matrix-Based Representation, USENIX Security'22
  ☆27Updated 2 years ago
• fxlin / os-course
  A fun OS course
  ☆19Updated 4 years ago
• ice1000 / multi-school-sop
  A latex template for writing statement-of-purpose for many schools at the same time
  ☆43Updated last year
• cpeikert / TheoryOfCryptography
  Lecture notes for Chris Peikert's graduate-level Theory of Cryptography course
  ☆167Updated last year
• googleinterns / hw-fuzzing
  ☆80Updated 2 years ago
• emeryberger / csconferences
  Major CS conference publication stats (including accepted and submitted) by year.
  ☆121Updated last week
• dpankratz / TVMFuzz
  TVMFuzz: fuzzing tensor-level intermediate representation in TVM
  ☆28Updated 4 years ago
• minlanyu / cs145-site
  ☆29Updated last week
• DLFrameworkBug / DLFrameworkBugsData
  a data collection of related work: Toward Understanding Deep Learning Framework Bugs
  ☆15Updated last year
• PeterQiu0516 / UMich-Syllabus-Collection
  Collection of course syllabus and websites (mainly EECS) @ Umich
  ☆26Updated 2 years ago