博客
随想、笔记和技术写作。
鸡头学(Gitalogy)
鸡头学 Gitalogy 鸡头学源自于一句俗语,“宁做鸡头,不做凤尾”。本学科的基础理论基本来自于作者对于身边的鸡头,鸡屁股,以及想要成为鸡头的各种人和事情的观察。 摘要 作者的博士生涯和博士之前的生涯的顺利程度有着较大的区别。具体来说,作者在博士之前的求学以及升学过程相对比较顺利(i.e., 是鸡头),然而在博士期间发表文章的经历非常坎坷曲折(i.e., 成为了鸡头的反面,鸡屁股, a.k.a … 阅读更多 →
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 = … 阅读更多 →
摄影和科研
最近重新拾起了相机,惊觉摄影和科研(至少在计算机领域)简直相似地过分。强烈建议学术民工尝试一下摄影,或者摄影师尝试一下科研(?)。 从创新开始 首先要强调的就是创新。摄影创新的角度和科研简直不要太像了。 当下我们习以为常的造物,若是能置于历史的车轮下,我们即刻就能发现它的伟大。 选题和时代 简单地说,选题就是去找一些历史上真就没人拍过的东西。在Duchamp的小便池(Fountain)成为艺术之 … 阅读更多 →
GPUTEE从入门到升天(尚未升天)
从零开始一个H100 GPUTEE的配置,顺便体会做Artifact Evaluation的痛苦。这里主要记录踩坑,文档里面有的东西不再赘述。我对于VM和GPU的知识基本等于空白,搞了两天终于卡在了需要NVIDIA支持的地方上了。 参考资料 Confidential Computing Deployment Guide CUDA Installation Guide GitHub: AMDSEV … 阅读更多 →
简记割裂的2022
最近几年发生的事情真是一年比一年离谱了。时常在网上冲浪的我对于这种离谱的事情已经不感觉到离谱的时候,人就已经出问题了。 拖延癌发作的我终于得空在飞机上吧这个未完成的博文完成(虽然此时2023已经过去一大半了,然而只要我把date设置成2022就大概不会有人发现它是2023写的吧)。这个博文就是想到哪里写到哪里,毫无组织纪律。 割裂 当一群人完全不能理解另一群人,乃至于产生敌视、甚至攻击等行为时,便 … 阅读更多 →
Verifying Constant-time
Constant-time的验证方法们。 Intro Constant-time作为密码学实现上一个重要的property,在抵御side-channel上面有很重要的作用。尤其是在这个Post-spectre的年代,microarchitectural level的side-channel attack已经成为了一个很大的威胁。近年来这个领域的researcher们飙了很多关于constant … 阅读更多 →
学术相关,每月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, … 阅读更多 →
SMT/SAT从0到0.1
最近在学习一些关于SMT/SAT solver的东西,在这里简单总结一下。 概念 SMT: satisfiability modulo theories;wiki SAT: (boolean) satisfiability wiki SMT可以认为是SAT的泛化。SAT基本只限制在求解boolean的一个表达式的satifiability上,即(是否有)赋值使得一个表达式为真(SAT)。 如若不存 … 阅读更多 →
符号和解释
在被Coq折磨了快一个月后,终于我终于看完了Logic Foundation。作为Software Foundations系列书籍中的第一员大将,它还是有点东西的。这里只浅谈一下我对于符号和解释这两个概念所产生的更深的理解。正文部分基本不涉及任何与编程本身相关的问题。 Preface 我并不打算对书的中知识概括总结,而是希望浅谈自己在读书过程中对于两个重要的概念,符号与解释的一些理解和思考。 在这 … 阅读更多 →
从零开始搓一个编译器
今年手痒痒选了一个Implementation of PL的课,需要徒手搓编译器。这里来小记一下这个过程,感觉这可能是我校CS最硬核的课之一了。 其实老师给了Racket和Python两种语言的选择,奈何我实在是不习惯那长到姥姥家的Racket括号,于是选择了Python。幸好在最新的Python 3.10中引入了match case的新特性,这直接使得代码量减少了非常多!它太好用了!!!(感 … 阅读更多 →