Tempus fugit: How to plug it

• DOI: 10.1016/j.jlap.2007.02.007
• Publication Date: 2007-02-25T11:57:41Z
• Authors: Alessandra Di Pierro; Chris Hankin; Igor Siveroni; Herbert Wiklicky
• Keywords: Code (set theory); Plug and play; TEMPUS; Plug-in

AbstractSecret or private information may be leaked to an external attacker through the timing behaviour of the system running the untrusted code. After introducing a formalisation of this situation in terms of a confinement property, we present an algorithm which is able to transform the system into one that is computationally equivalent to the given system but free of timing leaks.