A Modular Treatment of Cryptographic APIs: The Symmetric-Key Case.
IACR Cryptology ePrint Archive, (2016): 277-307
Application Programming Interfaces APIs to cryptographic tokens like smartcards and Hardware Security Modules HSMs provide users with commands to manage and use cryptographic keys stored on trusted hardware. Their design is mainly guided by industrial standards with only informal security promises. In this paper we propose cryptographic m...More
PPT (Upload PPT)