cs161-staff / textbook
Online textbook for CS 161: Computer Security at UC Berkeley.
☆68Updated this week
Related projects ⓘ
Alternatives and complementary repositories for textbook
- Major CS conference publication stats (including accepted and submitted) by year.☆112Updated 2 months ago
- 2022 年春季学期清华大学《软件分析与验证》课程实验平台☆200Updated 2 years ago
- https://csstipendrankings.org☆197Updated last month
- ☆57Updated 2 weeks ago
- MetaMut is a mutation operator generator to facilitate compiler fuzzing.☆21Updated 3 months ago
- A fun OS course☆19Updated 3 years ago
- Teaching and Learning Software Verification via SVF☆32Updated last month
- "How to Do Great Research" Course for Ph.D. Students☆108Updated last year
- ☆75Updated 2 years ago
- Source code for "BenchPress: A Deep Active Benchmark Generator", PACT 2022☆21Updated last year
- The MOSAIC Operating Systems Model and Checker☆162Updated last year
- ☆51Updated 6 months ago
- Distributed Graph Filesystem☆9Updated 3 years ago
- ☆17Updated 2 years ago
- ☆9Updated 4 years ago
- Student Starter Code for Secure Hardware Design at MIT☆33Updated 5 months ago
- AutoCAT: Reinforcement Learning for Automated Exploration of Cache-Timing Attacks☆43Updated last year
- CSCD70 Compiler Optimization☆245Updated last year
- Course Website for OS 2020 Fall at Fudan University☆21Updated 3 years ago
- ☆21Updated last year
- A group of students who are interested in Compilers, and they want to improve themselves together.☆26Updated 2 years ago
- ☆30Updated 2 years ago
- A JIT Compiler Fuzzer for JVMs via CSE/JoNM in "Validating JIT Compilers via Compilation Space Exploration" (SOSP'23)☆49Updated last year
- Course website for Advanced Operating Systems☆12Updated 2 years ago
- ☆35Updated 5 years ago
- outline and links for PLDI 2022 tutorial☆17Updated 2 years ago
- TVMFuzz: fuzzing tensor-level intermediate representation in TVM☆29Updated 4 years ago
- 面向可信执行环境的OS。☆12Updated 2 years ago
- Utilities for constructing a large dataset of LLVM IR☆15Updated 3 months ago
- ☆27Updated 2 years ago