Paper 2005/333

Universally Composable Disk Encryption Schemes

Ivan Damgård and Kasper Dupont

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.

Metadata
Available format(s)
PDF
Publication info
Published elsewhere. Unknown where it was published
Keywords
cryptographic protocols
Contact author(s)
ivan @ daimi au dk
History
2005-09-26: revised
2005-09-25: received
See all versions
Short URL
https://ia.cr/2005/333
License
Creative Commons Attribution
CC BY

BibTeX

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