
@conference {inp:ArztBodden2014,
	title = {Reviser: Efficiently Updating IDE-/IFDS-Based Data-Flow Analyses in Response to Incremental Program Changes},
	booktitle = {Proceedings of the 36th International Conference on Software Engineering (ICSE 2014)},
	year = {2014},
	note = {To appear.},
	author = {S. Arzt and E. Bodden}
}
@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: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:PretschnerLovatBuechler2011,
	title = {{Representation-Independent Data Usage Control}},
	booktitle = {6th International Workshop on Data Privacy Management (DPM 2011)},
	year = {2011},
	author = {A. Pretschner and E. Lovat and M. Buechler}
}
