
@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}
}
