Douglas Stebila

Continuous after-the-fact leakage-resilient key exchange

Abstract

Security models for two-party authenticated key exchange (AKE) protocols have developed over time to provide security even when the adversary learns certain secret keys. In this work, we advance the modelling of AKE protocols by considering more granular, continuous leakage of long-term secrets of protocol participants: the adversary can adaptively request arbitrary leakage of long-term secrets even after the test session is activated, with limits on the amount of leakage per query but no bounds on the total leakage. We present a security model supporting continuous leakage even when the adversary learns certain ephemeral secrets or session keys, and give a generic construction of a two-pass leakage-resilient key exchange protocol that is secure in the model; our protocol achieves continuous, after-the-fact leakage resilience with not much more cost than a previous protocol with only bounded, non-after-the-fact leakage.

Keywords: leakage resilience, key exchange, continuous leakage, after-the-fact, security models

Reference

Janaka Alawatugoda, Colin Boyd, Douglas Stebila. Continuous after-the-fact leakage-resilient key exchange. In Willy Susilo, Yi Mu, editors, Proc. 19th Australasian Conference on Information Security and Privacy (ACISP) 2014, LNCS, vol. 8544, pp. 258-273. Springer, July 2014. © Springer.

Download

BibTeX

@inproceedings{ACISP:AlaBoySte14,
 	Author = {Janaka Alawatugoda and Colin Boyd and Douglas Stebila},
 	Booktitle = {Proc. 19th Australasian Conference on Information Security and Privacy (ACISP)},
 	Doi = {10.1007/978-3-319-08344-5\_17},
 	Editor = {Willy Susilo and Yi Mu},
 	Month = {July},
 	Pages = {258--273},
 	Publisher = {Springer},
 	Series = {LNCS},
 	Title = {Continuous after-the-fact leakage-resilient key exchange},
 	Volume = {8544},
 	Year = {2014}
 }

Funding

• Australian Research Council (ARC) Discovery Project grant DP130104304