Research
SGX Local Attestation Source Code Analysis
记一个对于Intel SGX Local Attestation Sample Code的一次Comprehensive的analysis。Warning：这篇文章十分臭长，超级干燥。 Overview Linux SGX样例里面给了Local Attestation的程序Sample。这里给出了两个Local Attestation的design：一个App下的俩Enclave和俩App对应 … Read more →
BCI, Humans, and Computation
Some musings on what brain-computer interfaces might look like in the foreseeable future and ideas that could become research topics. Prologue BCI technology and brain-related sciences have appeared … Read more →
Thoughts on "Antifragile"
I’ve been reading Antifragile by Nassim Nicholas Taleb, a professor at NYU’s Tandon School of Engineering. I’d long heard of his “Incerto” series on uncertainty—this book … Read more →
Micro-architectural Side Channel (Attacks)
A summary of micro architecture side-channel attacks in recent years. Overview Paper Micro-architecture Attacker Priv. Victim Priv. Ability (attack) Spectre Branch Predictor User space prog. … Read more →
Computer Architecture Notes
This note is taken while reading book: Computer Architecture: A Quantitative Approach, 6th Edition. Chapter 1: Fundamentals of Quantitative Design and Analysis Concepts ISA Class: GPR, Stack, … Read more →