
@conference {635,
	title = {The First-Order Logic of Hyperproperties},
	booktitle = {Proceedings of the 34th Symposium on Theoretical Aspects of Computer Science (STACS)},
	year = {2017},
	author = {Bernd Finkbeiner and Martin Zimmermann}
}
@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}
}
@conference {634,
	title = {Verifying Security Policies in Multi-agent Workflows with Loops},
	booktitle = {Proceedings of the 24th ACM Conference on Computer and Communications Security (CCS)},
	year = {2017},
	author = {Bernd Finkbeiner and Christian M{\"u}ller and Helmut Seidl and Eugen Zalinescu}
}
@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}
}
@booklet {587,
	title = {Security in Web-Based Workflows},
	howpublished = {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}
}
@conference {591,
	title = {SHRIFT System-wide HybRid Information Flow Tracking},
	booktitle = {Proceedings of the 30th International Information Security and Privacy Conference (IFIP SEC)},
	year = {2015},
	author = {Enrico Loval and Alexander Fromm and Martin Mohr and Alexander Pretschner}
}
@conference {inp:ArztRasthoferFritzBoddenBarteKleinTraonOctreauMcDaniel2013,
	title = {FlowDroid: Precise Context, Flow, Field, Object-sensitive and Lifecycle-aware Taint Analysis for Android Apps},
	booktitle = {Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2014)},
	year = {2014},
	author = {S. Arzt and S. Rasthofer and C. Fritz and E. Bodden and A. Barte and J. Klein and Y. Le Traon and D. Octeau and P. McDaniel}
}
@conference {inp:FennellThiemann2014,
	title = {Gradual Typing for Annotated Type Systems},
	booktitle = {Proceedings of the 23rd European Symposium on Programming (ESOP 2014)},
	year = {2014},
	author = {L. Fennell and P. Thiemann}
}
@conference {inp:ClarksonFinkbeinerKoleiniMicinskiRabeSanchet2014,
	title = {Temporal Logics for Hyperproperties},
	booktitle = {Proceedings of the 3rd Conference on Principles of Security and Trust (POST 2014)},
	year = {2014},
	author = {M. R. Clarkson and B. Finkbeiner and M. Koleini and K. K. Micinski and M. N. Rabe and C. S{\'a}nchez}
}
@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:FennellThiemann2013,
	title = {Gradual Security Typing with References},
	booktitle = {Proceedings of the 26th IEEE Computer Security Foundations Symposium (CSF 2013)},
	year = {2013},
	pages = {224-239},
	keywords = {conference},
	author = {L. Fennell and P. Thiemann}
}
@conference {inp:KovacsSeidlFinkbeiner13,
	title = {Relational Abstract Interpretation for the Verification of 2-Hypersafety Properties},
	booktitle = {Proceedings of the 20th ACM Conference on Computer and Communications Security (CCS 2013)},
	year = {2013},
	author = {M. Kov{\'a}cs and H. Seidl and B. Finkbeiner}
}
@conference {inp:FennellThiemann2012,
	title = {The Blame Theorem for a Linear Lambda Calculus with Type Dynamic},
	booktitle = {Proceedings of the Symposium on Trends in Functional Programming (TFP 2012)},
	year = {2012},
	author = {L. Fennell and P. Thiemann}
}
@conference {inp:KatkalovFischerStenzelMoebiusReif2012,
	title = {Evaluation of Jif and Joana as information flow analyzers in a model-driven approach},
	booktitle = {Proceedings of 7th International Workshop on Data Privacy Management (DPM 2012)},
	year = {2012},
	author = {K. Katkalov and P. Fischer and K. Stenzel and N. Moebius and W. Reif}
}
@conference {inp:LehmannFahland2012b,
	title = {Information Flow Security for Business Process Models - just one click away},
	booktitle = {Proceedings of the 10th International Conference on Business Process Management - Demo Track (BPM 2012)},
	year = {2012},
	author = {A. Lehmann and D. Fahland}
}
@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: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:FreilingSchinzel2011a,
	title = {Detecting Hidden Storage Side Channel Vulnerabilities in Networked Applications},
	booktitle = {Proceedings of the 26th International Information Security Conference (IFIP/SEC 2011)},
	year = {2011},
	author = {F. Freiling and S. Schinzel}
}
