On Fri, Nov 16, 2018 at 05:26:17PM -0800, Eric Biggers wrote: > > Therefore, we (well, Paul Crowley did the real work) designed a new > encryption mode, Adiantum. In essence, Adiantum makes it secure to use > the ChaCha stream cipher for disk encryption. Adiantum is specified by > our paper here: https://eprint.iacr.org/2018/720.pdf ("Adiantum: > length-preserving encryption for entry-level processors"). Reference > code and test vectors are here: https://github.com/google/adiantum. > Most of the high-level concepts of Adiantum are not new; similar > existing modes include XCB, HCTR, and HCH. Adiantum and these modes are > true wide-block modes (tweakable super-pseudorandom permutations), so > they actually provide a stronger notion of security than XTS. > In case anyone is interested: Paul and I have made some improvements to the Adiantum paper and have updated the preprint at the above link. The algorithm is still the same, but explanations have been improved and the proof has been redone using a different technique that is easier to follow. It also matches the version that will be published in IACR Transactions on Symmetric Cryptology (ToSC) Volume 2018 Issue 4. All versions of our paper can be found at https://eprint.iacr.org/2018/720, and the .tex source is at https://github.com/google/adiantum/tree/master/specification. - Eric