Towards Verified Cryptographic Implementations

摘要

Building secure cryptographic software is difficult. I will discuss some language-based methods for analyzing and improving the security of implementations against cache attacks, differential power attacks, and fault attacks.