Reliably Secure Software Systems (RS3) –
DFG Priority Programme 1496

Export 3 results:
Author Title Type [ Year(Desc)]
Filters: Author is C. Scheben  [Clear All Filters]
2012
C. Scheben and Schmitt, P., “Verification of Information Flow Properties of Java Programs without Approximations”, in Proceedings of the Formal Verification of Object-Oriented Software (FoVeOOS 2011), 2012.
2013
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.
2014
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.