Crypto
Verifying Constant-time
Ways to verify constant-time. Intro Constant-time is an important property of cryptographic implementations, and it plays a crucial role in defending against side-channels. Especially in this … Read more →
Modern Cryptography Notes (To be continued...)
The course is over, but I only have so much energy, so this post is on indefinite hiatus for now… Cryptography course notes taking from Introduction to Modern Cryptography. Intro What make … Read more →
SGX Local Attestation Source Code Analysis
Notes on a comprehensive analysis of the Intel SGX Local Attestation sample code. Warning: this post is horribly long and super dry. Overview The Linux SGX examples include a sample program for Local … Read more →