mit-pdos/secfs-skeleton external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

mit-pdos/secfs-skeleton

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/mit-pdos/secfs-skeleton)

Close

mit-pdos / secfs-skeletonView on GitHubMore

• External links
• Readme badge

Skeleton code for new 6.858 final project --- an encrypted and authenticated file system

☆24Apr 20, 2022Updated 3 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.

• SEVeriFast / severifast

  View on GitHub
  A minimal bootstrap scheme for fast boot of serverless microVMs with AMD Secure Encrypted Virtualization (SEV)
  ☆15Feb 7, 2024Updated 2 years ago
• sslab-gatech / t-sgx

  View on GitHub
  Compiler-based tool that protects Intel SGX applications against controlled-channel attacks
  ☆26May 23, 2017Updated 8 years ago
• sancus-tee / tutorial-dsn18

  View on GitHub
  Building Distributed Enclave Applications with Sancus and SGX
  ☆16Dec 9, 2020Updated 5 years ago
• canalcache / canal

  View on GitHub
  ☆16May 20, 2019Updated 6 years ago
• stonecoldpat / localcrypto

  View on GitHub
  Cryptographic protocols for Solidity.
  ☆13Aug 6, 2017Updated 8 years ago
• hackergrrl / twitter-kv

  View on GitHub
  Key-value store over twitter user feeds
  ☆13May 12, 2016Updated 9 years ago
• isec-tugraz / Donky

  View on GitHub
  ☆15Apr 13, 2021Updated 4 years ago
• cappslock / add-commas

  View on GitHub
  Add commas to a number
  ☆13Sep 13, 2016Updated 9 years ago
• arceos-org / oscamp

  View on GitHub
  Experiments and course for oscamp.
  ☆13May 5, 2025Updated 10 months ago
• taiki-e / easytime

  View on GitHub
  Providing wrapper types for safely performing panic-free checked arithmetic on instants and durations.
  ☆17Mar 12, 2026Updated last week
• tristartom / key-value-store-indexing

  View on GitHub
  Secondary index on HBase
  ☆18Oct 24, 2015Updated 10 years ago
• sole / the-p2p-web

  View on GitHub
  sole's researching stuff
  ☆11May 18, 2015Updated 10 years ago
• keystone-enclave / linux-keystone-driver

  View on GitHub
  Loadable Module for Keystone Enclave
  ☆19Sep 24, 2022Updated 3 years ago
• marcbachmann / limelight

  View on GitHub
  An extendable, interactive command launcher. Inspired by spotlight & flashlight.
  ☆12May 12, 2023Updated 2 years ago
• microsoft / apex_plus

  View on GitHub
  APEX+ is an LLM Serving Simulator
  ☆44Jun 16, 2025Updated 9 months ago
• KpwnZ / dt_utils

  View on GitHub
  iOS devicetree utils
  ☆11Aug 31, 2023Updated 2 years ago
• carllerche / two-lock-queue

  View on GitHub
  A MPMC channel based on the two lock queue algorithm
  ☆15Oct 4, 2017Updated 8 years ago
• emphasis87 / mpfr.NET

  View on GitHub
  A .NET wrapper for the GNU MPFR C library
  ☆15Nov 1, 2019Updated 6 years ago
• ms705 / taster

  View on GitHub
  Automatic performance regression tests for Rust code
  ☆16Jan 27, 2020Updated 6 years ago
• utds3lab / sgxelide

  View on GitHub
  A code confidentiality framework for Intel SGX
  ☆19Jan 8, 2019Updated 7 years ago
• joehand / web-to-dat

  View on GitHub
  Clone a website and share with dat (currently outdated).
  ☆12Jul 20, 2016Updated 9 years ago
• arceos-hypervisor / axvisor

  View on GitHub
  Unified modular arceos-hypervisor
  ☆39Updated this week
• jonhoo / tokio-os-timer

  View on GitHub
  Timer facilities for Tokio based on OS-level primitives.
  ☆14May 7, 2020Updated 5 years ago
• nuclearfurnace / hotmic

  View on GitHub
  high-speed metrics collection library in Rust
  ☆19May 2, 2019Updated 6 years ago
• gnuradio / newsched

  View on GitHub
  The GNU Radio 4.0 Runtime Proof Of Concept
  ☆23Jul 19, 2022Updated 3 years ago
• dustinkirkland / ecryptfs-utils

  View on GitHub
  git mirror of upstream bzr at http://launchpad.net/ecryptfs-utils
  ☆21Sep 19, 2020Updated 5 years ago
• nerdishbynature / OpenSSL

  View on GitHub
  iOS dynamic framework of OpenSSL
  ☆10Mar 9, 2016Updated 10 years ago
• uwsampl / paper-agents

  View on GitHub
  ☆13Dec 9, 2024Updated last year
• mcollina / reaching-ludicrous-speed

  View on GitHub
  My Node.js Interactive 2015 presentation
  ☆11May 11, 2016Updated 9 years ago
• jonhoo / songtext

  View on GitHub
  Simple bash script for retrieving song lyrics.
  ☆11Apr 19, 2017Updated 8 years ago
• zTrix / 6.824_labs

  View on GitHub
  MIT 6.824 Lab 2012(C++)
  ☆30Mar 13, 2013Updated 13 years ago
• jonhoo / tally

  View on GitHub
  time's prettier cousin
  ☆16Dec 4, 2018Updated 7 years ago
• delvedor / LightFirewall

  View on GitHub
  Lightweight firewall built for NodeJs.
  ☆17Apr 12, 2016Updated 9 years ago
• ShawnZhong / xv6-file-system-visualizer

  View on GitHub
  Online Visualizer for xv6 File System Image
  ☆40May 21, 2020Updated 5 years ago
• SNPGuard / snp-guard

  View on GitHub
  Open Source Implemenation of Secure SEV-SNP bootup workflow
  ☆26Nov 3, 2024Updated last year
• zaphoyd / ws-pmce-stats

  View on GitHub
  WebSocket Per-Message Compress Extension statistics calculator
  ☆13Oct 15, 2013Updated 12 years ago
• Martins3 / Bare-Metal-Binary-Translator

  View on GitHub
  裸金属二进制翻译器的设计和实现
  ☆47Mar 26, 2025Updated 11 months ago
• jonhoo / experiment

  View on GitHub
  A tool for running concurrent multi-configuration experiments.
  ☆12Jul 10, 2017Updated 8 years ago
• rusch95 / mimalloc-rs

  View on GitHub
  Fork of mimallocator that aims to port mimalloc over to rust.
  ☆17Jun 26, 2019Updated 6 years ago