Institute of Theoretical Informatics

Felix Dörre



Dörre, F.; Klebanov, V.
Practical Detection of Entropy Loss in Pseudo-Random Number Generators.
2016. CCS ’16 Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 678–689, ACM, New York (NY). doi:10.1145/2976749.2978369
Dörre, F.; Klebanov, V.
Pseudo-Random Number Generator Verification: A Case Study.
2016. Proceedings, Verified Software: Theories, Tools, and Experiments (VSTTE) : 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Hrsg.: A. Gurfinkel, 61–72, Springer International Publishing, Cham. doi:10.1007/978-3-319-29613-5_4