First Provably Secure End-to-End Encrypted Cloud Storage (twitter.com)

2 points by H8crilA 2y ago ↗ HN

1 comment

[ 2.4 ms ] story [ 12.8 ms ] thread

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