Alternatives and similar repositories for textbook

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

• thufv / CMinor-Verifier
  2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)
  ☆208Updated 2 months ago
• CSStipendRankings / CSStipendRankings
  https://csstipendrankings.org
  ☆207Updated 3 weeks ago
• MATCHA-MIT / SHD-StarterCode
  Student Starter Code for Secure Hardware Design at MIT
  ☆73Updated 11 months ago
• 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.
  ☆88Updated last month
• emeryberger / csconferences
  Major CS conference publication stats (including accepted and submitted) by year.
  ☆124Updated last month
• dddrrreee / cs140e-22win
  class repo for cs140e, stanford winter quarter 2022
  ☆51Updated 3 years ago
• cis547 / cis547vm
  ☆20Updated 3 months ago
• fxlin / os-course
  A fun OS course
  ☆19Updated 4 years ago
• icsnju / MetaMut
  MetaMut is a mutation operator generator to facilitate compiler fuzzing.
  ☆26Updated 4 months ago
• 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"
  ☆18Updated 2 months ago
• HexHive / pubstats
  ☆30Updated last month
• SVF-tools / Teaching-Software-Verification
  Teaching and Learning Software Verification via SVF
  ☆34Updated this week
• Compass-All / CCS22-StrongBox
  ☆31Updated 2 years ago
• jasonyu1996 / elasticlave
  ☆23Updated 2 months ago
• mit6875 / mit6875.github.io
  MIT 6.875
  ☆14Updated last year
• Compass-All / SHELTER
  ☆33Updated last year
• minlanyu / cs145-site
  ☆29Updated last month
• scy-phy / plumber
  Code for the CCS 2022 paper "Microarchitectural Leakage Templates and Their Application to Cache-Based Side Channels".
  ☆14Updated 2 years ago
• tracholar / phd-grind-chn
  Chinese Translation for Philip Guo's The PhD Grind
  ☆79Updated 2 years ago
• casys-kaist / ozz
  OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
  ☆36Updated 8 months ago
• pkuzengqi / how-to-begin-phd-CN
  ☆75Updated 2 years ago
• nus-sys / cs5223-labs
  ☆62Updated 2 years ago
• alinush / 6.858-lecture-notes
  6.858 Computer Systems Security: Lecture notes (edited a little and formatted with Markdown)
  ☆44Updated 7 years ago
• rssys / snowboard
  This repository contains the artifact for the SOSP'21 paper: Sishuai Gong, Deniz Altınbüken, Pedro Fonseca, Petros Maniatis, "Snowboard:…
  ☆25Updated this week
• cispa / CacheWarp
  Proof-of-concept implementation for the paper "CacheWarp: Software-based Fault Injection using Selective State Reset" (USENIX Security 20…
  ☆62Updated 9 months ago
• chao-peng / CLFuzz
  ☆9Updated 4 years ago
• NetSys / cs168_proj_routing_student
  CS168 Project 1: Routing
  ☆14Updated 5 years ago
• wcventure / ConcurrencyPaper
  Concurrency Paper
  ☆106Updated last year
• cla7aye15I4nd / shadowbound
  ShadowBound: Efficient Memory Protection through Advanced Metadata Management and Customized Compiler Optimization (USENIX Security 2024)…
  ☆22Updated 9 months ago
• aspire-project / chisel
  A System for Debloating C/C++ Programs
  ☆31Updated 3 years ago