
@conference {613,
	title = {On Improvements Of Low-Deterministic Security},
	booktitle = {Proceedings of the 5th International Conference on Principles of Security and Trust (POST)},
	year = {2016},
	author = {Joachim Breitner and J{\"u}rgen Graf and Martin Hecker and Martin Mohr and Gregor Snelling}
}
@conference {602,
	title = {IccTA: Detecting Inter-Component Privacy Leaks in Android Apps},
	booktitle = {Proceedings of the 37th International Conference on Software Engineering (ICSE)},
	year = {2015},
	author = {Li Li and Alexandre Bartel and Tegawend{\'e} F. Bissyand{\'e} and Jacques Klein and Yves Le Traon and Steven Arzt and Siegfried Rasthofer and Eric Bodden and Damien Octeau and Patrick McDaniel}
}
@conference {592,
	title = {Information Flow Control for Event Handling and the DOM in Web Browsers},
	booktitle = {Proceedings of the 28th IEEE Computer Security Foundations Symposium (CSF)},
	year = {2015},
	author = {Vineet Rajani and Abhishek Bichhawat and Deepak Gark and Christian Hammer}
}
@article {ar:BrunsMostowskiUlbrich2014,
	title = {Implementation-level Verification of Algorithms with {Ke{\k e}rn-.1emY}},
	journal = {Software Tools for Technology Transfer},
	year = {2014},
	note = {To appear.},
	publisher = {Springer},
	author = {D. Bruns and W. Mostowski and M. Ulbrich}
}
@conference {inp:BichhawatRajaniGargHammer2014a,
	title = {Information Flow Control in WebKit{\textquoteright}s JavaScript Bytecode},
	booktitle = {Proceedings of the 3rd conference on Principles of Security and Trust (POST 2014)},
	year = {2014},
	author = {A. Bichhawat and V. Rajani and D. Garg and C. Hammer}
}
@conference {598,
	title = {Information Flow in Object-Oriented Software},
	booktitle = {Proceedings of the 24th International Symposium on Logic Based Program Synthesis and Transformation (LOPSTR)},
	year = {2014},
	author = {Bernhard Beckert and Daniel Bruns and Vladimir Klebanov and Christoph Scheben and Peter H. Schmitt and Matthias Ulbrich}
}
@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:NordhoffMuellerOlmLammich2013,
	title = {{Iterable Forward Reachability Analysis of Monitor-DPNs}},
	booktitle = {Proceedings of Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday (Festschrift for Dave Schmidt)},
	year = {2013},
	author = {B. Nordhoff and M. M{\"u}ller-Olm and P. Lammich}
}
@conference {inp:CuellarOchoaRios2012a,
	title = {Indistinguishable regions in Geographic Location Privacy},
	booktitle = {Proceedings of the 27th ACM Symposium on Applied Computing (SAC 2012)},
	year = {2012},
	author = {J. C{\'u}ellar and M. Ochoa and R. Rios}
}
@conference {inp:LehmannFahland2012b,
	title = {Information Flow Security for Business Process Models - just one click away},
	booktitle = {Proceedings of the 10th International Conference on Business Process Management - Demo Track (BPM 2012)},
	year = {2012},
	author = {A. Lehmann and D. Fahland}
}
@conference {inp:TaghdiriSneltingSinz2010a,
	title = {Information Flow Analysis via Path Condition Refinement},
	booktitle = {Proceedings of the 7th International Workshop on Formal Aspects of Security and Trust (FAST 2010)},
	year = {2010},
	author = {M. Taghdiri and G. Snelting and C. Sinz}
}
