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

Export 1 results:
Author Title Type [ Year(Desc)]
Filters: Author is C. Scheben and First Letter Of Title is H  [Clear All Filters]
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.