@misc{cryptoeprint:2016:586,
    author = {Thomas Shrimpton; Martijn Stam; Bogdan Warinschi},
    title = {A Modular Treatment of Cryptographic APIs: The Symmetric-Key Case},
    howpublished = {Cryptology ePrint Archive, Report 2016/586},
    year = {2016},
    url = {https://eprint.iacr.org/2016/586},
}