International Association for Cryptologic Research

International Association
for Cryptologic Research


Paper: Intrusion-Resilience via the Bounded-Storage Model

Stefan Dziembowski
Search ePrint
Search Google
Abstract: We introduce a new method of achieving intrusion-resilience in the cryptographic protocols. More precisely we show how to preserve security of such protocols, even if a malicious program (e.g. a virus) was installed on a computer of an honest user (and it was later removed). The security of our protocols relies on the assumption that the amount of data that the adversary can transfer from the infected machine is limited (however, we allow the adversary to perform any efficient computation on user's private data, before deciding on what to transfer). We focus on two cryptographic tasks, namely: authenticated key exchange and entity authentication. Our method is based on the results from the Bounded-Storage Model.
  title={Intrusion-Resilience via the Bounded-Storage Model},
  booktitle={IACR Eprint archive},
  keywords={cryptographic protocols / key management, bounded-storage model},
  note={ 13307 received 14 Jun 2005, last revised 7 Jun 2006},
  author={Stefan Dziembowski},