alinush / 6.858-lecture-notes
6.858 Computer Systems Security: Lecture notes (edited a little and formatted with Markdown)
☆44Updated 6 years ago
Alternatives and similar repositories for 6.858-lecture-notes:
Users that are interested in 6.858-lecture-notes are comparing it to the libraries listed below
- paper collections in database/distributed system/operating system/crypto/arch/security&privacy☆81Updated 3 years ago
- ☆10Updated 5 years ago
- A website providing info for self-learners who want to explore the world of operating systems. The website template is from https://githu…☆50Updated 3 years ago
- Path Oblivious Heap C++ Reference Implementation☆22Updated 5 years ago
- Skeleton code for new 6.858 final project --- an encrypted and authenticated file system☆23Updated 2 years ago
- 6.824 Distributed Systems: Lecture notes (edited a little and formatted with Markdown)☆190Updated 6 years ago
- Yet Another AsYnc runtime for RuSt.☆34Updated 4 years ago
- 基于Rust和eBPF实现RDMA内核模块、驱动☆20Updated 2 years ago
- Transparent Paxos☆43Updated 5 years ago
- ☆50Updated 10 months ago
- CS 5830: Cryptography☆15Updated 7 years ago
- Course web page generator framework☆28Updated 12 years ago
- website for systems seminar at UIUC☆17Updated this week
- The Optimistic File System (OptFS) is a Linux ext4 variant that implements Optimistic Crash Consistency, a new approach to crash consiste…☆33Updated 11 years ago
- OS教学实验：用Rust&C实现各种历史上的经典OS Kernels的实例☆48Updated 2 years ago
- TLA+ specification for the Raft consensus algorithm☆18Updated 8 years ago
- the ucore os protal☆39Updated 12 years ago
- Fast and efficient file system metadata through LSM-tree☆29Updated 2 years ago
- ☆14Updated 7 years ago
- Crash Consistency Checker☆11Updated 8 years ago
- Lab assignments for 6.826☆10Updated 5 years ago
- ☆13Updated last year
- A Postgres Extension to Manage Extensions! (As well as some random stuff)☆14Updated last year
- The implementation of the 'vSGX: Virtualizing SGX Enclaves on AMD SEV' paper☆51Updated last year
- Artifacts for the paper "KSplit: Automating Device Driver Isolation"☆11Updated 2 years ago
- Minimal C++ asynchronous network library for distributed systems.☆36Updated 3 years ago
- Java Skeleton Code for 6.035☆8Updated 3 years ago
- LLVM DSA fork for SeaHorn☆21Updated 5 years ago
- PLCT实验室2020年开放日活动的演讲资料☆13Updated 4 years ago
- The code base for the I4 prototype, as described in the SOSP '19 paper "I4: Incremental Inference of Inductive Invariants for Verificatio…☆26Updated 3 years ago