
@conference {611,
	title = {Practical Detection of Entropy Loss in Pseudo-Random Number Generators},
	booktitle = {Proceedings of the 23rd ACM Conference on Computer and Communications Security (CCS)},
	year = {2016},
	author = {Felix D{\"o}rre and Vladimir Klebanov}
}
@conference {601,
	title = {Pseudo-Random Number Generator Verification: A Case Study},
	booktitle = {Proceedings of the 7th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE)},
	year = {2015},
	author = {Felix D{\"o}rre and Vladimir Klebanov}
}
