2014
A. Bichhawat, Rajani, V., Garg, D., and Hammer, C.,
“Information Flow Control in WebKit's JavaScript Bytecode”, in
Proceedings of the 3rd conference on Principles of Security and Trust (POST 2014), 2014.
W. Ahrendt, Beckert, B., Bruns, D., Bubel, R., Gladisch, C., Grebing, S., Hähnle, R., Henschel, M., Herda, M., Klebanov, V., Mostowski, W., Scheben, C., Schmitt, P. H., and Ulbrich, M.,
“The KeY Platform for Verification and Analysis of Java Programs”, in
Proceedings of the 6th Working Conference on Verified Software: Theories, Tools, and Experiments, 2014.
W. Ahrendt, Beckert, B., Bruns, D., Bubel, R., Gladisch, C., Grebing, S., Hähnle, R., Henschel, M., Herda, M., Klebanov, V., Mostowski, W., Scheben, C., Schmitt, P. H., and Ulbrich, M.,
“The KeY Platform for Verification and Analysis of Java Programs”, in
Proceedings of the 6th Working Conference on Verified Software: Theories, Tools, and Experiments, 2014.
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.
2012
R. Küsters, Truderung, T., and Graf, J.,
“A Framework for the Cryptographic Verification of Java-like Programs”, in
Proceedings of the 25th IEEE Computer Security Foundations Symposium (CSF 2012), 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.
C. Atkinson, Gerbig, R., and Kennel, B.,
“On-the-Fly Emendation of Multi-level Models”, in
8th European Conference on Modelling Foundations and Applications (ECMFA 2012), 2012.
R. Gay, Mantel, H., and Sprick, B.,
“Service Automata”, in
Proceedings of the 8th International Workshop on Formal Aspects of Security and Trust (FAST 2011), 2012.
C. Atkinson, Gerbig, R., and Kennel, B.,
“Symbiotic general-purpose and domain-specific languages”, in
Proceedings of the 34th International Conference on Software Engineering (ICSE 2012), 2012.
C. Atkinson, Gerbig, R., and Tunjic, C.,
“Towards Multi-level Aware Model Transformations”, in
5th International Conference on Theory and Practice of Model Transformations (ICMT 2012), 2012.
2011
T. M. Gawlitza, Lammich, P., Müller-Olm, M., Seidl, H., and Wenner, A.,
“Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation”, in
Proceedings of the 12th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2011), 2011.
Pages