@inproceedings {220590,
	author = {Mathy Vanhoef and Frank Piessens},
	title = {Symbolic Execution of Security Protocol Implementations: Handling Cryptographic Primitives},
	booktitle = {12th USENIX Workshop on Offensive Technologies (WOOT 18)},
	year = {2018},
	address = {Baltimore, MD},
	url = {https://www.usenix.org/conference/woot18/presentation/vanhoef},
	publisher = {USENIX Association},
	month = aug
}
