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

Producción científica: Contribución a una revista › Artículo › revisión exhaustiva

6 Citas (Scopus)

Resumen

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.

Idioma original	Inglés
Páginas (desde-hasta)	173-190
Número de páginas	18
Publicación	Journal of Logic and Algebraic Programming
Volumen	72
N.º	2
DOI	https://doi.org/10.1016/j.jlap.2007.02.007
Estado	Publicada - jul. 2007
Publicado de forma externa	Sí

Acceder al documento

10.1016/j.jlap.2007.02.007

Otros archivos y enlaces

Enlace a la publicación en Scopus

Citar esto

@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

Resumen

Acceder al documento

Otros archivos y enlaces

Huella

Citar esto