Research
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 →
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 →
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 →
Useful Websites and Resources (Meta)
A continuously updated collection. Worth revisiting from time to time! Creation Date: Sep, 2020 Meta Study Matthias Felleisen’s Thoughts Small Collation — Organized knowledge notes Language Web … Read more →