
@conference {inp:SchebenSchmitt2014,
	title = {Efficient Self-Composition for Weakest Precondition Calculi},
	booktitle = {Proceedings of the 19th International Symposium on Formal Methods (FM 2014)},
	year = {2014},
	author = {C. Scheben and P. H. Schmitt}
}
@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:SchebenSchmitt2012a,
	title = {{Verification of Information Flow Properties of Java Programs without Approximations}},
	booktitle = {Proceedings of the Formal Verification of Object-Oriented Software (FoVeOOS 2011)},
	year = {2012},
	author = {C. Scheben and P. Schmitt}
}
