
@conference {628,
	title = {Comprehending Isabelle/HOL{\textquoteright}s Consistency},
	booktitle = {Proceedings of the 26th European Symposium on Programming (ESOP)},
	year = {2017},
	author = {Ond{\v r}ej Kun{\v c}ar and Andrei Popescu}
}
@conference {610,
	title = {From Types to Sets by Local Type Definitions in Higher-Order Logic},
	booktitle = {Proceedings of the 7th International Conference on Interactive Theorem Proving (ITP)},
	year = {2016},
	author = {Ond{\v r}ej Kun{\v c}ar and Andrei Popescu}
}
@conference {623,
	title = {A Consistent Foundation for Isabelle/HOL},
	booktitle = {Proceedings of the 6th International Conference on Interactive Theorem Proving (ITP)},
	year = {2015},
	author = {Ond{\v r}ej Kun{\v c}ar and Andrei Popescu}
}
@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}
}
