Research
SGX Local Attestation 源码分析
记一个对于Intel SGX Local Attestation Sample Code的一次Comprehensive的analysis。Warning：这篇文章十分臭长，超级干燥。 Overview Linux SGX样例里面给了Local Attestation的程序Sample。这里给出了两个Local Attestation的design：一个App下的俩Enclave和俩App对应 … 阅读更多 →
脑机、人和计算
简单的想象一下脑机在可预见的未来的存在形式以及可能成为topic的一些idea。 引 BCI这一技术以及与脑子相关的各种科技，出现了在众多经典的影视作品里。 从 The Matrix 的脑后插管，到Cloud Atlas的培养仓；从 Ghost in The Shell中一系列人的义体脑，到Psycho Pass中由几百个脑子构成的，以人脑智能来判定犯罪指数的西比拉System，都在某种意义上为我 … 阅读更多 →
《反脆弱》读书随思
这段时间在抽空读《反脆弱》一书。其作者是纽约大学Tandon工程学院的教授，Nassim Nicholas Taleb。早有耳闻其所作的不确定性三部曲（最近看他网站上好像是又更新了一部？），之后在读到剩下的几本的时候我大抵会把本文的标题改掉吧:) 虽然在经济和商业领域这本书大受推崇，但是我任务反脆弱这一概念在无论是在自然界还是工程领域都存在很高的价值，甚至对于Cyber Security也是如此。 … 阅读更多 →
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. … 阅读更多 →
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, … 阅读更多 →