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

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