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

Export 33 results:
Author Title Type [ Year(Asc)]
Filters: First Letter Of Last Name is H  [Clear All Filters]
2017
Q. Huy Do, Bubel, R., and Hähnle, R., “Automatic Detection and Demonstrator Generation for Information Flow Leaks in Object-Oriented Programs”, Computers & Security, vol. 67, 2017.
B. Finkbeiner, Hahn, C., Stenger, M., and Tentrup, L., “Monitoring Hyperproperties”, in Proceedings of the 17th International Conference on Runtime Verification (RV), 2017.
A. Bichhawat, Rajani, V., Jain, J., Garg, D., and Hammer, C., “WebPol: Fine-grained Information Flow Policies for Web Browsers”, in Proceedings of the 22nd European Symposium on Research in Computer Security (ESORICS), 2017.
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.
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.
2015
Q. Huy Do, Bubel, R., and Hähnle, R., “Exploit Generation for Information Flow Leaks in Object-Oriented Programs”, in Proceedings of the 30th International Information Security and Privacy Conference (IFIP SEC), 2015.
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.
D. Bruns, Do, H. Quoc, Greiner, S., Herda, M., Mohr, M., Scapin, E., Truderung, T., Beckert, B., Küsters, R., Mantel, H., and Gay, R., “Security in E-Voting”, Poster at the IEEE Symposium on Security and Privacy (S&P). 2015.
T. Bauereiss, Bichhawat, A., Bolosteanu, I., Faymonville, P., Finkbeiner, B., Garg, D., Gay, R., Grebenshchikov, S., Hammer, C., Hutter, D., Kunčar, O., Lammich, P., Mantel, H., Müller, C., Popescu, A., Rabe, M., Rajani, V., Seidl, H., Tasch, M., and Tentrup, L., “Security in Web-Based Workflows”, Poster at the IEEE Symposium on Security and Privacy (S&P). 2015.
T. Bauereiss, Bichhawat, A., Bolosteanu, I., Faymonville, P., Finkbeiner, B., Garg, D., Gay, R., Grebenshchikov, S., Hammer, C., Hutter, D., Kunčar, O., Lammich, P., Mantel, H., Müller, C., Popescu, A., Rabe, M., Rajani, V., Seidl, H., Tasch, M., and Tentrup, L., “Security in Web-Based Workflows”, Poster at the IEEE Symposium on Security and Privacy (S&P). 2015.
2014
G. Snelting, Giffhorn, D., Graf, J., Hammer, C., Hecker, M., Mohr, M., and Wasserrab, D., “Checking Probabilistic Noninterference Using JOANA”, it - Information Technology, 2014.
G. Snelting, Giffhorn, D., Graf, J., Hammer, C., Hecker, M., Mohr, M., and Wasserrab, D., “Checking Probabilistic Noninterference Using JOANA”, it - Information Technology, 2014.
T. Bauereiss and Hutter, D., “Compatibility of Safety Properties and Possibilistic Information Flow Security in MAKS”, in Proceedings of the 29th International Information Security and Privacy Conference (IFIP SEC 2014), 2014.
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.
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.
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. Bauereiss and Hutter, D., “Possibilistic information flow security of workflow management systems”, in Proceedings of the 1st International Workshop on Graphical Models for Security at ETAPS 2014 (GraMSec 2014), 2014.
A. Popescu and Hölzl, J., “Probabilistic Noninterference”, Archive of Formal Proofs, 2014.
T. Bauereiss and Hutter, D., “Security (hyper-)properties in workflow systems: From specification to verification”, in Electronic Proceedings of the Doctoral Symposium at the International Symposium on Engineering Secure Software and Systems (ESSoS-DS 2014), 2014.
H. Blasum, Havle, O., Langenstein, B., Nemouchi, Y., Schmaltz, J., Stephan, W., Tverdyshew, S., Verbeek, F., and Wolf, B., “Using Isabelle/HOL to Develop and Maintain Separation Invariants for an Operating System”, in Isabelle 2014 workshop at FloC 2014, 2014.
2013
C. Hammer, “Efficient Algorithms for Control Closures”, in 1st International Workshop on Interference and Dependence (ID 2013), 2013.
A. Popescu, Hölzl, J., and Nipkow, T., “Formal Verification of Language-Based Concurrent Noninterference”, J. Formalized Reasoning, vol. 6, pp. 1-30, 2013.
A. Popescu, Hölzl, J., and Nipkow, T., “Formalizing Probabilistic Noninterference”, in Proceedings of the 3rd International Conference on Certified Programs and Proofs (CPP 2013), 2013.

Pages