International Association for Cryptologic Research

International Association
for Cryptologic Research


Paper: Universally Composable Disk Encryption Schemes

Ivan Damgård
Kasper Dupont
Search ePrint
Search Google
Abstract: We propose a formalization of the security of transparent harddisk-encryption using the universal composability framework. We point out that several commercially available schemes for transparent hard disk encryption are built on principles that limit security, and we propose schemes for disk encryption with passive and active security, respectively. As for the efficiency of the schemes, security against active attacks can be obtained with a constant factor overhead in space and a logarithmic overhead in time. Finally, we also also sketch an actively secure scheme that provides some amount of security, even if the adversary is given temporary access to the internal state of the encryption device used.
  title={Universally Composable Disk Encryption Schemes},
  booktitle={IACR Eprint archive},
  keywords={cryptographic protocols},
  note={ 13052 received 23 Sep 2005, last revised 26 Sep 2005},
  author={Ivan Damgård and Kasper Dupont},