GPU在Confidential Computing中如何管理内存？
从UVM分配开始
最新文章
摄影和科研
最近重新拾起了相机，惊觉摄影和科研（至少在计算机领域）简直相似地过分。强烈建议学术民工尝试一下摄影，或者摄影师尝试一下科研（？）。
GPUTEE从入门到升天（尚未升天）
从零开始一个H100 GPUTEE的配置，顺便体会做Artifact Evaluation的痛苦。这里主要记录踩坑，文档里面有的东西不再赘述。我对于VM和GPU的知识基本等于空白，搞了两天终于卡在了需要NVIDIA支持的地方上了。
简记割裂的2022
最近几年发生的事情真是一年比一年离谱了。时常在网上冲浪的我对于这种离谱的事情已经不感觉到离谱的时候，人就已经出问题了。 拖延癌发作的我终于得空在飞机上吧这个未完成的博文完成（虽然此时2023已经过去一大半了，然而只要我把date设置成2022就大概不会有人发现它是2023写的吧）。这个博文就是想到哪里写到哪里，毫...
Verifying Constant-time
Constant-time的验证方法们。
学术相关，每月Check！
Academic Conferences
SMT/SAT从0到0.1
最近在学习一些关于SMT/SAT solver的东西，在这里简单总结一下。
符号和解释
在被Coq折磨了快一个月后，终于我终于看完了Logic Foundation。作为Software Foundations系列书籍中的第一员大将，它还是有点东西的。这里只浅谈一下我对于符号和解释这两个概念所产生的更深的理解。正文部分基本不涉及任何与编程本身相关的问题。