
@conference {inp:KuestersScapinTruderungGraf2014,
	title = {Extending and Applying a Framework for the Cryptographic Verification of Java Programs},
	booktitle = {Proceedings of the 3rd Conference on Principles of Security and Trust (POST 2014)},
	year = {2014},
	author = {R. K{\"u}sters and E. Scapin and T. Truderung and J. Graf},
	editor = {Mart{\'\i}n Abadi and Steve Kremer}
}
@conference {inp:KuestersTruderung2013,
	title = {A Hybrid Approach for Proving Noninterference and Applications to the Cryptographic Verification of {Java} Programs},
	booktitle = {Grande Region Security and Reliability Day 2013},
	year = {2013},
	note = {Extended Abstract},
	author = {R. K{\"u}sters and T. Truderung and B. Beckert and D. Bruns and J. Graf and C. Scheben}
}
@conference {inp:GrafHeckerMohrNordhoff2013,
	title = {Lock-sensitive Interference Analysis for Java: Combining Program Dependence Graphs with Dynamic Pushdown Networks},
	booktitle = {1st International Workshop on Interference and Dependence (ID 2013)},
	year = {2013},
	author = {J. Graf and M. Hecker and M. Mohr and B. Nordhoff}
}
@conference {inp:GrafHeckerMohr2013,
	title = {Using JOANA for Information Flow Control in Java Programs - A Practical Guide},
	booktitle = {Proceedings of the 6th Working Conference on Programming Languages (ATPS 2013)},
	year = {2013},
	author = {J. Graf and M. Hecker and M. Mohr}
}
@conference {inp:KuestersTruderungGraf2012a,
	title = {{A Framework for the Cryptographic Verification of Java-like Programs}},
	booktitle = {Proceedings of the 25th IEEE Computer Security Foundations Symposium (CSF 2012)},
	year = {2012},
	author = {R. K{\"u}sters and T. Truderung and J. Graf}
}
