
@article {631,
	title = {Automatic Detection and Demonstrator Generation for Information Flow Leaks in Object-Oriented Programs},
	journal = {Computers \& Security},
	volume = {67},
	year = {2017},
	author = {Quoc Huy Do and Richard Bubel and Reiner H{\"a}hnle}
}
@conference {614,
	title = {Combining Static Analysis with Probabilistic Models to Enable Market-Scale Android Inter-component Analysis},
	booktitle = {Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)},
	year = {2016},
	author = {Damien Octeau and Somesh Jha and Matthew Dering and Patrick McDaniel and Alexandre Bartel and Li Li and Jacques Klein and Yves Le Traon}
}
@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 {618,
	title = {Towards Fully Automatic Logic-Based Information Flow Analysis: An Electronic-Voting Case Study},
	booktitle = {Proceedings of the 5th International Conference on Principles of Security and Trust (POST)},
	year = {2016},
	author = {Huy Quoc Do and Eduard Kamburjan and Nathan Wasser}
}
@conference {632,
	title = {Exploit Generation for Information Flow Leaks in Object-Oriented Programs},
	booktitle = {Proceedings of the 30th International Information Security and Privacy Conference (IFIP SEC)},
	year = {2015},
	author = {Quoc Huy Do and Richard Bubel and Reiner H{\"a}hnle}
}
@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}
}
@booklet {588,
	title = {Security in E-Voting},
	journal = {Poster at the IEEE Symposium on Security and Privacy (S\&P)},
	year = {2015},
	author = {Daniel Bruns and Huy Quoc Do and Simon Greiner and Mihai Herda and Martin Mohr and Enrico Scapin and Tomasz Truderung and Bernhard Beckert and Ralf K{\"u}sters and Heiko Mantel and Richard Gay}
}
@conference {inp:DimitrovaFinkbeinerKovacsRabeSeidl2012a,
	title = {Model Checking Information Flow in Reactive Systems},
	booktitle = {Proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2012)},
	year = {2012},
	author = {R. Dimitrova and B. Finkbeiner and M. Kov{\'a}cs and M. Rabe and H. Seidl}
}
@conference {inc:DimitrovaFinkbeinerRabe2012,
	title = {Monitoring Temporal Information Flow},
	booktitle = {Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change},
	year = {2012},
	author = {R. Dimitrova and B. Finkbeiner and M. N. Rabe}
}
