Computer Science Department
Carnegie Mellon University
Office: GHC 6507
412 - two six eight - thirty four three
shayaks (at) cs (dot) cmu (dot) edu
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.
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 2014comments powered by Disqus