cs161-staff / textbook
Online textbook for CS 161: Computer Security at UC Berkeley.
☆74Updated 3 months ago
Alternatives and similar repositories for textbook:
Users that are interested in textbook are comparing it to the libraries listed below
- class repo for cs140e, stanford winter quarter 2022☆51Updated 3 years ago
- This repo collects the best papers from top 4 computer security conferences, including IEEE S&P, ACM CCS, USENIX Security, and NDSS.☆77Updated 8 months ago
- Student Starter Code for Secure Hardware Design at MIT☆43Updated 9 months ago
- a data collection of related work: Toward Understanding Deep Learning Framework Bugs☆15Updated last year
- Major CS conference publication stats (including accepted and submitted) by year.☆119Updated 3 months ago
- ☆40Updated last month
- Challenge Problem #1 - Linux Kernel (NOTE: This code does not reflect the active state of what will be used at competition time, please r…☆53Updated 11 months ago
- ☆30Updated 3 months ago
- Statistics of acceptance rate for the top conferences: Oakland, CCS, USENIX Security, NDSS.☆136Updated last month
- Recommended coding standard of Verilog and SystemVerilog.☆34Updated 3 years ago
- 2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)☆204Updated 2 weeks ago
- ☆62Updated 3 months ago
- TVMFuzz: fuzzing tensor-level intermediate representation in TVM☆28Updated 4 years ago
- MetaMut is a mutation operator generator to facilitate compiler fuzzing.☆26Updated 3 months ago
- OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering☆24Updated 6 months ago
- MIT 6.875☆14Updated last year
- ☆29Updated 2 weeks ago
- https://csstipendrankings.org☆204Updated last month
- ComPy-Learn is a framework for exploring program representations for ML4CODE tasks.☆23Updated last year
- Lab assignments for 6.826☆13Updated 4 years ago
- This is the project repository of our ESEC/FSE 2021 paper: A Comprehensive Study of Deep Learning Compiler Bugs.☆23Updated last year
- A fun OS course☆19Updated 4 years ago
- FLOWMATRIX: GPU-Assisted Information-Flow Analysis through Matrix-Based Representation, USENIX Security'22☆27Updated last year
- Linux kernel labs☆56Updated 3 years ago
- Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.☆70Updated 2 years ago
- TikTag: Breaking ARM's Memory Tagging Extension with Speculative Execution (IEEE S&P 2025)☆63Updated 4 months ago
- 6.858 Computer Systems Security: Lecture notes (edited a little and formatted with Markdown)☆44Updated 7 years ago
- CS 704 course website - Principles of Programming Languages☆67Updated 2 years ago
- The user library, public☆10Updated last year
- A Large-Scale Automated Program Repair Benchmark of Real-World LLVM Middle-End Bugs☆10Updated last week