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☆15Sep 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
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆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
- ☆14Updated this week
- 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
- 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
- Scala Cookbook 2nd Edition中文翻译初稿☆12Oct 25, 2023Updated 2 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
- EOS smart contract to verify merkle proofs☆13Oct 31, 2018Updated 7 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- This repository contains the hardware, software, and OS support for the Programmable Hardware Monitor (PHMon).☆29Aug 10, 2020Updated 6 years ago
- 面向可信执行环境的OS。☆12May 9, 2025Updated last year
- ☆20Mar 10, 2022Updated 4 years ago
- ☆22Jul 16, 2022Updated 4 years ago
- Revisiting Cache Side-Channel Attacks in Deep Neural Networks Executables☆14Aug 27, 2024Updated last year
- ☆13Apr 9, 2022Updated 4 years ago
- a very simple dns server☆15Jun 4, 2017Updated 9 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
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Compound Real-time Operating System☆19Aug 15, 2020Updated 5 years ago
- 用Rust语言重写Linux kernel中的KVM☆15Apr 17, 2022Updated 4 years ago
- Tests for verifying compliance of RMM implementations☆24Apr 28, 2026Updated 3 months ago
- An ongoing attempt to create own hypervisior from scratch in linux.☆52Oct 7, 2021Updated 4 years ago
- ☆125Nov 14, 2022Updated 3 years ago
- ☆10Aug 14, 2020Updated 5 years ago
- numad for debian/ubuntu☆17Apr 28, 2016Updated 10 years 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
- A list of system papers using/about Intel SGX☆552Jul 8, 2024Updated 2 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆11Apr 7, 2022Updated 4 years ago
- 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
- ☆14Aug 18, 2025Updated 11 months ago
- Implementation of the Arm CCA attestation token in Rust☆14Updated this week
- Kubernetes Device Plugin for Intel SGX☆75May 9, 2025Updated last year
- Genetic algorithm applied to the Magic Square problem☆18Dec 23, 2019Updated 6 years ago
- SUSTech CSE Courses☆11May 31, 2021Updated 5 years ago