Formal Approaches for Analyzing Timing Attacks
Gaoming Deng · 2011
The side-channel attacks take advantage of physical characteristics leaking from side channel of implementation in cipher device to recover the key or other secret parameters involved in the computation running in the cipher device,which blazes a new path distinct from conventional cryptanalysis methods.Equivalence relation and equivalence class were adopted in formal qualitative analysis against timing attacks,one type of side-channel attacks.The method of measurement in information entropy was adopted in quantitative evaluation on timing-attack ability.Formal analysis was conducted on timing attacks against RSA binary modular exponentiation algorithm,indicating that formal analysis on timing attacks could make the attack procedure intuitive and accurate,thus providing valuable reference for formal description of other side channel attack approaches.