alinush / 6.858-lecture-notesLinks
6.858 Computer Systems Security: Lecture notes (edited a little and formatted with Markdown)
☆45Updated 7 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
Sorting:
- paper collections in database/distributed system/operating system/crypto/arch/security&privacy☆82Updated 3 years ago
- Crash Consistency Checker☆11Updated 8 years ago
- ☆51Updated last year
- 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 3 years ago
- 基于Rust和eBPF实现RDMA内核模块、驱动☆20Updated 3 years ago
- Fast and efficient file system metadata through LSM-tree☆29Updated 2 years ago
- Yizhou' Homepage☆47Updated last week
- Trusted in-memory key-value store based on ShieldStore which is published in EuroSys 2019☆37Updated 2 years ago
- Code of the paper "Building an Efficient Key-Value Store in a Flexible Address Space", EuroSys '22☆21Updated 2 months ago
- A website providing info for self-learners who want to explore the world of operating systems. The website template is from https://githu…☆51Updated 3 years ago
- CSE535 Asynchronous (Distributed) Systems 2019 Spring☆28Updated 6 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 4 years ago
- website for systems seminar at UIUC☆19Updated 3 weeks ago
- ☆14Updated 7 years ago
- ☆12Updated last year
- 研究生课程 CSDI 课堂笔记☆8Updated 8 years ago
- ExitLess services for SGX enclaves☆33Updated 5 years ago
- CS 5830: Cryptography☆15Updated 8 years ago
- ☆28Updated 5 years ago
- Lab assignments for 6.826☆11Updated 5 years ago
- The implementation of the 'vSGX: Virtualizing SGX Enclaves on AMD SEV' paper☆54Updated last year
- Transparent Paxos☆44Updated 6 years ago
- Revealing the Unstable Foundations of eBPF-Based Kernel Extensions☆12Updated 2 weeks ago
- ☆19Updated 4 months ago
- The Optimistic File System (OptFS) is a Linux ext4 variant that implements Optimistic Crash Consistency, a new approach to crash consiste…☆34Updated 11 years ago
- EN.601.741: Advanced Topics in Secure and Censorship-Resistant Communications☆15Updated 4 years ago
- Course web page generator framework☆28Updated 12 years ago
- Mu: Microsecond Consensus for Microsecond Applications☆39Updated 4 years ago
- Tor anonymity network for SGX☆46Updated 6 years ago