Key Derivation Functions Without a Grain of SaltMatilda BackendalSebastian Clermontet al.2025Eurocrypt 2025
A Formal Treatment of End-to-End Encrypted Cloud StorageMatilda BackendalHannah Daviset al.2024CRYPTO 2024