6.858 Computer Systems Security: Lecture notes (edited a little and formatted with Markdown)
☆49Feb 26, 2018Updated 8 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Parses https://eprint.iacr.org/eprint-bin/search.pl?last=365&title=1 and sends you an email with the latest papers☆15Nov 11, 2020Updated 5 years ago
- 6.824 Distributed Systems: Lecture notes (edited a little and formatted with Markdown)☆227Jun 3, 2018Updated 8 years ago
- ☆28Jan 12, 2026Updated 8 months ago
- ☆10Aug 14, 2020Updated 6 years ago
- A Rust user-space file system [WIP]☆29Jul 30, 2021Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Modified musl libc for SGX-LKL☆13Sep 28, 2020Updated 6 years ago
- Sparse MerkleTree implementation in Rust☆19Oct 16, 2019Updated 6 years ago
- LLM checkpointing for DeepSpeed/Megatron☆27Nov 30, 2025Updated 10 months ago
- Code from CS152 lectures☆14Apr 13, 2026Updated 5 months ago
- Constant interval market maker bot☆18Dec 1, 2018Updated 7 years ago
- A proof-of-concept for stateless Bitcoin nodes.☆30Apr 18, 2019Updated 7 years ago
- trigger io::Error's in test, and annotate their source☆31Aug 5, 2023Updated 3 years ago
- 【王主任】疫情之下的劳动者--中文媒体报道收集☆15Apr 29, 2020Updated 6 years ago
- The bare necessities of Pandas on the Weld runtime☆14Dec 26, 2022Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- An instantiation of the Poseidon hash for use with decaf377☆29Mar 6, 2025Updated last year
- ☆14Feb 22, 2018Updated 8 years ago
- gdb cheat sheet☆25Dec 22, 2020Updated 5 years ago
- Simple intermediate representation language for learning and research.☆22Mar 27, 2020Updated 6 years ago
- A Computer Vision model that detects guns using YOLOv8☆10May 11, 2023Updated 3 years ago
- [DEPRECATED] The host interface for go-libp2p; use https://github.com/libp2p/go-libp2p-core/ instead.☆19May 24, 2019Updated 7 years ago
- Benchmarks for crypto libraries (in Rust, or with Rust bindings)☆68Mar 8, 2020Updated 6 years ago
- ☆10Nov 22, 2020Updated 5 years ago
- Atonomi Device SDK for validating devices on the Atonomi Network☆11Feb 19, 2021Updated 5 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Excalibur☆23Nov 24, 2016Updated 9 years ago
- Source code for Speedlight, a system for Synchronized Network Snapshots☆10Aug 21, 2020Updated 6 years ago
- two jupyter notebooks showing what could go wrong with nonces☆13Jan 4, 2019Updated 7 years ago
- A mirror of https://bitbucket.org/ajaustin/hemem/src/sosp-submission/☆29May 3, 2023Updated 3 years ago
- Calculate the delta between local clock and NTP time, via multiple requests to various servers in the server pool☆12Sep 7, 2017Updated 9 years ago
- Parse SQL queries for network performance monitoring☆12Jul 20, 2018Updated 8 years ago
- non local net based on caffe2☆11Nov 20, 2022Updated 3 years ago
- Speed up secp256k1 with endomorphism☆15Dec 7, 2022Updated 3 years ago
- ☆26Feb 7, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Utility for Snapshotting UTXOs☆11Jan 21, 2022Updated 4 years ago
- ☆12May 22, 2023Updated 3 years ago
- Sources and examples for ASPLOS20 paper☆14Jul 21, 2020Updated 6 years ago
- Learn how FROST works by implementing it!☆11Nov 8, 2023Updated 2 years ago
- ☆15Sep 15, 2016Updated 10 years ago
- A small tool to help check NAT issues☆12Dec 4, 2018Updated 7 years ago
- Automated benchmarking and testing of Post-Quantum Public Key Algoritms (work in progress)☆12Jul 27, 2018Updated 8 years ago