Skip to content
@islet-project

The Islet Project

Pinned Loading

  1. islet islet Public

    An on-device confidential computing platform

    Rust 134 33

Repositories

Showing 10 of 27 repositories
  • 3rd-kvmtool Public
    islet-project/3rd-kvmtool’s past year of commit activity
    C 0 GPL-2.0 0 0 0 Updated Feb 10, 2026
  • 3rd-android-kernel Public
    islet-project/3rd-android-kernel’s past year of commit activity
    C 0 0 0 0 Updated Feb 10, 2026
  • ratls Public
    islet-project/ratls’s past year of commit activity
    Rust 0 0 1 0 Updated Feb 9, 2026
  • scope Public

    Code for ASPLOS 2026 paper: "Detecting Inconsistencies in ARM CCA’s Formally Verified Specification"

    islet-project/scope’s past year of commit activity
    Python 5 Apache-2.0 0 0 0 Updated Jan 13, 2026
  • islet Public

    An on-device confidential computing platform

    islet-project/islet’s past year of commit activity
    Rust 134 Apache-2.0 33 20 1 Updated Dec 18, 2025
  • 3rd-linux Public
    islet-project/3rd-linux’s past year of commit activity
    C 0 0 0 0 Updated Dec 3, 2025
  • 3rd-tf-a-tests Public
    islet-project/3rd-tf-a-tests’s past year of commit activity
    C 0 0 0 0 Updated Nov 4, 2025
  • assets Public

    An on-device confidential computing platform

    islet-project/assets’s past year of commit activity
    C++ 7 7 0 0 Updated Oct 9, 2025
  • 3rd-tf-a Public
    islet-project/3rd-tf-a’s past year of commit activity
    C 0 0 0 0 Updated Oct 8, 2025
  • realm-manager Public

    For host daemon and realm daemon with protocol and client crates

    islet-project/realm-manager’s past year of commit activity
    Rust 0 Apache-2.0 0 0 1 Updated Oct 8, 2025
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Most used topics

Loading…