C
D. Octeau, Jha, S., Dering, M., McDaniel, P., Bartel, A., Li, L., Klein, J., and Le Traon, Y.,
“Combining Static Analysis with Probabilistic Models to Enable Market-Scale Android Inter-component Analysis”, in
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), 2016.
M
R. Dimitrova, Finkbeiner, B., Kovács, M., Rabe, M., and Seidl, H.,
“Model Checking Information Flow in Reactive Systems”, in
Proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2012), 2012.
R. Dimitrova, Finkbeiner, B., and Rabe, M. N.,
“Monitoring Temporal Information Flow”, in
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012.
P
F. Dörre and Klebanov, V.,
“Practical Detection of Entropy Loss in Pseudo-Random Number Generators”, in
Proceedings of the 23rd ACM Conference on Computer and Communications Security (CCS), 2016.
F. Dörre and Klebanov, V.,
“Pseudo-Random Number Generator Verification: A Case Study”, in
Proceedings of the 7th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE), 2015.
S
D. Bruns, Do, H. Quoc, Greiner, S., Herda, M., Mohr, M., Scapin, E., Truderung, T., Beckert, B., Küsters, R., Mantel, H., and Gay, R.,
“Security in E-Voting”,
Poster at the IEEE Symposium on Security and Privacy (S&P). 2015.