2 ms·First Provably Secure End-to-End Encrypted Cloud Storage2 points by H8crilA 2y agoH8crilA 2y agoSee also what can go wrong when you don't formally verify your encrypted cloud storage system: https://mega-awry.io/ https://mega-awry.io/