First Provably Secure End-to-End Encrypted Cloud Storage

See also what can go wrong when you don't formally verify your encrypted cloud storage system: https://mega-awry.io/