
@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 {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 {604,
	title = {A Fully Decentralized Data Usage Control Enforcement Infrastructure},
	booktitle = {Proceedings of the 13th International Conference on Applied Cryptography and Network Security},
	year = {2015},
	author = {Florian Kelbert 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:KuestersTruderungVogt2014,
	title = {{Formal Analysis of Chaumian Mix Nets with Randomized Partial Checking}},
	booktitle = {Proceedings of the 35th IEEE Symposium on Security and Privacy (S\&P 2014)},
	year = {2014},
	note = {To appear.},
	author = {R. K{\"u}sters and T. Truderung and A. Vogt}
}
@article {ar:GreweMantelSchoepe2014,
	title = {A Formalization of Assumptions and Guarantees for Compositional Noninterference},
	journal = {Archive of Formal Proofs},
	year = {2014},
	month = {apr},
	issn = {2150-914x},
	author = {S. Grewe and H. Mantel and D. Schoepe}
}
@article {ar:GreweLuxMantelSauer2014b,
	title = {A Formalization of Declassification with WHAT-and-WHERE-Security},
	journal = {Archive of Formal Proofs},
	year = {2014},
	month = {apr},
	issn = {2150-914x},
	author = {S. Grewe and A. Lux and H. Mantel and J. Sauer}
}
@article {ar:GreweLuxMantelSauer2014a,
	title = {A Formalization of Strong Security},
	journal = {Archive of Formal Proofs},
	year = {2014},
	month = {apr},
	issn = {2150-914x},
	author = {S. Grewe and A. Lux and H. Mantel and J. Sauer}
}
@conference {inp:StenzelKatkalovBorekReif2014,
	title = {Formalizing Information Flow Control in a Model-Driven Approach},
	booktitle = {Proceedings of the Information Communication Technology-EurAsia (ICT-EurAsia 2014)},
	year = {2014},
	author = {K. Stenzel and K. Katkalov and M. Borek and W. Reif}
}
@article {inp:PopescuHoelzlNipkow2013a,
	title = {Formal Verification of Language-Based Concurrent Noninterference},
	journal = {J. Formalized Reasoning},
	volume = {6},
	number = {1},
	year = {2013},
	pages = {1-30},
	author = {A. Popescu and J. H{\"o}lzl and T. Nipkow}
}
@conference {inp:PopescuHoelzlNipkow2013b,
	title = {Formalizing Probabilistic Noninterference},
	booktitle = {Proceedings of the 3rd International Conference on Certified Programs and Proofs (CPP 2013)},
	year = {2013},
	author = {A. Popescu and J. H{\"o}lzl and T. Nipkow}
}
@conference {inp:BeckertBruns2012a,
	title = {Formal Semantics of Model Fields in Annotation-based Specifications},
	booktitle = {{KI 2012}: Advances in Artificial Intelligence},
	year = {2012},
	author = {B. Beckert and D. Bruns}
}
@conference {inp:MannStarostin2012a,
	title = {A Framework for Static Detection of Privacy Leaks in Android Applications},
	booktitle = {Proceedings of the 27th Symposium on Applied Computing (SAC 2012)},
	year = {2012},
	author = {C. Mann and A. Starostin}
}
@conference {inp:KuestersTruderungGraf2012a,
	title = {{A Framework for the Cryptographic Verification of Java-like Programs}},
	booktitle = {Proceedings of the 25th IEEE Computer Security Foundations Symposium (CSF 2012)},
	year = {2012},
	author = {R. K{\"u}sters and T. Truderung and J. Graf}
}
