@article {630, title = {Type Systems for Information Flow Control: The Question of Granularity}, journal = {ACM SIGLOG News}, volume = {4}, year = {2017}, author = {Vineet Rajani and Iulia Bastys and Willard Rafnsson and Deepak Garg} } @conference {625, title = {WebPol: Fine-grained Information Flow Policies for Web Browsers}, booktitle = {Proceedings of the 22nd European Symposium on Research in Computer Security (ESORICS)}, year = {2017}, author = {Abhishek Bichhawat and Vineet Rajani and Jinank Jain and Deepak Garg and Christian Hammer} } @conference {616, title = {On Access Control, Capabilities, Their Equivalence, and Confused Deputy Attacks}, booktitle = {Proceedings of the 29th IEEE Computer Security Foundations Symposium (CSF)}, year = {2016}, author = {Vineet Rajani and Deepak Garg and Tamara Rezk} } @conference {615, title = {Asymmetric Secure Multi-execution with Declassification}, booktitle = {Proceedings of the 5th International Conference on Principles of Security and Trust (POST)}, year = {2016}, author = {Iulia Bolosteanu and Deepak Garg} } @conference {622, title = {Progress-Sensitive Security for SPARK}, booktitle = {Proceedings of the 8th International Symposium on Engineering Secure Software and Systems (ESSoS)}, year = {2016}, author = {Willard Rafnsson and Andrei Sabelfeld and Deepak Garg} } @booklet {587, title = {Security in Web-Based Workflows}, journal = {Poster at the IEEE Symposium on Security and Privacy (S\&P)}, year = {2015}, author = {Thomas Bauereiss and Abhishek Bichhawat and Iulia Bolosteanu and Peter Faymonville and Bernd Finkbeiner and Deepak Garg and Richard Gay and Sergey Grebenshchikov and Christian Hammer and Dieter Hutter and Ond{\v r}ej Kun{\v c}ar and Peter Lammich and Heiko Mantel and Christian M{\"u}ller and Andrei Popescu and Markus Rabe and Vineet Rajani and Helmut Seidl and Markus Tasch and Leander Tentrup} }