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

Export 5 results:
Author Title Type [ Year(Desc)]
Filters: Author is D. Bruns  [Clear All Filters]
2012
B. Beckert and Bruns, D., “Formal Semantics of Model Fields in Annotation-based Specifications”, in {KI 2012}: Advances in Artificial Intelligence, 2012.
B. Beckert, Bruns, D., and Grebing, S., “Mind the Gap: Formal Verification and the Common Criteria”, in Proceedings of the 6th International Verification Workshop (VERIFY 2010), 2012.
2013
B. Beckert and Bruns, D., “Dynamic Logic with Trace Semantics”, in Proceedings of the 24th International Conference on Automated Deduction (CADE-24), 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
D. Bruns, Mostowski, W., and Ulbrich, M., “Implementation-level Verification of Algorithms with Keęrn-.1emY”, Software Tools for Technology Transfer, 2014.