Blog
Thoughts, notes, and technical writings.
Delegation vs Review: You Can Only Hand Off What You Can Verify
AI now writes code and finds bugs faster than people can carefully read. Once line-by-line review stops being possible, what can we still trust? And where does that trust end? My current answer: what … Read more →
Gitalogy — The Science of Being a Big Fish
Gitalogy originates from the Chinese proverb “宁做鸡头，不做凤尾” — literally “better to be the head of a chicken than the tail of a phoenix,” equivalent to “better to be a big … Read more →
How Does the GPU Manage Memory in Confidential Computing?
Starting from UVM Allocation Path: kernel-open/nvidia-uvm/uvm_va_space.c Pay attention to this part: if (uvm_conf_computing_mode_enabled(gpu)) { NvU32 gpu_index = uvm_id_gpu_index(gpu->id); status … Read more →
Photography and Research
I recently picked up my camera again, and was startled to realize how ridiculously similar photography and research (at least in computer science) are. I strongly recommend that fellow academic … Read more →
GPU TEE Setup: From Zero to (Almost) Hero
Setting up an H100 GPU TEE (Trusted Execution Environment) from scratch, while experiencing the joy of Artifact Evaluation. This post documents the pitfalls I encountered—referencing the official docs … Read more →
Notes on a Fractured 2022
Things have been getting more surreal with each passing year. When someone who spends too much time doomscrolling stops being surprised by the absurd, they’re already in trouble. My chronic … Read more →
Verifying Constant-time
Ways to verify constant-time. Intro Constant-time is an important property of cryptographic implementations, and it plays a crucial role in defending against side-channels. Especially in this … Read more →
Academic Stuff to Check Monthly!
Academic Conferences Mainly focus on Security, System & PL. Security Top Tier NDSS, Mar. SP, May Security, Aug. CCS, Nov. Great Ones Euro SP, July Asia CCS, June DSN, June ACSAC, Dec. ESORICS, … Read more →
SMT/SAT: From Zero to 0.1
I’ve recently been learning about SMT/SAT solvers. Here’s a brief summary. Concepts SMT: Satisfiability Modulo Theories; wiki SAT: (Boolean) Satisfiability; wiki SMT can be viewed as a … Read more →
Symbols and Interpretation
After nearly a month of being tortured by Coq, I have finally, finally finished Logic Foundations. As the lead title of the Software Foundations series, it really is something. Here I just want to … Read more →