A Modular Treatment of Cryptographic APIs: The Symmetric-Key Case
From MaRDI portal
Publication:2835591
DOI10.1007/978-3-662-53018-4_11zbMath1378.94063OpenAlexW2506192635MaRDI QIDQ2835591
Martijn Stam, Bogdan Warinschi, Thomas Shrimpton
Publication date: 30 November 2016
Published in: Advances in Cryptology – CRYPTO 2016 (Search for Journal in Brave)
Full work available at URL: http://ia.cr/2016/586
Related Items
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- GNUC: a new universal composability framework
- Towards Unconditional Soundness: Computationally Complete Symbolic Attacker
- Efficient Padding Oracle Attacks on Cryptographic Hardware
- Analysing PKCS#11 Key Management APIs with Unbounded Fresh Data
- A Provable-Security Treatment of the Key-Wrap Problem
- More on Key Wrapping
- On the Security of PKCS #11
- Automatic Analysis of the Security of XOR-Based Key Management Schemes