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:
- A minimal bootstrap scheme for fast boot of serverless microVMs with AMD Secure Encrypted Virtualization (SEV)☆15Feb 7, 2024Updated 2 years ago
- Evaluation code for confidential virtual machines (AMD SEV-SNP / Intel TDX)☆17Mar 12, 2026Updated 7 months ago
- EDK2 / OVMF related projects☆10Mar 19, 2025Updated last year
- ☆16Nov 9, 2017Updated 8 years ago
- Compiler-based tool that protects Intel SGX applications against controlled-channel attacks☆26May 23, 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.
- ☆16May 20, 2019Updated 7 years ago
- Experiments and course for oscamp.☆12May 5, 2025Updated last year
- crdts on ipfs☆11Dec 2, 2015Updated 10 years ago
- Secondary index on HBase☆18Oct 24, 2015Updated 11 years ago
- An example of on-boarding a PIO block in with duh and wake☆12Nov 18, 2020Updated 5 years ago
- An attempt to formalize unix cat in fiat☆11May 28, 2017Updated 9 years ago
- A pool of workers operating on a single set of mio connections☆11Dec 4, 2018Updated 7 years ago
- Providing wrapper types for safely performing panic-free checked arithmetic on instants and durations.☆17Oct 9, 2026Updated 3 weeks ago
- A .NET wrapper for the GNU MPFR C library☆15Nov 1, 2019Updated 7 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Problem Sets for MIT 6.887 Formal Reasoning About Programs, Spring 2017☆20May 10, 2017Updated 9 years ago
- The GNU Radio 4.0 Runtime Proof Of Concept☆22Jul 19, 2022Updated 4 years ago
- Boulder's archived fork of Square's go-jose library. Not used anymore. See go-jose/go-jose instead.☆12Nov 20, 2015Updated 10 years ago
- iOS devicetree utils☆12Aug 31, 2023Updated 3 years ago
- A code confidentiality framework for Intel SGX☆20Jan 8, 2019Updated 7 years ago
- Ranked Choice Instant Runoff library written in Rust☆13Mar 26, 2019Updated 7 years ago
- Modeling I/O in Coq using free monads☆10Jul 27, 2018Updated 8 years ago
- Online Visualizer for xv6 File System Image☆40May 21, 2020Updated 6 years ago
- Unified modular arceos-hypervisor☆47Apr 8, 2026Updated 6 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- An extendable, interactive command launcher. Inspired by spotlight & flashlight.☆12May 12, 2023Updated 3 years ago
- VM framework using LLVM by Nicolas Geoffray, including a functional JVM. 'master' tracks official SVN, other branches are my own develop…☆10Feb 5, 2012Updated 14 years ago
- ☆35May 27, 2020Updated 6 years ago
- A Z80 CPU implemented in Chisel.☆11Sep 20, 2020Updated 6 years ago
- Simple GUI for unlocking cryptsetup volumes☆13Jul 15, 2018Updated 8 years ago
- Cyclone Jet Rocket is a DDoS tool for System Security Technology course☆11Jun 5, 2017Updated 9 years ago
- 欢迎来到本仓库！这个仓库旨在为准备考研的同学们提供数学一、英语一以及408专业课的学习资源和复习资料。无论你是刚开始复习还是即将迎接考试，这里都有你需要的知识和工具。 内容概述 数学一 资料包括：历年真题、模拟题、复习笔记、公式总结等。 目标：帮助同学们系统地复习数学一的…☆13Aug 1, 2024Updated 2 years ago
- Metadata regarding Let's Encrypt's Certificate Transparency Logs☆11Sep 10, 2026Updated last month
- MIT 6.824 Lab 2012(C++)☆29Mar 13, 2013Updated 13 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Intel compiler for ArchLinux☆11Oct 28, 2015Updated 11 years ago
- T-Mobile Zephyr OS is a fork of zephyrproject-rtos/zephyr that is shipped on the DevKit and used for contributing upstream.☆14Nov 15, 2023Updated 2 years ago
- Integration and automation of NS-3 network simulator and Linux Containers☆12Nov 12, 2019Updated 6 years ago
- Knowledge of classical mechanics, written in haskell.☆14Feb 11, 2013Updated 13 years ago
- Automatic performance regression tests for Rust code☆16Jan 27, 2020Updated 6 years ago
- Intro to Java MIT IAP class☆10Jan 13, 2016Updated 10 years ago
- a security tool checking the portable executable (PE) files in windows☆12Oct 7, 2018Updated 8 years ago