oscomp/proj47-tee-os 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

oscomp/proj47-tee-os

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/oscomp/proj47-tee-os)

Close

oscomp / proj47-tee-osView on GitHubMore

• External links
• Readme badge

面向可信执行环境的OS。

☆12May 9, 2025Updated 9 months ago

Alternatives and similar repositories for proj47-tee-os

Users that are interested in proj47-tee-os are comparing it to the libraries listed below

• CircuitCoder / ChannelOS

  View on GitHub
  What if everything is a io_uring?
  ☆17Nov 10, 2022Updated 3 years ago
• datenlord / etcd-client

  View on GitHub
  ☆15Jul 18, 2023Updated 2 years ago
• csail-csg / parsec

  View on GitHub
  ☆11Nov 13, 2020Updated 5 years ago
• iamywang / bp-security-framework

  View on GitHub
  Research Artifact for HPCA'24 Paper: *Modeling, Derivation, and Automated Analysis of Branch Predictor Security Vulnerabilities*.
  ☆11Oct 30, 2025Updated 4 months ago
• BillYang2016 / CQU-class2ics

  View on GitHub
  重庆大学课程表导出工具，适用于新教务网
  ☆11Sep 30, 2022Updated 3 years ago
• Hagb / cqu-duodian-curl

  View on GitHub
  (b)ash script using curl for duodian Internet login in Chongqing University
  ☆12Mar 27, 2022Updated 3 years ago
• Sen-Deng / CipherH

  View on GitHub
  CIPHERH: Automated Detection of Ciphertext Side-channel Vulnerabilities in Cryptographic Implementations
  ☆13Dec 17, 2023Updated 2 years ago
• PKU-ASAL / PKUWA

  View on GitHub
  ☆13Aug 18, 2025Updated 6 months ago
• chinchilla222 / nezha-d1

  View on GitHub
  build mainline SBI and Linux for allwinner D1 nezha board
  ☆10Jun 30, 2021Updated 4 years ago
• sslab-gatech / SNAP

  View on GitHub
  ☆14Dec 30, 2021Updated 4 years ago
• cnrv / OSEDA

  View on GitHub
  Open-Source EDA workshop for RISC-V community
  ☆12Jul 27, 2022Updated 3 years ago
• comparch-security / cache-model

  View on GitHub
  A behavioural cache model for analysing the cache behaviour under side-channel attack.
  ☆28Jun 25, 2025Updated 8 months ago
• utds3lab / sgx-nbench

  View on GitHub
  The nbench benchmark ported to SGX.
  ☆14Aug 4, 2019Updated 6 years ago
• twd2 / roload

  View on GitHub
  My DAC '21 work open-sourced.
  ☆14Feb 25, 2021Updated 5 years ago
• efeslab / moesi-prime

  View on GitHub
  ☆15Dec 15, 2022Updated 3 years ago
• Oyami-Srk / RISCV-GDB-Paging

  View on GitHub
  Paging Debug tool for GDB using python
  ☆13Jun 4, 2022Updated 3 years ago
• asterinas / mlsdisk

  View on GitHub
  Multilayered, Log-structured Secure Disk (MlsDisk) protects the disk I/O for TEEs
  ☆20Jul 4, 2024Updated last year
• swarupchandra / secure-analytics-sgx

  View on GitHub
  Securing Data Analytics on Intel SGX using Randomization
  ☆13Aug 30, 2017Updated 8 years ago
• chipsalliance / rocket-chip-fpga-shells

  View on GitHub
  Wrapper shells enabling designs generated by rocket-chip to map onto certain FPGA boards
  ☆20Nov 27, 2024Updated last year
• LeoneChen / SGX-SEF

  View on GitHub
  ☆14Oct 27, 2021Updated 4 years ago
• Jiacheng / honeycomb-osdi23-ae

  View on GitHub
  ☆16May 22, 2023Updated 2 years ago
• oscomp / proj23-lightweight-hypervisor

  View on GitHub
  在RISC-V处理器上实现一个轻量级的Hypervisor。
  ☆12Dec 25, 2020Updated 5 years ago
• t123yh / educg-proxy

  View on GitHub
  在本地愉快写 BUAA OS Lab，并直接在本地使用 git 提交。
  ☆14May 9, 2020Updated 5 years ago
• CircuitCoder / MeowThink

  View on GitHub
  A mini (consistent-wannabe) proof-assistant with power roughly equivalent to intelligence of a two month old cat
  ☆16Mar 12, 2022Updated 3 years ago
• LearningOS / rCore-Tutorial-Guide-2023S

  View on GitHub
  ☆12Jun 10, 2023Updated 2 years ago
• asonnino / sgx-wallet

  View on GitHub
  Simple password-wallet application based on Intel SGX for linux.
  ☆17May 2, 2020Updated 5 years ago
• xshaun / sc22-ae

  View on GitHub
  ☆14Nov 7, 2025Updated 3 months ago
• KuangjuX / hypercraft

  View on GitHub
  hypercraft is a VMM library written in Rust.
  ☆54Oct 20, 2024Updated last year
• caijiqhx / Notes

  View on GitHub
  caijiqhx notes
  ☆17Oct 26, 2024Updated last year
• asterinas / sworndisk-oscomp

  View on GitHub
  SwornDisk是一个面向可信执行环境的、基于日志结构的安全块设备（全国大学生操作系统比赛2022）
  ☆24Aug 14, 2022Updated 3 years ago
• riscv / riscv-control-transfer-records

  View on GitHub
  This repo contains a RISC-V ISA extension (proposal) to allow recording of control transfer history to on-chip registers, to support usag…
  ☆23Feb 19, 2025Updated last year
• ConfidentialComputing / GPU-TEE-Papers

  View on GitHub
  ☆31Jun 14, 2023Updated 2 years ago
• jiegec / la-inst

  View on GitHub
  Examine and discover LoongArch instructions
  ☆22Jul 11, 2025Updated 7 months ago
• vmexit / trio-sosp23-ae

  View on GitHub
  ☆20Sep 8, 2025Updated 5 months ago
• ZenithalHourlyRate / canokey-esp32

  View on GitHub
  ☆20Apr 7, 2023Updated 2 years ago
• jjyy-Huang / SpinalHDL-ethernet

  View on GitHub
  ☆21Feb 15, 2023Updated 3 years ago
• bu-icsg / PHMon

  View on GitHub
  This repository contains the hardware, software, and OS support for the Programmable Hardware Monitor (PHMon).
  ☆27Aug 10, 2020Updated 5 years ago
• adilahmad17 / Obfuscuro

  View on GitHub
  Commodity Obfuscation Engine for Intel SGX
  ☆20Jul 21, 2019Updated 6 years ago
• lsds / CubicleOS

  View on GitHub
  Compartmentalised monolithic library OS
  ☆20Jul 15, 2021Updated 4 years ago