Research

I am a Fourth-Year PhD student at CMU where I am advised by Anupam Datta. My major research interests are logic and programming languages and their applications to security and privacy. Recently, I have been working on transparency enhancing technologies for data analytics systems.

I have been a research intern at Microsoft Research India (May-August 2013, July-Nov 2014) where I worked with Saikat Guha, Sriram Rajamani and Aditya Nori.

Previously, I was an undergrad at the Indian Institute of Technology, Delhi and then I worked for a year as an Algorithmic Trader at Tower Research Capital LLC.

Publications

A. Datta, S. Sen, Y. Zick, "Algorithmic Transparency via Quantitative Input Influence: Theory and Experiments with Learning Systems", in Proceedings of 37th IEEE Symposium on Security and Privacy, May 2016. [Paper]

L. Jia, S. Sen, D. Garg, A. Datta, "A Logic of Programs with Interface-confined Code", in Proceedings of 28th IEEE Computer Security Foundations Symposium, July 2015. [Paper]

S. Sen, S. Guha, A. Datta, S. Rajamani, J. Tsai, and J. M. Wing, "Bootstrapping Privacy Compliance in Big Data Systems", in Proceedings of 35th IEEE Symposium on Security and Privacy, May 2014. [Paper]

A. Chakarov, A. Nori, S. Rajamani, S. Sen, D. Vijaykeerthy, "Debugging Machine Learning Tasks", in CoRR abs/1603.07292. [Paper]

A. Datta, J. Y. Halpern, J. C. Mitchell, A. Roy, S. Sen, "A Symbolic Logic with Concrete Bounds for Cryptographic Protocols", in CoRR abs/1511.07536. [Paper]

Awards and Fellowships

Ed and Martha Clarke Fellowship, September 2015

Best Student Paper Award, IEEE Symposium of Security and Privacy, May 2014