
@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 {626,
	title = {CoSMeDis: A Distributed Social Media Platform with Formally Verified Confidentiality Guarantees},
	booktitle = {Proceedings of the 38th IEEE Symposium on Security and Privacy (S\&P)},
	year = {2017},
	author = {Thomas Bauerei{\ss} and Armando Pesenti Gritti and Andrei Popescu and Franco Raimondi}
}
@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 {621,
	title = {Computing Specification-Sensitive Abstractions for Program Verification},
	booktitle = {Proceedings of the 2nd International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA)},
	year = {2016},
	author = {Tianhai Liu and Shmuel Tyszberowicz and Mihai Herda and Bernhard Beckert and Daniel Grahl and Mana Taghdiri}
}
@conference {609,
	title = {CoSMed: A Confidentiality-Verified Social Media Platform},
	booktitle = {Proceedings of the 7th International Conference on Interactive Theorem Proving (ITP)},
	year = {2016},
	author = {Thomas Bauerei{\ss} and Armando Pesenti Gritti and Andrei Popescu and Franco Raimondi}
}
@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}
}
@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}
}
@conference {inp:BauereissHutter2014a,
	title = {Compatibility of Safety Properties and Possibilistic Information Flow Security in {MAKS}},
	booktitle = {Proceedings of the 29th International Information Security and Privacy Conference (IFIP SEC 2014)},
	year = {2014},
	author = {T. Bauereiss and D. Hutter}
}
@conference {inp:KanavLammichPopescu2014,
	title = {A Conference Management System with Verified Document Confidentiality},
	booktitle = {Proceedings of the 26th International Conference on Computer Aided Verification (CAV 2014)},
	year = {2014},
	note = {To appear.},
	author = {S. Kanav and P. Lammich and A. Popescu}
}
@conference {inp:Lovat2014,
	title = {Cross-Layer Data-Centric Usage Control},
	booktitle = {Proceedings of the International Symposium on Engineering Secure Software and Systems - Doctoral Symposium (ESSoS 2014))},
	year = {2014},
	note = {To appear.},
	author = {E. Lovat}
}
@conference {inp:WuchnerMullerFischer2013,
	title = {{Compliance-Preserving Cloud Storage Federation Based on Data-Driven Usage Control}},
	booktitle = {Proceedings of the 5th International Conference on Cloud Computing Technology and Science (CloudCom 2013)},
	year = {2013},
	author = {T. W{\"u}chner and S. M{\"u}ller and R. Fischer}
}
@conference {inp:LammichMuellerOlmSeidlWenner2013,
	title = {Contextual Locking for Dynamic Pushdown Networks},
	booktitle = {Proceedings of the 20th International Symposium on Static Analysis (SAS 2013)},
	year = {2013},
	author = {P. Lammich and M. M{\"u}ller-Olm and H. Seidl and A. Wenner}
}
@conference {inp:KuestersTruderungVogt2012a,
	title = {{Clash Attacks on the Verifiability of E-Voting Systems}},
	booktitle = {Proceedings of the 33rd IEEE Symposium on Security and Privacy (S{\&}P 2012)},
	year = {2012},
	author = {R. K{\"u}sters and T. Truderung and A. Vogt}
}
