Paper 2005/333

Universally Composable Disk Encryption Schemes

Ivan Damgård and Kasper Dupont


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.

Available format(s)
Publication info
Published elsewhere. Unknown where it was published
cryptographic protocols
Contact author(s)
ivan @ daimi au dk
2005-09-26: revised
2005-09-25: received
See all versions
Short URL
Creative Commons Attribution


      author = {Ivan Damgård and Kasper Dupont},
      title = {Universally Composable Disk Encryption Schemes},
      howpublished = {Cryptology ePrint Archive, Paper 2005/333},
      year = {2005},
      note = {\url{}},
      url = {}
Note: In order to protect the privacy of readers, does not use cookies or embedded third party content.