hiroki-chen
Follow
Highlights
- Pro
Lists (9)
AMD-SEV
BioInfo
Some code running on GPUGPU-Accelerated DB
A curated list of DBMSes boosted by GPUs.Privacy Libraries
Rust parsers
It might be helpful for me to design the languageRust toolkits
Contains a bunch of wonderful generic programming tools for Rust.RustSec
Security toolkits for Rust. They may be useful for Rust SGX SDK.Using Coq to Prove RA
Stars
A community-maintained curated list of awesome resources of RISC Zero.
A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
SkyPilot: Run AI and batch jobs on any infra (Kubernetes or 14+ clouds). Get unified execution, cost savings, and high GPU availability via a simple interface.
UPA is the proof aggregation engine built by NEBRA team.
Formal Model of "A Formal Approach to Multi-Layered Privileges for Enclaves" (NDSS 2025)
The NVIDIA GPU driver container allows the provisioning of the NVIDIA driver through the use of containers.
Emscripten: An LLVM-to-WebAssembly Compiler
Solidity Implementation of On-Chain PCCS used for Intel DCAP Attestations
The Automata TDX Attestation SDK is a software development kit designed to help users generate the Intel TDX Quote using Rust across different cloud service providers, and generate Risc0 and SP1 ZK…
Most influential papers in programming languages
TEE-hosted binaries for verifiable server-side computation.
Confidential Containers Community
Formalizing the PathORAM implementation by Chris et al.
Full disk encryption solution in the confidential computing environment
A migration for the page table entry based side-channel attack agains SGX enclaves.
Lock-free concurrent and single-threaded hash map implementations using Leapfrog probing. Currently the highest performance concurrent HashMap in Rust for certain use cases.
A lock-free, eventually consistent, concurrent multi-value map.
P4Control: Line-Rate Cross-Host Attack Prevention via In-Network Information Flow Control Enabled by Programmable Switches and eBPF