Conference Paper
R. Küsters, Truderung, T., Beckert, B., Bruns, D., Graf, J., and Scheben, C.,
“A Hybrid Approach for Proving Noninterference and Applications to the Cryptographic Verification of Java Programs”, in
Grande Region Security and Reliability Day 2013, 2013.
C. Scheben and Schmitt, P. H.,
“Efficient Self-Composition for Weakest Precondition Calculi”, in
Proceedings of the 19th International Symposium on Formal Methods (FM 2014), 2014.