
@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 {592,
	title = {Information Flow Control for Event Handling and the DOM in Web Browsers},
	booktitle = {Proceedings of the 28th IEEE Computer Security Foundations Symposium (CSF)},
	year = {2015},
	author = {Vineet Rajani and Abhishek Bichhawat and Deepak Gark and Christian Hammer}
}
@booklet {587,
	title = {Security in Web-Based Workflows},
	journal = {Poster at the IEEE Symposium on Security and Privacy (S\&P)},
	year = {2015},
	author = {Thomas Bauereiss and Abhishek Bichhawat and Iulia Bolosteanu and Peter Faymonville and Bernd Finkbeiner and Deepak Garg and Richard Gay and Sergey Grebenshchikov and Christian Hammer and Dieter Hutter and Ond{\v r}ej Kun{\v c}ar and Peter Lammich and Heiko Mantel and Christian M{\"u}ller and Andrei Popescu and Markus Rabe and Vineet Rajani and Helmut Seidl and Markus Tasch and Leander Tentrup}
}
@article {582,
	title = {Checking Probabilistic Noninterference Using JOANA},
	journal = {it - Information Technology},
	year = {2014},
	author = {Gregor Snelting and Dennis Giffhorn and J{\"u}rgen Graf and Christian Hammer and Martin Hecker and Martin Mohr and Daniel Wasserrab}
}
