
@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 {616,
	title = {On Access Control, Capabilities, Their Equivalence, and Confused Deputy Attacks},
	booktitle = {Proceedings of the 29th IEEE Computer Security Foundations Symposium (CSF)},
	year = {2016},
	author = {Vineet Rajani and Deepak Garg and Tamara Rezk}
}
@conference {615,
	title = {Asymmetric Secure Multi-execution with Declassification},
	booktitle = {Proceedings of the 5th International Conference on Principles of Security and Trust (POST)},
	year = {2016},
	author = {Iulia Bolosteanu and Deepak Garg}
}
@conference {600,
	title = {Algorithms for Model Checking HyperLTL and HyperCTL*},
	booktitle = {Proceedings of the 27th International Conference on Computer Aided Verification (CAV)},
	year = {2015},
	author = {Bernd Finkbeiner and Markus Rabe and C{\'e}sar S{\'a}nchez}
}
@conference {inp:AccorsiLehmann2012a,
	title = {Automatic Information Flow Analysis of Business Process Models},
	booktitle = {10th International Conference on Business Process Management (BPM 2012)},
	year = {2012},
	author = {R. Accorsi and A. Lehmann}
}
@conference {inp:KoepfMauborgneOchoa2012a,
	title = {Automatic Quantification of Cache Side-Channels},
	booktitle = {Proceedings of the 24th International Conference on Computer Aided Verification (CAV 2012)},
	year = {2012},
	author = {B. K{\"o}pf and L. Mauborgne and M. Ochoa}
}
@conference {inp:Accorsi2011a,
	title = {Anwenden struktureller Nicht-Interferenz zur Sicherheitsanalyse von Workflow-Modellen},
	booktitle = {Proceedings of INFORMATIK 2011 - Dependable Software for Critical Infrastructures (DSCI 2011)},
	year = {2011},
	author = {R. Accorsi}
}
@conference {inp:MantelSandsSudbrock2011a,
	title = {{Assumptions and Guarantees for Compositional Noninterference}},
	booktitle = {Proceedings of the 24th IEEE Computer Security Foundations Symposium (CSF 2011)},
	year = {2011},
	author = {H. Mantel and D. Sands and H. Sudbrock}
}
