Skip to content
Change the repository type filter

All

    Repositories list

    • Repository for third party scripts and other contributions related to Graphene
      1001Updated Jul 2, 2024Jul 2, 2024
    • betrfs

      Public
      C++
      GNU General Public License v2.0
      2827960Updated Jun 9, 2024Jun 9, 2024
    • HUGO theme for the oscar lab wesbite
      HTML
      MIT License
      1100Updated Jul 11, 2023Jul 11, 2023
    • C
      31400Updated Mar 8, 2023Mar 8, 2023
    • Shell
      GNU General Public License v3.0
      0100Updated Mar 10, 2022Mar 10, 2022
    • sinter

      Public
      Accessible Remote Desktop Protocol
      Objective-C
      Other
      2304Updated Jan 29, 2021Jan 29, 2021
    • graphene-sgx-driver

      Public archive
      Linux kernel SGX driver for Graphene
      C
      GNU General Public License v3.0
      171140Updated Nov 3, 2020Nov 3, 2020
    • VeriBetrKV OSDI'20 artifact
      Dafny
      1000Updated Sep 5, 2020Sep 5, 2020
    • Intel SGX Linux* Driver
      C
      Other
      177001Updated Aug 24, 2020Aug 24, 2020
    • graphene-tests

      Public archive
      Curated Apps and Unit tests for Graphene
      C
      16604Updated Mar 30, 2020Mar 30, 2020
    • Plugins for the Graphene Library OS
      0101Updated Jan 21, 2020Jan 21, 2020
    • Java
      Apache License 2.0
      0000Updated Aug 2, 2019Aug 2, 2019
    • Python
      GNU General Public License v2.0
      0000Updated Aug 2, 2019Aug 2, 2019
    • Website displaying instruction occurrence data.
      HTML
      Apache License 2.0
      0100Updated Jun 2, 2019Jun 2, 2019
    • Be-Tree

      Public
      A simple, reference implementation of a B^e-tree
      C++
      BSD 2-Clause "Simplified" License
      4714300Updated Mar 25, 2019Mar 25, 2019
    • Slightly modified version of lmbench 2.5, primarily for testing Graphene.
      C
      GNU General Public License v2.0
      2100Updated Feb 19, 2019Feb 19, 2019
    • Website built for Instruction Popularity.
      Python
      0000Updated Dec 29, 2018Dec 29, 2018
    • Framework to analyze instruction footprints among Ubuntu APT packages
      Python
      1410Updated Dec 9, 2018Dec 9, 2018
    • protego

      Public
      Protego: patch for Linux kernel to obviate setuid-to-root binaries
      C
      3600Updated Jul 6, 2018Jul 6, 2018
    • 3000Updated Mar 20, 2018Mar 20, 2018
    • hoss

      Public
      Pedagogical Hypervisor, based on MIT JOS
      C
      186610Updated Mar 14, 2018Mar 14, 2018
    • Test input files for gcc on Graphene.
      C
      1000Updated Dec 10, 2017Dec 10, 2017
    • Helpful scripts for running experiments
      Shell
      2000Updated Nov 30, 2017Nov 30, 2017
    • Framework for creating simple, efficient, and composable lock-free data structures
      C++
      GNU General Public License v3.0
      11200Updated May 7, 2016May 7, 2016
    • dcache

      Public
      C
      41310Updated Oct 5, 2015Oct 5, 2015