Bootstrapping Privacy Compliance in Big Data Systems. - Shayak Sen; Saikat Guha; Anupam Datta; Sriram K. Rajamani; Janice Y. Tsai; Jeannette M. Wing (IEEE Symposium on Security and Privacy, 2014)

A Logic of Programs with Interface-Confined Code. - Limin Jia 001; Shayak Sen; Deepak Garg 001; Anupam Datta (CSF, 2015)

A Symbolic Logic with Concrete Bounds for Cryptographic Protocols. - Anupam Datta; Joseph Y. Halpern; John C. Mitchell; Arnab Roy 001; Shayak Sen (CoRR, 2015)

System M: A Program Logic for Code Sandboxing and Identification. - Limin Jia 001; Shayak Sen; Deepak Garg 001; Anupam Datta (CoRR, 2015)

Algorithmic Transparency via Quantitative Input Influence: Theory and Experiments with Learning Systems. - Anupam Datta; Shayak Sen; Yair Zick (IEEE Symposium on Security and Privacy, 2016)

Debugging Machine Learning Tasks. - Aleksandar Chakarov; Aditya V. Nori; Sriram K. Rajamani; Shayak Sen; Deepak Vijaykeerthy (CoRR, 2016)

Use Privacy in Data-Driven Systems: Theory and Experiments with Machine Learnt Programs. - Anupam Datta; Matthew Fredrikson; Gihyuk Ko; Piotr Mardziel; Shayak Sen (CCS, 2017)

Proxy Non-Discrimination in Data-Driven Systems. - Anupam Datta; Matt Fredrikson; Gihyuk Ko; Piotr Mardziel; Shayak Sen (CoRR, 2017)

Differential Privacy as a Causal Property. - Michael Carl Tschantz; Shayak Sen; Anupam Datta (CoRR, 2017)

Latent Factor Interpretations for Collaborative Filtering. - Anupam Datta; Sophia Kovaleva; Piotr Mardziel; Shayak Sen (CoRR, 2017)

Influence-Directed Explanations for Deep Convolutional Networks. - Klas Leino; Shayak Sen; Anupam Datta; Matt Fredrikson; Linyi Li (ITC, 2018)

Supervising Feature Influence. - Shayak Sen; Piotr Mardziel; Anupam Datta; Matthew Fredrikson (CoRR, 2018)

Correspondences between Privacy and Nondiscrimination: Why They Should Be Studied Together. - Anupam Datta; Shayak Sen; Michael Carl Tschantz (CoRR, 2018)

Feature-Wise Bias Amplification. - Klas Leino; Emily Black; Matt Fredrikson; Shayak Sen; Anupam Datta (ICLR (Poster), 2019)

SoK: Differential Privacy as a Causal Property. - Michael Carl Tschantz; Shayak Sen; Anupam Datta (SP, 2020)

Machine Learning Explainability and Robustness: Connected at the Hip. - Anupam Datta; Matt Fredrikson; Klas Leino; Kaiji Lu; Shayak Sen; Zifan Wang 001 (KDD, 2021)

Exploring Conceptual Soundness with TruLens. - Anupam Datta; Matt Fredrikson; Klas Leino; Kaiji Lu; Shayak Sen; Ricardo Shih; Zifan Wang 001 (NeurIPS (Competition and Demos), 2021)

Influence-directed Explanations for Machine Learning. - Shayak Sen (2021)