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

Export 6 results:
Author Title Type [ Year(Asc)]
Filters: Author is Deepak Garg  [Clear All Filters]
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.
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.
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.
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.