A Modular Treatment of Cryptographic APIs: The Symmetric-Key Case.

Thomas Shrimpton, Martijn Stam, Bogdan Warinschi

Browse the full CRYPTO paper archive.