Crypto
Verifying Constant-time
Constant-time的验证方法们。 Intro Constant-time作为密码学实现上一个重要的property，在抵御side-channel上面有很重要的作用。尤其是在这个Post-spectre的年代，microarchitectural level的side-channel attack已经成为了一个很大的威胁。近年来这个领域的researcher们飙了很多关于constant … Read more →
Modern Cryptography Notes (To be continued...)
虽然课上完了，但是由于本人精力有限，暂且无限期鸽鸽本文。。。 Cryptography course notes taking from Introduction to Modern Cryptography. Intro What make Modern Crypto Modern? The central role of definitions The importance of formal … Read more →
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 →