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
-
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},
url = {https://eprint.iacr.org/2005/333}
}
