Research
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 →
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 →
Changes to This Blog
It might seem like the blog hasn’t been updated lately, but that’s not quite the case—I’ve started using TiddlyWiki as my personal notebook. Notice the Notes link in the top-right … Read more →