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

Export 39 results:
Author [ Title(Asc)] Type Year
Filters: First Letter Of Last Name is G  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
W
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.
U
J. Graf, Hecker, M., and Mohr, M., “Using JOANA for Information Flow Control in Java Programs - A Practical Guide”, in Proceedings of the 6th Working Conference on Programming Languages (ATPS 2013), 2013.
T
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.
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.
S
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.
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.
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.
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.
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.
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.
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.
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.
P
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.
O
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.
N
D. Giffhorn and Snelting, G., “A New Algorithm for Low-Deterministic Security”, International Journal on Information Security, 2014.
M
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.
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.
L
J. Graf, Hecker, M., Mohr, M., and Nordhoff, B., “Lock-sensitive Interference Analysis for Java: Combining Program Dependence Graphs with Dynamic Pushdown Networks”, in 1st International Workshop on Interference and Dependence (ID 2013), 2013.
K
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.
J
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.
I
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.

Pages