@conference {inp:SeidlKovacs2014, title = {Interprocedural Information Flow Analysis of XML Processors}, booktitle = {Proceedings of the 8th International Conference on Language and Automata Theory and Applications (LATA 2014)}, year = {2014}, author = {H. Seidl and M. Kov{\'a}cs} } @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: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: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:KovacsSeidl2012a, title = {Runtime Enforcement of Information Flow Security in Tree Manipulating Processes}, booktitle = {Proceedings of the 4th International Symposium on Engineering Secure Software and Systems (ESSoS 2012)}, year = {2012}, author = {M. Kov{\'a}cs and H. Seidl} } @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:SchwarzSVLM11, title = {Static Analysis of Interrupt-Driven Programs Synchronized via the Priority Ceiling Protocol}, booktitle = {Proceedings of the 38th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL 2011)}, year = {2011}, author = {M. D. Schwarz and H. Seidl and V. Vojdani and P. Lammich and M. M{\"u}ller-Olm} }