
@conference {620,
	title = {Sound Probabilistic $\#$SAT with Projection},
	booktitle = {Proceedings of the 14th International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL)},
	year = {2016},
	author = {Vladimir Klebanov and Alexander Weigl and J{\"o}rg Weisbarth}
}
@conference {618,
	title = {Towards Fully Automatic Logic-Based Information Flow Analysis: An Electronic-Voting Case Study},
	booktitle = {Proceedings of the 5th International Conference on Principles of Security and Trust (POST)},
	year = {2016},
	author = {Huy Quoc Do and Eduard Kamburjan and Nathan Wasser}
}
@booklet {586,
	title = {Software Security for Mobile Devices},
	howpublished = {Poster at the IEEE Symposium on Security and Privacy (S\&P)},
	year = {2015},
	author = {Steven Arzt and Alexandre Bartel and Richard Gay and Steffen Lortz and Enrico Lovat and Heiko Mantel and Martin Mohr and Benedikt Nordhoff and Matthias Perner and Siegfried Rasthofer and David Schneider and Gregor Snelting and Artem Starostin and Alexandra Weber}
}
@conference {594,
	title = {Using Dynamic Pushdown Networks to Automate a Modular Information-Flow Analysis},
	booktitle = {Pre-Proceedings of the 25th International Symposium on Logic Based Program Synthesis and Transformation (LOPSTR)},
	year = {2015},
	author = {Heiko Mantel and Markus M{\"u}ller-Olm and Matthias Perner and Alexander Wenner}
}
@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: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:BlasumHavleLangensteinNemouchiSchmaltzStephanTverdyshevVerbeekWolff2014,
	title = {Using Isabelle/HOL to Develop and Maintain Separation Invariants for an Operating System},
	booktitle = {Isabelle 2014 workshop at FloC 2014},
	year = {2014},
	author = {H. Blasum and O. Havle and B. Langenstein and Y. Nemouchi and J. Schmaltz and W. Stephan and S. Tverdyshew and F. Verbeek and B. Wolf}
}
@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: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}
}
@conference {inp:OchoaJuerjensWarzecha2012a,
	title = {A Sound Decision Procedure for the Compositionality of Secrecy},
	booktitle = {Proceedings of the 4th International Symposium on Engineering Secure Software and Systems (ESSoS 2012)},
	year = {2012},
	author = {M. Ochoa and J. J{\"u}rjens and D. Warzecha}
}
@conference {inp:LehmannLohmannWolf2012a,
	title = {Stubborn Sets for Simple Linear Time Properties},
	booktitle = {Proceedings of 33rd International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2012)},
	year = {2012},
	author = {A. Lehmann and N. Lohmann and K. Wolf}
}
@conference {inp:GawlitzaLMSW2011,
	title = {Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation},
	booktitle = {Proceedings of the 12th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2011)},
	year = {2011},
	author = {T. M. Gawlitza and P. Lammich and M. M{\"u}ller-Olm and H. Seidl and A. Wenner}
}
@conference {inp:AccorsiWonnemann2011a,
	title = {Strong non-leak guarantees for workflow models},
	booktitle = {Proceedings of the 26th ACM Symposium on Applied Computing (SAC 2011)},
	year = {2011},
	author = {R. Accorsi and C. Wonnemann}
}
@conference {inp:WasserabLohner2010a,
	title = {Proving Information Flow Noninterference by Reusing a Machine-Checked Correctness Proof for Slicing},
	booktitle = {6th International Verification Workshop (VERIFY 2010)},
	year = {2010},
	author = {D. Wasserrab and D. Lohner}
}
