Tempus fugit: How to plug it

Alessandra Di Pierro; Chris Hankin; Igor Siveroni; Herbert Wiklicky

doi:10.1016/j.jlap.2007.02.007

Tempus fugit: How to plug it

Alessandra Di Pierro
, Chris Hankin
, Igor Siveroni
, Herbert Wiklicky

Research output: Contribution to journal › Article › peer-review

6 Scopus citations

Abstract

Secret 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.

Original language	English
Pages (from-to)	173-190
Number of pages	18
Journal	Journal of Logic and Algebraic Programming
Volume	72
Issue number	2
DOIs	https://doi.org/10.1016/j.jlap.2007.02.007
State	Published - Jul 2007
Externally published	Yes

Keywords

Probabilistic processes
Program transformation
Security analysis
Timing leaks

Access to Document

10.1016/j.jlap.2007.02.007

Cite this

@article{bd10dd6e04564fd2a3d36225baecc348,

title = "Tempus fugit: How to plug it",

abstract = "Secret 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.",

keywords = "Probabilistic processes, Program transformation, Security analysis, Timing leaks",

author = "\{Di Pierro\}, Alessandra and Chris Hankin and Igor Siveroni and Herbert Wiklicky",

note = "Funding Information: All authors are partly funded by the EPSRC project S77066A. ∗ Corresponding author. Tel.: +44 207 594 5010; fax: +44 207 594 8802. E-mail address: [email protected] (C. Hankin).",

year = "2007",

month = jul,

doi = "10.1016/j.jlap.2007.02.007",

language = "English",

volume = "72",

pages = "173--190",

journal = "Journal of Logic and Algebraic Programming",

issn = "1567-8326",

number = "2",

}

TY - JOUR

T1 - Tempus fugit

T2 - How to plug it

AU - Di Pierro, Alessandra

AU - Hankin, Chris

AU - Siveroni, Igor

AU - Wiklicky, Herbert

N1 - Funding Information: All authors are partly funded by the EPSRC project S77066A. ∗ Corresponding author. Tel.: +44 207 594 5010; fax: +44 207 594 8802. E-mail address: [email protected] (C. Hankin).

PY - 2007/7

Y1 - 2007/7

N2 - Secret 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.

AB - Secret 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.

KW - Probabilistic processes

KW - Program transformation

KW - Security analysis

KW - Timing leaks

UR - https://www.scopus.com/pages/publications/34250629239

U2 - 10.1016/j.jlap.2007.02.007

DO - 10.1016/j.jlap.2007.02.007

M3 - Article

AN - SCOPUS:34250629239

SN - 1567-8326

VL - 72

SP - 173

EP - 190

JO - Journal of Logic and Algebraic Programming

JF - Journal of Logic and Algebraic Programming

IS - 2

ER -

Tempus fugit: How to plug it

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this