
@conference {624,
	title = {Modular Verification of Information-Flow Security in Component-Based Systems},
	booktitle = {Proceedings of the 15th International Conference on Software Engineering and Formal Methods (SEFM)},
	year = {2017},
	author = {Simon Greiner and Martin Mohr and Bernhard Beckert}
}
@conference {627,
	title = {Monitoring Hyperproperties},
	booktitle = {Proceedings of the 17th International Conference on Runtime Verification (RV)},
	year = {2017},
	author = {Bernd Finkbeiner and Christopher Hahn and Marvin Stenger and Leander Tentrup}
}
@article {ar:RasthoferArztBodden2014,
	title = {A Machine-learning Approach for Classifying and Categorizing Android Sources and Sinks},
	journal = {Proceedings of the Network and Distributed System Security Symposium (NDSS 2014)},
	year = {2014},
	author = {S. Rasthofer and S. Arzt and E. Bodden}
}
@conference {inp:WuchnerOchoaPretschner2014,
	title = {{Malware Detection with Quantitative Data Flow Graphs}},
	booktitle = {Proceedings of the 9th ACM Symposyum on Information, Computer and Communications Security (ASIACCS 2014)},
	year = {2014},
	note = {To appear.},
	author = {T. W{\"u}chner and M. Ochoa and A. Pretschner}
}
@conference {inp:BlanchettePopescu2013,
	title = {Mechanizing the Metatheory of Sledgehammer},
	booktitle = {Proceedings of the 9th International Symposium on Frontiers of Combining Systems (FroCos 2013)},
	year = {2013},
	author = {J. C. Blanchette and A. Popescu}
}
@conference {inp:StenzelKatkalovBorekReif2013a,
	title = {Model-Driven Development of Information Flow-Secure Systems with IFlow},
	booktitle = {Proceedings of 5th ASE/IEEE International Conference on Information Privacy, Security, Risk and Trust (PASSAT 2013)},
	year = {2013},
	author = {K. Katkalov and K. Stenzel and M. Borek and W. Reif}
}
@article {inp:StenzelKatkalovBorekReif2013b,
	title = {Model-Driven Development of Information Flow-Secure Systems with IFlow},
	journal = {ASE Science Journal},
	volume = {2},
	number = {2},
	year = {2013},
	author = {K. Katkalov and K. Stenzel and M. Borek and W. Reif}
}
@conference {inp:BeckertBruns2012b,
	title = {Mind the Gap: Formal Verification and the {Common} {Criteria}},
	booktitle = {Proceedings of the 6th International Verification Workshop (VERIFY 2010)},
	year = {2012},
	author = {B. Beckert and D. Bruns and S. Grebing}
}
@conference {inp:DimitrovaFinkbeinerKovacsRabeSeidl2012a,
	title = {Model Checking Information Flow in Reactive Systems},
	booktitle = {Proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2012)},
	year = {2012},
	author = {R. Dimitrova and B. Finkbeiner and M. Kov{\'a}cs and M. Rabe and H. Seidl}
}
@conference {inp:LehmannLohmann2012a,
	title = {Model support for confidential service-oriented business processes},
	booktitle = {Proceedings of the 4th Central-European Workshop on Services and their Composition (ZEUS 2012)},
	year = {2012},
	address = {Bamberg, Germany},
	author = {A. Lehmann and N. Lohmann}
}
@conference {inp:LehmannLohmann2012b,
	title = {Modeling wizard for confidential Business Processes},
	booktitle = {1st Joint International Workshop on Security in Business Processes (SBP)},
	year = {2012},
	author = {A. Lehmann and N. Lohmann}
}
@conference {inp:EhlersFinkbeiner2011a,
	title = {Monitoring Realizability},
	booktitle = {Proceedings of the 2nd International Conference on Runtime Verification (RV 2011)},
	year = {2012},
	author = {R. Ehlers and B. Finkbeiner}
}
@conference {inc:DimitrovaFinkbeinerRabe2012,
	title = {Monitoring Temporal Information Flow},
	booktitle = {Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change},
	year = {2012},
	author = {R. Dimitrova and B. Finkbeiner and M. N. Rabe}
}
@conference {inp:BlanchettePopescuWandWeidenbach2012,
	title = {More SPASS with Isabelle - Superposition with Hard Sorts and Configurable Simplification},
	booktitle = {Proceedings of the 3rd Conference on Interactive Theorem Proving (ITP 2012)},
	year = {2012},
	author = {J. C. Blanchette and A. Popescu and D. Wand and C. Weidenbach}
}
