
@conference {625,
	title = {WebPol: Fine-grained Information Flow Policies for Web Browsers},
	booktitle = {Proceedings of the 22nd European Symposium on Research in Computer Security (ESORICS)},
	year = {2017},
	author = {Abhishek Bichhawat and Vineet Rajani and Jinank Jain and Deepak Garg and Christian Hammer}
}
@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 {inp:JagerSchinzelSmorovsky2012a,
	title = {{Bleichenbacher{\textquoteright}s Attack Strikes Again: Breaking PKCS\#1 v1.5 in XML Encryption}},
	booktitle = {Proceedings of the 17th European Symposium on Research in Computer Security (ESORICS 2012)},
	year = {2012},
	author = {T. Jager and S. Schinzel and J Smorovksy}
}
@conference {inp:OchoaJuerjensCuellar2012a,
	title = {Non-interference on {UML} {S}tate-charts},
	booktitle = {Proceedings of the 50th International Conference on Objects, Models, Components, Patterns (TOOLS Europe 2012)},
	year = {2012},
	author = {M. Ochoa and J. J{\"u}rjens and J. C{\'u}ellar}
}
@conference {inp:OchoaJuerjensWarzecha2012a,
	title = {A Sound Decision Procedure for the Compositionality of Secrecy},
	booktitle = {Proceedings of the 4th International Symposium on Engineering Secure Software and Systems (ESSoS 2012)},
	year = {2012},
	author = {M. Ochoa and J. J{\"u}rjens and D. Warzecha}
}
