Posts
-
Unsolved constraints
-
Bugchain
-
Fuzzbench
-
Coverage debugging
-
CS218 Notes
-
Vehicle load
-
GoTee, Glamdring, Asylo
-
Raft
-
Webassembly system interface
-
Rust works!
-
Rust learning notes 3
-
[paper reading] PATH ORAM and BITE
-
What is ZombieLoad and how it is related to Meltdown-type attacks
-
Rust learning notes 2
-
Rust learning notes
-
Techie: Keybase, telegram
-
Paper reading: EnclaveDB, Speicher and other trusted databases
-
Paper reading: some latest results about LSM and key-value stores
-
Paper reading: kHunt
-
self-modifying code
-
Turing completeness of Makefile
-
SGX-step
-
Intel Protected FS
-
LevelDB
-
[Non-technical] Cosmic Distance Ladder
-
SGX driver
-
Memory Barrier
-
Lib Link Order Matters!
-
Control Flow Integrity
-
EVM
-
SGX attestation in plain words
-
Heisenberg Defense Summary
-
FM-sketching algorithm
-
Shuffle-in-the-middle vs Opaque
-
Byzantine Generals Problem
-
Catena Summary
-
Preventing Leakage in MapReduce
-
Learned Index Structures
-
Summary of YCSB - Yahoo! cloud serving benchmark
-
Quine Program
-
Scientific Writing
subscribe via RSS