Tempus fugit: How to plug it

Tempus fugit: How to plug it (2006)

Cached

Download Links

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

Venue:	THE JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING
Citations:	4 - 3 self

BibTeX

@INPROCEEDINGS{Pierro06tempusfugit:,
    author = {Alessandra Di Pierro and Chris Hankin and Igor Siveroni and Herbert Wiklicky},
    title = { Tempus fugit: How to plug it},
    booktitle = {THE JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING},
    year = {2006},
    publisher = {}
}

Bookmark

OpenURL

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.

Citations

619	Security Policy and Security Models - Goguen, Meseguer - 1982
371	A.: Bisimulation through Probabilistic Testing - Larsen, Skou - 1991
339	A Note on the Confinement Problem - Lampson - 1973
314	Three partition refinement algorithms - Paige, Tarjan - 1987
233	N.A.: Probabilistic simulations for probabilistic processes - Segala, Lynch - 1994
144	Reactive, generative, and stratified models of probabilistic processes - Glabbeek, Smolka, et al. - 1990
80	Toward a mathematical foundation for information flow security - Gray - 1991
79	R.: Classification of Security Properties (Part I: Information - Focardi, Gorrieri - 2001
78	Process algebra and non-interference - Ryan, Schneider - 1999
72	Timing attacks on web privacy - Felten, Schneider - 2007
25	Cryptanalysis of Diffie-Hellman, RSA, DSS, and Other Systems Using Timing Attacks”, extended abstract - Kocher - 1995
20	H.: Quantitative relations and approximate process equivalences - Pierro, Hankin, et al. - 2003
17	A simple framework for real-time cryptographic protocol analysis with compositional proof rules. to appear at Science of Computer Programing - Gorrieri, Martinelli
15	Optimal state-space lumping - Derisavi, Hermanns, et al.
14	H.: Measuring the confinement of probabilistic systems - Pierro, Hankin, et al.
13	Real-time Information Flow Analysis - Focardi, Gorrieri, et al. - 2003
9	Securing statically-verified communications protocols against timing attacks - Buchholtz, Gilmore, et al. - 2005
3	Timed analysis of security protocols - Corin, Etalle, et al. - 2004
2	Automated analysis of timed security: a case study on web privacy - Gorrieri, Lanotte, et al. - 2004
1	Transforming out timing leaks, in: POPL ’00 - Agat - 2000