@inproceedings {191934,
	author = {Benjamin Beurdouche and Antoine Delignat-Lavaud and Nadim Kobeissi and Alfredo Pironti and Karthikeyan Bhargavan},
	title = {{FLEXTLS}: A Tool for Testing {TLS} Implementations},
	booktitle = {9th USENIX Workshop on Offensive Technologies (WOOT 15)},
	year = {2015},
	address = {Washington, D.C.},
	url = {https://www.usenix.org/conference/woot15/workshop-program/presentation/beurdouche},
	publisher = {USENIX Association},
	month = aug
}
