hiroki-chen
CS Ph.D. @ IUB "Algorithms are the computational content of proofs." (Robert Harper)
UnemployedSaratoga, CA
Pinned Repositories
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.
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
FH_cryptDB
This is an advanced FH-CryptDB based on CryptDB prototype written by Popa et al.
lambda-rs
A dependently typed lambda calculus interpreter
NeoOS
A tiny operating system built with Rust.
Oblivious-RAM
A reference implementation of some ORAM algorithms.
picachv
Picachv is a verified library for transparently enforcing data-use policies for data analytical systems
picachv-proof
Coq formalism of Picachv's core operational semantics
kani
Kani Rust Verifier
prusti-dev
A static verifier for Rust, based on the Viper verification infrastructure.
hiroki-chen's Repositories
hiroki-chen/FH_cryptDB
This is an advanced FH-CryptDB based on CryptDB prototype written by Popa et al.
hiroki-chen/Learningproject
This is the fundamental learning materials as well as projects dedicated to exercising and hence improving programming ability.
hiroki-chen/List
hiroki-chen/LLVMCompiler
An LLVM-based compiler for C-like language.
hiroki-chen/2048
A simple 2048 game.
hiroki-chen/A-simple-Calculator
hiroki-chen/asylo
An open and flexible framework for developing enclave applications
hiroki-chen/BinaryTree
HomeWork
hiroki-chen/cryptdb
A database system that can process SQL queries over encrypted data.
hiroki-chen/cryptdb_test
hiroki-chen/deque
Homework for DT.
hiroki-chen/FrequencyAttack
hiroki-chen/JavaHomeWork
hiroki-chen/LeetCodeAnswer
leetcode的题库自己做的答案
hiroki-chen/Matrix
hiroki-chen/os_kernel_lab
OS kernel labs based on Rust/C Lang & RISC-V 64/X86-32
hiroki-chen/pancake
System that employs frequency smoothing to protect key-value stores from frequency analysis attacks.
hiroki-chen/PathORAM
Path ORAM reference implementation
hiroki-chen/QtSnake
hiroki-chen/rapidcsv
C++ CSV parser library
hiroki-chen/sortingalgorithms
hiroki-chen/creusot
deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!
hiroki-chen/format-preserving-encryption
FPE - Format Preserving Encryption with FF3 in C
hiroki-chen/isomorphic_drivers
A set of isomorphic drivers that can run both in kernel and user space without modifications.
hiroki-chen/Mahjong-Calculator
A simple Rust-based CLI program that calculates your Fu (符) when you go out by either Trumo or Ron.
hiroki-chen/numpy
The fundamental package for scientific computing with Python.
hiroki-chen/ohmyzsh
🙃 A delightful community-driven (with 2,000+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python, etc), 140+ themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.
hiroki-chen/openenclave
SDK for developing enclaves
hiroki-chen/Trojan-Playground
hiroki-chen/ycsb-rs
A Rust port of Yahoo! Cloud Serving Benchmark (YCSB)