DKM: Design and Verification of a Crypto-Agile Distributed Key Manager

DKM: Design and Verification of a Crypto-Agile Distributed Key Manager

Tolga Acar, Cédric Fournet, and Dan Shumow.