caijiqhx notes
☆16Oct 26, 2024Updated last year
Alternatives and similar repositories for Notes
Users that are interested in Notes are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Implementation of the Reusable Enclaves paper☆14Sep 25, 2023Updated 2 years ago
- ☆11Apr 25, 2021Updated 5 years ago
- A POSIX Filesystem for Enclaves with a Mechanized Safety Proof☆17Sep 20, 2019Updated 6 years ago
- ☆77Jan 7, 2023Updated 3 years ago
- ☆70Jan 17, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆14Aug 17, 2024Updated last year
- Code repository for the research paper "A Systematic Look at Ciphertext Side Channels on AMD SEV-SNP"☆13May 17, 2022Updated 4 years ago
- ☆13Dec 1, 2020Updated 5 years ago
- Tests for verifying compliance of RMM implementations☆23Apr 28, 2026Updated 2 months ago
- Scala Cookbook 2nd Edition中文翻译初稿☆13Oct 25, 2023Updated 2 years ago
- A test case for VFIO_PLATFORM currently based on the PL330 DMA controller. The effort on VFIO_PLATFORM has been partially funded by the S…☆13Dec 12, 2022Updated 3 years ago
- TWINE: An Embedded Trusted Runtime for WebAssembly. This is the repository that contains the source code of Twine and the related benchma…☆43Mar 14, 2024Updated 2 years ago
- EOS smart contract to verify merkle proofs☆13Oct 31, 2018Updated 7 years ago
- Forked from tf-rmm@trustedfirmware, support QEMU platform. Check wiki for instruction. https://github.com/Huawei/Huawei_CCA_RMM/wiki☆21Apr 15, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- This repository contains the hardware, software, and OS support for the Programmable Hardware Monitor (PHMon).☆28Aug 10, 2020Updated 5 years ago
- ☆20Mar 10, 2022Updated 4 years ago
- 面向可信执行环境的OS。☆12May 9, 2025Updated last year
- a very simple dns server☆15Jun 4, 2017Updated 9 years ago
- ☆22Jul 16, 2022Updated 3 years ago
- Hodor-PKU☆27Sep 14, 2021Updated 4 years ago
- 一个旨在整理黑客常用工具的GitHub项目☆12Dec 13, 2023Updated 2 years ago
- ARM CCA support for QEMU. Check wiki for instructions. https://github.com/Huawei/Huawei_CCA_RMM/wiki☆29Apr 15, 2023Updated 3 years ago
- 用Rust语言重写Linux kernel中的KVM☆15Apr 17, 2022Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Implementation of Selective Repeat reliable transport layer protocol.☆12Mar 31, 2017Updated 9 years ago
- Compound Real-time Operating System☆19Aug 15, 2020Updated 5 years ago
- Deploy the SC2 system on Kubernetes.☆11May 7, 2025Updated last year
- ☆14Jun 22, 2019Updated 7 years ago
- ☆10Aug 14, 2020Updated 5 years ago
- A list of system papers using/about Intel SGX☆553Jul 8, 2024Updated last year
- ☆122Nov 14, 2022Updated 3 years ago
- ☆11Apr 7, 2022Updated 4 years ago
- Genetic algorithm applied to the Magic Square problem☆18Dec 23, 2019Updated 6 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- FlexOS is a Unikraft-based OS allowing users to easily specialize the safety and isolation strategy at compilation time.☆24Jun 2, 2023Updated 3 years ago
- Kubernetes Device Plugin for Intel SGX☆75May 9, 2025Updated last year
- ☆14Aug 18, 2025Updated 10 months ago
- Hands on with side-channels: a tutorial on covert-channels built using shared CPU resources. Three different covert-channel implementatio…☆55Jun 25, 2019Updated 7 years ago
- SUSTech CSE Courses☆11May 31, 2021Updated 5 years ago
- ☆16Jan 5, 2024Updated 2 years ago
- ☆10Dec 26, 2023Updated 2 years ago