Mathy Vanhoef, Frank Piessens. Symbolic Execution of Security Protocol Implementations: Handling Cryptographic Primitives. In Christian Rossow, Yves Younan, editors, 12th USENIX Workshop on Offensive Technologies, WOOT 2018, Baltimore, MD, USA, August 13-14, 2018. USENIX Association, 2018. [doi]
@inproceedings{VanhoefP18-0,
title = {Symbolic Execution of Security Protocol Implementations: Handling Cryptographic Primitives},
author = {Mathy Vanhoef and Frank Piessens},
year = {2018},
url = {https://www.usenix.org/conference/woot18/presentation/vanhoef},
researchr = {https://researchr.org/publication/VanhoefP18-0},
cites = {0},
citedby = {0},
booktitle = {12th USENIX Workshop on Offensive Technologies, WOOT 2018, Baltimore, MD, USA, August 13-14, 2018},
editor = {Christian Rossow and Yves Younan},
publisher = {USENIX Association},
}