Thomas Shrimpton, Martijn Stam, Bogdan Warinschi. A Modular Treatment of Cryptographic APIs: The Symmetric-Key Case. In Matthew Robshaw, Jonathan Katz, editors, Advances in Cryptology - CRYPTO 2016 - 36th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2016, Proceedings, Part I. Volume 9814 of Lecture Notes in Computer Science, pages 277-307, Springer, 2016. [doi]
Abstract is missing.