Timing side channels are a serious threat to the security of cryptographic algorithms. This paper presents a novel method for the timing-sensitive analysis of information flow in synchronous hardware circuits. The method is based on a parameterized notion of confidentiality for finite transition systems that allows one to model information leakage in a fine-grained way. We present an efficient decision procedure for system security and apply it to discover timing leaks in nontrivial hardware implementations of cryptographic algorithms. © Springer-Verlag Berlin Heidelberg 2006.
CITATION STYLE
Köpf, B., & Basin, D. (2006). Timing-sensitive information flow analysis for synchronous systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4189 LNCS, pp. 243–262). Springer Verlag. https://doi.org/10.1007/11863908_16
Mendeley helps you to discover research relevant for your work.