Skeleton code for new 6.858 final project --- an encrypted and authenticated file system
☆24Apr 20, 2022Updated 4 years ago
Alternatives and similar repositories for secfs-skeleton
Users that are interested in secfs-skeleton are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆16Nov 9, 2017Updated 8 years ago
- Evaluation code for confidential virtual machines (AMD SEV-SNP / Intel TDX)☆17Mar 12, 2026Updated 4 months ago
- Compiler-based tool that protects Intel SGX applications against controlled-channel attacks☆26May 23, 2017Updated 9 years ago
- ☆16May 20, 2019Updated 7 years ago
- crdts on ipfs☆11Dec 2, 2015Updated 10 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A Beginner's Optimization Guide to RDMA, Based on Verbs and RDMA-CM, for High-Performance Computing and Disaggregated Memory Systems☆15Sep 30, 2024Updated last year
- ☆15Apr 13, 2021Updated 5 years ago
- Providing wrapper types for safely performing panic-free checked arithmetic on instants and durations.☆17Jul 11, 2026Updated last week
- Distributed Systems Reading Group☆20Nov 28, 2017Updated 8 years ago
- An example of on-boarding a PIO block in with duh and wake☆12Nov 18, 2020Updated 5 years ago
- Fuzzing Multiparty Protocols like Pub/Sub Protocols☆19Sep 3, 2021Updated 4 years ago
- Loadable Module for Keystone Enclave☆19Sep 24, 2022Updated 3 years ago
- Cryptographic protocols for Solidity.☆13Aug 6, 2017Updated 8 years ago
- An attempt to formalize unix cat in fiat☆11May 28, 2017Updated 9 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A similarity measurer on two programming assignments on Online Judge.☆10Jan 6, 2023Updated 3 years ago
- Key-value store over twitter user feeds☆13May 12, 2016Updated 10 years ago
- Add commas to a number☆13Sep 13, 2016Updated 9 years ago
- Problem Sets for MIT 6.887 Formal Reasoning About Programs, Spring 2017☆20May 10, 2017Updated 9 years ago
- A MPMC channel based on the two lock queue algorithm☆15Oct 4, 2017Updated 8 years ago
- Automatic performance regression tests for Rust code☆16Jan 27, 2020Updated 6 years ago
- Track your callbacks☆17May 31, 2015Updated 11 years ago
- A library OS for Linux multi-process applications, with Intel TDX support (experimental)☆46Jun 17, 2026Updated last month
- A code confidentiality framework for Intel SGX☆19Jan 8, 2019Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A Z80 CPU implemented in Chisel.☆11Sep 20, 2020Updated 5 years ago
- Simplify interaction between mankind and FirefoxOS during webapps development☆18Oct 17, 2014Updated 11 years ago
- An extendable, interactive command launcher. Inspired by spotlight & flashlight.☆12May 12, 2023Updated 3 years ago
- General information and docs about Crosscloud☆18Oct 30, 2014Updated 11 years ago
- Timer facilities for Tokio based on OS-level primitives.☆14May 7, 2020Updated 6 years ago
- high-speed metrics collection library in Rust☆19May 2, 2019Updated 7 years ago
- MIT 6.824 Lab 2012(C++)☆30Mar 13, 2013Updated 13 years ago
- Integration and automation of NS-3 network simulator and Linux Containers☆12Nov 12, 2019Updated 6 years ago
- Simple bash script for retrieving song lyrics.☆11Apr 19, 2017Updated 9 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Unified modular arceos-hypervisor☆46Apr 8, 2026Updated 3 months ago
- git mirror of upstream bzr at http://launchpad.net/ecryptfs-utils☆21Sep 19, 2020Updated 5 years ago
- Fork of mimallocator that aims to port mimalloc over to rust.☆19Jun 26, 2019Updated 7 years ago
- ☆13Dec 9, 2024Updated last year
- A tool for running concurrent multi-configuration experiments.☆12Jul 10, 2017Updated 9 years ago
- Distributed Lisp interpreter in Erlang.☆11Dec 14, 2016Updated 9 years ago
- 裸金属二进制翻译器的设计和实现☆47Mar 26, 2025Updated last year