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

Export 39 results:
Author Title Type [ Year(Desc)]
Filters: First Letter Of Last Name is G  [Clear All Filters]
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.
S. Arzt, Bartel, A., Gay, R., Lortz, S., Lovat, E., Mantel, H., Mohr, M., Nordhoff, B., Perner, M., Rasthofer, S., Schneider, D., Snelting, G., Starostin, A., and Weber, A., “Software Security for Mobile Devices”, Poster at the IEEE Symposium on Security and Privacy (S&P). 2015.
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.
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.
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.
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.
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.
W. Rafnsson, Sabelfeld, A., and Garg, D., “Progress-Sensitive Security for SPARK”, in Proceedings of the 8th International Symposium on Engineering Secure Software and Systems (ESSoS), 2016.
V. Cortier, Galindo, D., Küsters, R., Müller, J., and Truderung, T., “SoK: Verifiability Notions for E-Voting Protocols”, in Proceedings of the 37th IEEE Symposium on Security and Privacy (S&P), 2016.
2017
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.
S. Greiner, Mohr, M., and Beckert, B., “Modular Verification of Information-Flow Security in Component-Based Systems”, in Proceedings of the 15th International Conference on Software Engineering and Formal Methods (SEFM), 2017.
V. Rajani, Bastys, I., Rafnsson, W., and Garg, D., “Type Systems for Information Flow Control: The Question of Granularity”, ACM SIGLOG News, vol. 4, no. 1, 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.

Pages