Key Derivation Functions Without a Grain of SaltMatilda BackendalSebastian Clermontet al.2025Eurocrypt 2025Conference paper
Verifiable Verification in Cryptographic ProtocolsMarc FischlinFelix Günther2023CCS 2023Conference paper