ML Security, Privacy, Fairness

• De-amplifying Bias from Differential Privacy in Language Model Fine-tuning. In PPAI 2024.
• Gender Bias in Neural Natural Language Processing. In Logic, Language, and Security: Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday 2020.
• Smoothed Geometry for Robust Attribution. In NeurIPS 2020.
• An Information-Theoretic Quantification of Discrimination with Exempt Features. In AAAI 2020.
• Use Privacy in Data-Driven Systems: Theory and Experiments with Machine Learnt Programs. In CCS 2017.

ML Interpretability

• Influence Paths for Characterizing Subject-Verb Number Agreement in LSTM Language Models. In ACL 2020.
• Interpreting Interpretations: Organizing Attribution Methods by Criteria. In CVPR Workshop on Fair, Data Efficient and Trusted Computer Vision 2020.
• Score-CAM: Score-Weighted Visual Explanations for Convolutional Neural Networks. In CVPR Workshop on Fair, Data Efficient and Trusted Computer Vision 2020.

Security and Privacy

• Probabilistic Abstract Interpretation: Sound Inference and Application to Privacy. In Foundations of Probabilistic Programming, Cambridge University Press 2020.
• Build It, Break It, Fix It: Contesting Secure Development. In ACM Transactions on Privacy and Security (TOPS) 2020.
• Quantifying vulnerability of secret generation using hyper-distributions. In POST 2017.
• Build It, Break It, Fix It: Contesting Secure Development. In CCS 2016.
• Towards the Quantification of Strategy Leakage. In FCS 2016.
• Picking vs. Guessing Secrets: A Game-Theoretic Analysis. In CSF 2015.
• Build It Break It: Measuring and Comparing Development Security. In CSET 2015.
• Quantifying Information Flow for Dynamic Secrets. In S&P/Oakland 2014.
• Adversary Gain vs. Defender Loss in Quantified Information Flow. In FCS 2014.
• Dynamic Enforcement of Knowledge-based Security Policies using Probabilistic Abstract Interpretation. In JCS 2013.
• Knowledge Inference for Optimizing Secure Multi-party Computation. In PLAS 2013.
• Knowledge-Oriented Secure Multiparty Computation. In PLAS 2012.
• Dynamic Enforcement of Knowledge-based Security Policies. In CSF 2011.

Static (and Probabilistic) Analysis

• Probabilistic Abstract Interpretation: Sound Inference and Application to Privacy. In Foundations of Probabilistic Programming, Cambridge University Press 2020.
• Evaluating Design Tradeoffs in Numeric Static Analysis for Java. In ESOP 2018.
• Dynamic Enforcement of Knowledge-based Security Policies using Probabilistic Abstract Interpretation. In JCS 2013.
• Knowledge-Oriented Secure Multiparty Computation. In PLAS 2012.
• Dynamic Enforcement of Knowledge-based Security Policies. In CSF 2011.