A Novel Cryptographic Framework for Cloud File Systems and CryFS, a Provably-Secure Construction. - Sebastian Messmer; Jochen Rill; Dirk Achenbach; Jörn Müller-Quade (IACR Cryptol. ePrint Arch., 2017)