alinush / 6.858-lecture-notesLinks
6.858 Computer Systems Security: Lecture notes (edited a little and formatted with Markdown)
☆46Updated 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 9 years ago
- CS 5830: Cryptography☆15Updated 8 years ago
- ☆51Updated last year
- 6.824 Distributed Systems: Lecture notes (edited a little and formatted with Markdown)☆201Updated 7 years ago
- CSE535 Asynchronous (Distributed) Systems 2019 Spring☆28Updated 6 years ago
- Path Oblivious Heap C++ Reference Implementation☆22Updated 5 years ago
- The Optimistic File System (OptFS) is a Linux ext4 variant that implements Optimistic Crash Consistency, a new approach to crash consiste…☆35Updated 11 years ago
- Transparent Paxos☆44Updated 6 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…☆51Updated 4 years ago
- EN.601.741: Advanced Topics in Secure and Censorship-Resistant Communications☆15Updated 4 years ago
- Rust implementation of the Prism consensus protocol☆102Updated 2 years ago
- Yizhou' Homepage☆48Updated this week
- MAGE: Memory-Aware Garbling Engine☆26Updated last year
- Skeleton code for new 6.858 final project --- an encrypted and authenticated file system☆23Updated 3 years ago
- ☆14Updated 8 years ago
- An Oblivious General-Purpose SQL Database for the Cloud☆57Updated 5 years ago
- Lab assignments for 6.826☆11Updated 5 years ago
- ☆30Updated 3 years ago
- An RDMA-powered, fast, and scalable Paxos protocol☆25Updated 6 years ago
- 一起搞个大新闻 :)☆74Updated 9 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
- CMake file for using Intel SGX on Linux☆52Updated 3 years ago
- Pompe implementation based on HotStuff☆16Updated 4 years ago
- Computer Networks @ Johns Hopkins University☆63Updated 4 years ago
- Minimal C++ asynchronous network library for distributed systems.☆36Updated 4 years ago
- Personal reading list/reference re: TLA+☆89Updated 7 years ago
- A page on the recent research on scaling Blockchains. Systems research papers aiming at scaling Blockchains are summarized.☆17Updated 5 years ago
- Teechain: A Secure Payment Network with Asynchronous Blockchain Access☆53Updated 5 years ago
- algebra arithmetic, finite fields, elliptic curves, zero-knowledge☆70Updated 5 years ago