A Modular Treatment of Cryptographic APIs: The Symmetric-Key Case - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Thomas Shrimpton' in GoogleThis author has not been identified. Look up 'Martijn Stam' in GoogleThis author has not been identified. Look up 'Bogdan Warinschi' in Google

runs on WebDSL