从零开始搓一个编译器
今年手痒痒选了一个Implementation of PL的课，需要徒手搓编译器。这里来小记一下这个过程，感觉这可能是我校CS最硬核的课之一了。
tags
- Notes 18
- Research 14
- CS 11
- Course 8
- PL 7
- BCI 6
- Caprice 5
- Hardware 4
- Binary 4
- Reverse Engineering 4
- Wireless 3
- SGX 3
- Crypto 3
- Linux Kernel 3
- Life 3
- Kali 2
- Rust 2
- BadUSB 1
- Arduino 1
- RFID 1
- Raspberry Pi 1
- Photography 1
- Architecture 1
- Books 1
- ACG 1
- 東方Project 1
- Code Analysis 1
- C 1
- TEE 1
Notes
关于博客的一些变化
最近好像博客都没啥更新，但其实不是的：我用上了TiddlyWiki作为自己的笔记本。
各种值得再次看看的网页/网站/Meta
持续更新。有事没事就去看看吧！ Creation Date: Sep, 2020
Modern Cryptography Notes (To be continued…)
虽然课上完了，但是由于本人精力有限，暂且无限期鸽鸽本文。。。
Kernel Module 历险记
最近在我大哥儿子@StanPlatinum的指导下搞了个截获/添加syscall的kernel module，在这里稍微记录一下折腾的过程。
SGX Local Attestation 源码分析
记一个对于Intel SGX Local Attestation Sample Code的一次Comprehensive的analysis。Warning：这篇文章十分臭长，超级干燥。
Programming Language Review
Review what I learned from programming language, a fundamental course of CS. The code is mainly in typed racket, a dialect of scheme.
Neuroscience Notes - Sensory Neurobiology
What is a sensory system and what does it do? What is the role of a sensory system in behavior? What are some things that a sensory system does not do?
Neuroscience Notes - Neurobiology of Motor Systems
Notes taken form Neuroscience course, Part 3: Neurobiology of Motor Systems.
脑机、人和计算
简单的想象一下脑机在可预见的未来的存在形式以及可能成为topic的一些idea。
Neuroscience Notes - Neuronal excitability
Notes taken form Neuroscience course, Part 2: Neuronal excitability.
Neuroscience Notes - Molecular Biology
Some notes taken from Neuroscience course, part 1: Molecular Biology.
《反脆弱》读书随思
这段时间在抽空读《反脆弱》一书。其作者是纽约大学Tandon工程学院的教授，Nassim Nicholas Taleb。早有耳闻其所作的不确定性三部曲（最近看他网站上好像是又更新了一部？），之后在读到剩下的几本的时候我大抵会把本文的标题改掉吧:) 虽然在经济和商业领域这本书大受推崇，但是我任务反脆弱这一概念在无论...
東方同音社团选（持续更新）
记（安）录（利）一些自己常听的社团，期待某音乐App有一天能够不给我推一整个歌单的東方歌。
Micro-architectural Side Channel (Attacks)
A summary of micro architecture side-channel attacks in recent years.
Computer Architecture Notes
This note is taken while reading book: Computer Architecture: A Quantitative Approach, 6th Edition.
摄影小记
为什么要写它 提醒自己，分享经验。 为什么摄影 技术上讲，为了日后能够再次观测曾经的某一时刻的视觉影像； 艺术上讲，为了记录日常看不到的东西 摄影师应该拍出来什么样的照片 摄影师拍出来的照片是遵守美学规则的 牛逼的摄影师拍出来的照片可能会打破传统的美学规则
Research
GPU在Confidential Computing中如何管理内存？
从UVM分配开始
摄影和科研
最近重新拾起了相机，惊觉摄影和科研（至少在计算机领域）简直相似地过分。强烈建议学术民工尝试一下摄影，或者摄影师尝试一下科研（？）。
GPUTEE从入门到升天（尚未升天）
从零开始一个H100 GPUTEE的配置，顺便体会做Artifact Evaluation的痛苦。这里主要记录踩坑，文档里面有的东西不再赘述。我对于VM和GPU的知识基本等于空白，搞了两天终于卡在了需要NVIDIA支持的地方上了。
Verifying Constant-time
Constant-time的验证方法们。
学术相关，每月Check！
Academic Conferences
SMT/SAT从0到0.1
最近在学习一些关于SMT/SAT solver的东西，在这里简单总结一下。
符号和解释
在被Coq折磨了快一个月后，终于我终于看完了Logic Foundation。作为Software Foundations系列书籍中的第一员大将，它还是有点东西的。这里只浅谈一下我对于符号和解释这两个概念所产生的更深的理解。正文部分基本不涉及任何与编程本身相关的问题。
关于博客的一些变化
最近好像博客都没啥更新，但其实不是的：我用上了TiddlyWiki作为自己的笔记本。
各种值得再次看看的网页/网站/Meta
持续更新。有事没事就去看看吧！ Creation Date: Sep, 2020
SGX Local Attestation 源码分析
记一个对于Intel SGX Local Attestation Sample Code的一次Comprehensive的analysis。Warning：这篇文章十分臭长，超级干燥。
脑机、人和计算
简单的想象一下脑机在可预见的未来的存在形式以及可能成为topic的一些idea。
《反脆弱》读书随思
这段时间在抽空读《反脆弱》一书。其作者是纽约大学Tandon工程学院的教授，Nassim Nicholas Taleb。早有耳闻其所作的不确定性三部曲（最近看他网站上好像是又更新了一部？），之后在读到剩下的几本的时候我大抵会把本文的标题改掉吧:) 虽然在经济和商业领域这本书大受推崇，但是我任务反脆弱这一概念在无论...
Micro-architectural Side Channel (Attacks)
A summary of micro architecture side-channel attacks in recent years.
Computer Architecture Notes
This note is taken while reading book: Computer Architecture: A Quantitative Approach, 6th Edition.
CS
GPU在Confidential Computing中如何管理内存？
从UVM分配开始
GPUTEE从入门到升天（尚未升天）
从零开始一个H100 GPUTEE的配置，顺便体会做Artifact Evaluation的痛苦。这里主要记录踩坑，文档里面有的东西不再赘述。我对于VM和GPU的知识基本等于空白，搞了两天终于卡在了需要NVIDIA支持的地方上了。
Verifying Constant-time
Constant-time的验证方法们。
SMT/SAT从0到0.1
最近在学习一些关于SMT/SAT solver的东西，在这里简单总结一下。
符号和解释
在被Coq折磨了快一个月后，终于我终于看完了Logic Foundation。作为Software Foundations系列书籍中的第一员大将，它还是有点东西的。这里只浅谈一下我对于符号和解释这两个概念所产生的更深的理解。正文部分基本不涉及任何与编程本身相关的问题。
从零开始搓一个编译器
今年手痒痒选了一个Implementation of PL的课，需要徒手搓编译器。这里来小记一下这个过程，感觉这可能是我校CS最硬核的课之一了。
计算机玄学——主要是踩的Rust的坑
有言道： 我的一生， 是和Rust Compiler搏斗的一生。 ——我
计算机玄学——主要是踩的C的坑
计算机没有玄学，因为它没有血肉。 但凡认为计算机玄学存在者皆是麻瓜。 ——我
Rust 学习笔记
最近突然对于Rust产生了兴趣因为它的吉祥物小螃蟹很可爱，遂开始阅读The Rust PL一书想要一探究竟。我发现Rust真的是一门相当阳间的语言，一些functional programming的特性和build system可以让使用者用起来十分舒爽。
Programming Language Review
Review what I learned from programming language, a fundamental course of CS. The code is mainly in typed racket, a dialect of scheme.
Computer Architecture Notes
This note is taken while reading book: Computer Architecture: A Quantitative Approach, 6th Edition.
Course
关于博客的一些变化
最近好像博客都没啥更新，但其实不是的：我用上了TiddlyWiki作为自己的笔记本。
Modern Cryptography Notes (To be continued…)
虽然课上完了，但是由于本人精力有限，暂且无限期鸽鸽本文。。。
Programming Language Review
Review what I learned from programming language, a fundamental course of CS. The code is mainly in typed racket, a dialect of scheme.
Neuroscience Notes - Sensory Neurobiology
What is a sensory system and what does it do? What is the role of a sensory system in behavior? What are some things that a sensory system does not do?
Neuroscience Notes - Neurobiology of Motor Systems
Notes taken form Neuroscience course, Part 3: Neurobiology of Motor Systems.
Neuroscience Notes - Neuronal excitability
Notes taken form Neuroscience course, Part 2: Neuronal excitability.
Neuroscience Notes - Molecular Biology
Some notes taken from Neuroscience course, part 1: Molecular Biology.
PL
Verifying Constant-time
Constant-time的验证方法们。
SMT/SAT从0到0.1
最近在学习一些关于SMT/SAT solver的东西，在这里简单总结一下。
符号和解释
在被Coq折磨了快一个月后，终于我终于看完了Logic Foundation。作为Software Foundations系列书籍中的第一员大将，它还是有点东西的。这里只浅谈一下我对于符号和解释这两个概念所产生的更深的理解。正文部分基本不涉及任何与编程本身相关的问题。
从零开始搓一个编译器
今年手痒痒选了一个Implementation of PL的课，需要徒手搓编译器。这里来小记一下这个过程，感觉这可能是我校CS最硬核的课之一了。
计算机玄学——主要是踩的Rust的坑
有言道： 我的一生， 是和Rust Compiler搏斗的一生。 ——我
Rust 学习笔记
最近突然对于Rust产生了兴趣因为它的吉祥物小螃蟹很可爱，遂开始阅读The Rust PL一书想要一探究竟。我发现Rust真的是一门相当阳间的语言，一些functional programming的特性和build system可以让使用者用起来十分舒爽。
Programming Language Review
Review what I learned from programming language, a fundamental course of CS. The code is mainly in typed racket, a dialect of scheme.
BCI
Neuroscience Notes - Sensory Neurobiology
What is a sensory system and what does it do? What is the role of a sensory system in behavior? What are some things that a sensory system does not do?
Neuroscience Notes - Neurobiology of Motor Systems
Notes taken form Neuroscience course, Part 3: Neurobiology of Motor Systems.
脑机、人和计算
简单的想象一下脑机在可预见的未来的存在形式以及可能成为topic的一些idea。
Neuroscience Notes - Neuronal excitability
Notes taken form Neuroscience course, Part 2: Neuronal excitability.
Neuroscience Notes - Molecular Biology
Some notes taken from Neuroscience course, part 1: Molecular Biology.
Caprice
简记割裂的2022
最近几年发生的事情真是一年比一年离谱了。时常在网上冲浪的我对于这种离谱的事情已经不感觉到离谱的时候，人就已经出问题了。 拖延癌发作的我终于得空在飞机上吧这个未完成的博文完成（虽然此时2023已经过去一大半了，然而只要我把date设置成2022就大概不会有人发现它是2023写的吧）。这个博文就是想到哪里写到哪里，毫...
学术相关，每月Check！
Academic Conferences
待在加州的一段时间
刚刚从加州回来，迫不及待地想要把将见闻和体验稍做记录。 拖了一个多月再回来把这个blog完成。
记2020
谨记前无古人，魔幻现实的2020。也总结一下我的2020，以及对2021的憧憬。此文逻辑不通，狗屁乱放，想哪写哪，从2020写到2021总算是写完了！
脑机、人和计算
简单的想象一下脑机在可预见的未来的存在形式以及可能成为topic的一些idea。
Hardware
低成本安全硬件（二）——RFID on PN532
引言 鉴于硬件安全对于大多数新人是较少接触的，而这方面又非常吸引我，但是部分专业安全研究设备较高的价格使人望而却步。在该系列中，笔者希望对此感兴趣的读者在花费较少金钱的情况下体会到硬件安全的魅力所在。本系列计划分成四个部分：BadUSB on Arduino; RFID on PN532; GSM on Moto...
低成本安全硬件（一）——BadUSB on Arduino
引言 鉴于硬件安全对于大多数新人是较少接触的，而这方面又非常吸引我，但是部分专业安全研究设备较高的价格使人望而却步。在该系列中，笔者希望对此感兴趣的读者在花费较少金钱的情况下体会到硬件安全的魅力所在。本系列计划分成四个部分：BadUSB on Arduino; RFID on PN532; GSM on Moto...
使用Kali Nethunter破解802.1x安全性WiFi
背景 笔者学校的无线网络采用1x认证方式，所以你懂的。
Binary
计算机玄学——主要是踩的Rust的坑
有言道： 我的一生， 是和Rust Compiler搏斗的一生。 ——我
计算机玄学——主要是踩的C的坑
计算机没有玄学，因为它没有血肉。 但凡认为计算机玄学存在者皆是麻瓜。 ——我
ROP从入门到入土-X64
Intro 在前篇文章中我们已经介绍了Linux下x86和x64架构的参数传递方式，以及对于x86程序的ROP攻击。这一次让我们跨出扯蛋的一步——进入x64架构，在没有辅助函数，在仅仅调用了libc里面的函数的情况下来用libc实现ROP攻击。在这个情况下，我们能够完整地去操控堆栈，实现攻击。本次实现的攻击是蒸米...
ROP从入门到放弃-X86
前言 最近被老板分配了复现SGX相关攻击的任务。里面用到了ROP技术，奈何本人之前从未做过二进制以及逆向工程相关的工作，遂从0开始学习ROP技术。网上相关的教程很多，但是完全从0开始讲起的很少。本文旨在回顾自己之前尝试过的ROP攻击，按照自己的思路从0讲起并作以记录。 本人是主要根据原乌云知识库的文章去学习的（...
Reverse Engineering
计算机玄学——主要是踩的Rust的坑
有言道： 我的一生， 是和Rust Compiler搏斗的一生。 ——我
计算机玄学——主要是踩的C的坑
计算机没有玄学，因为它没有血肉。 但凡认为计算机玄学存在者皆是麻瓜。 ——我
ROP从入门到入土-X64
Intro 在前篇文章中我们已经介绍了Linux下x86和x64架构的参数传递方式，以及对于x86程序的ROP攻击。这一次让我们跨出扯蛋的一步——进入x64架构，在没有辅助函数，在仅仅调用了libc里面的函数的情况下来用libc实现ROP攻击。在这个情况下，我们能够完整地去操控堆栈，实现攻击。本次实现的攻击是蒸米...
ROP从入门到放弃-X86
前言 最近被老板分配了复现SGX相关攻击的任务。里面用到了ROP技术，奈何本人之前从未做过二进制以及逆向工程相关的工作，遂从0开始学习ROP技术。网上相关的教程很多，但是完全从0开始讲起的很少。本文旨在回顾自己之前尝试过的ROP攻击，按照自己的思路从0讲起并作以记录。 本人是主要根据原乌云知识库的文章去学习的（...
Wireless
低成本安全硬件（二）——RFID on PN532
引言 鉴于硬件安全对于大多数新人是较少接触的，而这方面又非常吸引我，但是部分专业安全研究设备较高的价格使人望而却步。在该系列中，笔者希望对此感兴趣的读者在花费较少金钱的情况下体会到硬件安全的魅力所在。本系列计划分成四个部分：BadUSB on Arduino; RFID on PN532; GSM on Moto...
使用Kali Nethunter破解802.1x安全性WiFi
背景 笔者学校的无线网络采用1x认证方式，所以你懂的。
SGX
GPUTEE从入门到升天（尚未升天）
从零开始一个H100 GPUTEE的配置，顺便体会做Artifact Evaluation的痛苦。这里主要记录踩坑，文档里面有的东西不再赘述。我对于VM和GPU的知识基本等于空白，搞了两天终于卡在了需要NVIDIA支持的地方上了。
SGX Local Attestation 源码分析
记一个对于Intel SGX Local Attestation Sample Code的一次Comprehensive的analysis。Warning：这篇文章十分臭长，超级干燥。
Micro-architectural Side Channel (Attacks)
A summary of micro architecture side-channel attacks in recent years.
Crypto
Verifying Constant-time
Constant-time的验证方法们。
Modern Cryptography Notes (To be continued…)
虽然课上完了，但是由于本人精力有限，暂且无限期鸽鸽本文。。。
SGX Local Attestation 源码分析
记一个对于Intel SGX Local Attestation Sample Code的一次Comprehensive的analysis。Warning：这篇文章十分臭长，超级干燥。
Linux Kernel
GPU在Confidential Computing中如何管理内存？
从UVM分配开始
GPUTEE从入门到升天（尚未升天）
从零开始一个H100 GPUTEE的配置，顺便体会做Artifact Evaluation的痛苦。这里主要记录踩坑，文档里面有的东西不再赘述。我对于VM和GPU的知识基本等于空白，搞了两天终于卡在了需要NVIDIA支持的地方上了。
Kernel Module 历险记
最近在我大哥儿子@StanPlatinum的指导下搞了个截获/添加syscall的kernel module，在这里稍微记录一下折腾的过程。
Life
摄影和科研
最近重新拾起了相机，惊觉摄影和科研（至少在计算机领域）简直相似地过分。强烈建议学术民工尝试一下摄影，或者摄影师尝试一下科研（？）。
待在加州的一段时间
刚刚从加州回来，迫不及待地想要把将见闻和体验稍做记录。 拖了一个多月再回来把这个blog完成。
记2020
谨记前无古人，魔幻现实的2020。也总结一下我的2020，以及对2021的憧憬。此文逻辑不通，狗屁乱放，想哪写哪，从2020写到2021总算是写完了！
Kali
使用Kali Nethunter破解802.1x安全性WiFi
背景 笔者学校的无线网络采用1x认证方式，所以你懂的。
Rust
计算机玄学——主要是踩的Rust的坑
有言道： 我的一生， 是和Rust Compiler搏斗的一生。 ——我
Rust 学习笔记
最近突然对于Rust产生了兴趣因为它的吉祥物小螃蟹很可爱，遂开始阅读The Rust PL一书想要一探究竟。我发现Rust真的是一门相当阳间的语言，一些functional programming的特性和build system可以让使用者用起来十分舒爽。
BadUSB
低成本安全硬件（一）——BadUSB on Arduino
引言 鉴于硬件安全对于大多数新人是较少接触的，而这方面又非常吸引我，但是部分专业安全研究设备较高的价格使人望而却步。在该系列中，笔者希望对此感兴趣的读者在花费较少金钱的情况下体会到硬件安全的魅力所在。本系列计划分成四个部分：BadUSB on Arduino; RFID on PN532; GSM on Moto...
Arduino
低成本安全硬件（一）——BadUSB on Arduino
引言 鉴于硬件安全对于大多数新人是较少接触的，而这方面又非常吸引我，但是部分专业安全研究设备较高的价格使人望而却步。在该系列中，笔者希望对此感兴趣的读者在花费较少金钱的情况下体会到硬件安全的魅力所在。本系列计划分成四个部分：BadUSB on Arduino; RFID on PN532; GSM on Moto...
RFID
低成本安全硬件（二）——RFID on PN532
引言 鉴于硬件安全对于大多数新人是较少接触的，而这方面又非常吸引我，但是部分专业安全研究设备较高的价格使人望而却步。在该系列中，笔者希望对此感兴趣的读者在花费较少金钱的情况下体会到硬件安全的魅力所在。本系列计划分成四个部分：BadUSB on Arduino; RFID on PN532; GSM on Moto...
Raspberry Pi
低成本安全硬件（二）——RFID on PN532
引言 鉴于硬件安全对于大多数新人是较少接触的，而这方面又非常吸引我，但是部分专业安全研究设备较高的价格使人望而却步。在该系列中，笔者希望对此感兴趣的读者在花费较少金钱的情况下体会到硬件安全的魅力所在。本系列计划分成四个部分：BadUSB on Arduino; RFID on PN532; GSM on Moto...
Photography
摄影小记
为什么要写它 提醒自己，分享经验。 为什么摄影 技术上讲，为了日后能够再次观测曾经的某一时刻的视觉影像； 艺术上讲，为了记录日常看不到的东西 摄影师应该拍出来什么样的照片 摄影师拍出来的照片是遵守美学规则的 牛逼的摄影师拍出来的照片可能会打破传统的美学规则
Architecture
Computer Architecture Notes
This note is taken while reading book: Computer Architecture: A Quantitative Approach, 6th Edition.
Books
Computer Architecture Notes
This note is taken while reading book: Computer Architecture: A Quantitative Approach, 6th Edition.
ACG
東方同音社团选（持续更新）
记（安）录（利）一些自己常听的社团，期待某音乐App有一天能够不给我推一整个歌单的東方歌。
東方Project
東方同音社团选（持续更新）
记（安）录（利）一些自己常听的社团，期待某音乐App有一天能够不给我推一整个歌单的東方歌。
Code Analysis
SGX Local Attestation 源码分析
记一个对于Intel SGX Local Attestation Sample Code的一次Comprehensive的analysis。Warning：这篇文章十分臭长，超级干燥。
C
计算机玄学——主要是踩的C的坑
计算机没有玄学，因为它没有血肉。 但凡认为计算机玄学存在者皆是麻瓜。 ——我
TEE
GPU在Confidential Computing中如何管理内存？
从UVM分配开始