@inproceedings {198403,
	author = {David Rupprecht and Kai Jansen and Christina P{\"o}pper},
	title = {Putting {LTE} Security Functions to the Test: A Framework to Evaluate Implementation Correctness},
	booktitle = {10th USENIX Workshop on Offensive Technologies (WOOT 16)},
	year = {2016},
	address = {Austin, TX},
	url = {https://www.usenix.org/conference/woot16/workshop-program/presentation/rupprecht},
	publisher = {USENIX Association},
	month = aug
}
