Blog
Thoughts, notes, and technical writings.
Gitalogy — The Science of Being a Big Fish
Gitalogy 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 … Read more →
GPU在Confidential Computing中如何管理内存？
从UVM分配开始 Path: kernel-open/nvidia-uvm/uvm_va_space.c 注意这个： if (uvm_conf_computing_mode_enabled(gpu)) { NvU32 gpu_index = uvm_id_gpu_index(gpu->id); status = … Read more →
Photography and Research
最近重新拾起了相机，惊觉摄影和科研（至少在计算机领域）简直相似地过分。强烈建议学术民工尝试一下摄影，或者摄影师尝试一下科研（？）。 从创新开始 首先要强调的就是创新。摄影创新的角度和科研简直不要太像了。 当下我们习以为常的造物，若是能置于历史的车轮下，我们即刻就能发现它的伟大。 选题和时代 简单地说，选题就是去找一些历史上真就没人拍过的东西。在Duchamp的小便池（Fountain）成为艺术之 … 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
Constant-time的验证方法们。 Intro Constant-time作为密码学实现上一个重要的property，在抵御side-channel上面有很重要的作用。尤其是在这个Post-spectre的年代，microarchitectural level的side-channel attack已经成为了一个很大的威胁。近年来这个领域的researcher们飙了很多关于constant … Read more →
学术相关，每月Check！
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
在被Coq折磨了快一个月后，终于我终于看完了Logic Foundation。作为Software Foundations系列书籍中的第一员大将，它还是有点东西的。这里只浅谈一下我对于符号和解释这两个概念所产生的更深的理解。正文部分基本不涉及任何与编程本身相关的问题。 Preface 我并不打算对书的中知识概括总结，而是希望浅谈自己在读书过程中对于两个重要的概念，符号与解释的一些理解和思考。 在这 … Read more →
从零开始搓一个编译器
今年手痒痒选了一个Implementation of PL的课，需要徒手搓编译器。这里来小记一下这个过程，感觉这可能是我校CS最硬核的课之一了。 其实老师给了Racket和Python两种语言的选择，奈何我实在是不习惯那长到姥姥家的Racket括号，于是选择了Python。幸好在最新的Python 3.10中引入了match case的新特性，这直接使得代码量减少了非常多！它太好用了！！！（感 … Read more →