
@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 {620,
	title = {Sound Probabilistic $\#$SAT with Projection},
	booktitle = {Proceedings of the 14th International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL)},
	year = {2016},
	author = {Vladimir Klebanov and Alexander Weigl and J{\"o}rg Weisbarth}
}
@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}
}
@conference {598,
	title = {Information Flow in Object-Oriented Software},
	booktitle = {Proceedings of the 24th International Symposium on Logic Based Program Synthesis and Transformation (LOPSTR)},
	year = {2014},
	author = {Bernhard Beckert and Daniel Bruns and Vladimir Klebanov and Christoph Scheben and Peter H. Schmitt and Matthias Ulbrich}
}
@conference {599,
	title = {The KeY Platform for Verification and Analysis of Java Programs},
	booktitle = {Proceedings of the 6th Working Conference on Verified Software: Theories, Tools, and Experiments},
	year = {2014},
	author = {Wolfgang Ahrendt and Bernhard Beckert and Daniel Bruns and Richard Bubel and Christoph Gladisch and Sarah Grebing and Reiner H{\"a}hnle and Martin Henschel and Mihai Herda and Vladimir Klebanov and Wojciech Mostowski and Christoph Scheben and Peter~H. Schmitt and Mattias Ulbrich}
}
