On the provable security of key management APIs

Ryan Stanley-Oakes. On the provable security of key management APIs. PhD thesis, University of Bristol, UK, 2017. [doi]

Abstract

Abstract is missing.