Hiroki Chen's repositories
hiroki-chen.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
apfs-rs
Apple Filesystem (APFS) for Rust
apic-rs
Rust APIC crate for x86 kernel.
clear_on_drop
Helpers for clearing sensitive data on the stack and heap (modified)
differential-privacy
Google's differential privacy libraries.
differential-privacy-rs
Rust bindings to Google's Differential Privacy Library.
incubator-teaclave
Apache Teaclave (incubating) is an open source universal secure computing platform, making computation on privacy-sensitive data safe and simple.
incubator-teaclave-sgx-sdk
Apache Teaclave (incubating) SGX SDK helps developers to write Intel SGX applications in the Rust programming language, and also known as Rust SGX SDK.
Lean-Playground
Learning the Lean4 proof assistant and type theory!
MIRAI
Rust mid-level IR Abstract Interpreter
NKU-thesis-template-2020
thesis template
opendp
The core library of differential privacy algorithms powering the OpenDP Project.
PFSE-Prototype
This repo contains a prototype for partition-based frequency-smoothing encryption in Rust.
pobf_crypto
The crypto library for PoBF
prusti-dev
A static verifier for Rust, based on the Viper verification infrastructure.
rcore-fs
The file system module
Rust-Learning
This is a repo that contains scribbles of my Rust learning.
Software-Foundations
Exercises for the course.
spin-rs
Spin-based synchronization primitives
statrs
Statistical computation library for Rust
syzkaller
syzkaller is an unsupervised coverage-guided kernel fuzzer
The-Linux-Kernel-Notes
This repo contains my personal notes on the working mechanisms of the Linux kernel
tsc
Time stamp counter based timer
verification-rs
This repository contains sample code for doing verification for Rust programs.
ycsb-pocf
This repo contains a YCSB client used to evaluate the performance of PoCF supported database (very simple!).