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

Export 39 results:
Author Title [ Type(Asc)] Year
Filters: First Letter Of Last Name is G  [Clear All Filters]
Conference Paper
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.
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.
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.
V. Rajani, Bichhawat, A., Gark, D., and Hammer, C., “Information Flow Control for Event Handling and the DOM in Web Browsers”, in Proceedings of the 28th IEEE Computer Security Foundations Symposium (CSF), 2015.
J. Breitner, Graf, J., Hecker, M., Mohr, M., and Snelling, G., “On Improvements Of Low-Deterministic Security”, in Proceedings of the 5th International Conference on Principles of Security and Trust (POST), 2016.
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.
A. Bichhawat, Rajani, V., Garg, D., and Hammer, C., “Generalizing Permissive-Upgrade in Dynamic Information Flow Analysis”, in Proceedings of the 9th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS 2014), 2014.
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.
R. Küsters, Scapin, E., Truderung, T., and Graf, J., “Extending and Applying a Framework for the Cryptographic Verification of Java Programs”, in Proceedings of the 3rd Conference on Principles of Security and Trust (POST 2014), 2014.
T. Bauereiß, Gritti, A. Pesenti, Popescu, A., and Raimondi, F., “CoSMeDis: A Distributed Social Media Platform with Formally Verified Confidentiality Guarantees”, in Proceedings of the 38th IEEE Symposium on Security and Privacy (S&P), 2017.
T. Bauereiß, Gritti, A. Pesenti, Popescu, A., and Raimondi, F., “CoSMed: A Confidentiality-Verified Social Media Platform”, in Proceedings of the 7th International Conference on Interactive Theorem Proving (ITP), 2016.
T. Liu, Tyszberowicz, S., Herda, M., Beckert, B., Grahl, D., and Taghdiri, M., “Computing Specification-Sensitive Abstractions for Program Verification”, in Proceedings of the 2nd International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA), 2016.
I. Bolosteanu and Garg, D., “Asymmetric Secure Multi-execution with Declassification”, in Proceedings of the 5th International Conference on Principles of Security and Trust (POST), 2016.
V. Rajani, Garg, D., and Rezk, T., “On Access Control, Capabilities, Their Equivalence, and Confused Deputy Attacks”, in Proceedings of the 29th IEEE Computer Security Foundations Symposium (CSF), 2016.

Pages