Dynamic Enforcement of Knowledge-Based Security Policies. - Piotr Mardziel; Stephen Magill; Michael Hicks 001; Mudhakar Srivatsa (CSF, 2011)

Knowledge-oriented secure multiparty computation. - Piotr Mardziel; Michael Hicks 001; Jonathan Katz; Mudhakar Srivatsa (PLAS, 2012)

Knowledge inference for optimizing secure multi-party computation. - Aseem Rastogi; Piotr Mardziel; Michael Hicks 001; Matthew A. Hammer (PLAS, 2013)

Dynamic enforcement of knowledge-based security policies using probabilistic abstract interpretation. - Piotr Mardziel; Stephen Magill; Michael Hicks 001; Mudhakar Srivatsa (J. Comput. Secur., 2013)

Quantifying Information Flow for Dynamic Secrets. - Piotr Mardziel; Mário S. Alvim; Michael W. Hicks; Michael R. Clarkson (IEEE Symposium on Security and Privacy, 2014)

Picking vs. Guessing Secrets: A Game-Theoretic Analysis. - M. H. R. Khouzani; Piotr Mardziel; Carlos Cid; Mudhakar Srivatsa (CSF, 2015)

Picking vs. Guessing Secrets: A Game-Theoretic Analysis (Technical Report). - M. H. R. Khouzani; Piotr Mardziel; Carlos Cid; Mudhakar Srivatsa (CoRR, 2015)

Modeling, Quantifying, and Limiting Adversary Knowledge. - Piotr Mardziel (2015)

Build It, Break It, Fix It: Contesting Secure Development. - Andrew Ruef; Michael W. Hicks; James Parker; Dave Levin; Michelle L. Mazurek; Piotr Mardziel (CCS, 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)

Quantifying Vulnerability of Secret Generation Using Hyper-Distributions. - Mário S. Alvim; Piotr Mardziel; Michael W. Hicks (POST, 2017)

Quantifying vulnerability of secret generation using hyper-distributions (extended version). - Mário S. Alvim; Piotr Mardziel; Michael W. Hicks (CoRR, 2017)

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

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

Evaluating Design Tradeoffs in Numeric Static Analysis for Java. - Shiyi Wei; Piotr Mardziel; Andrew Ruef; Jeffrey S. Foster; Michael Hicks 001 (ESOP, 2018)

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

PLAS 2019: ACM SIGSAC Workshop on Programming Languages and Analysis for Security. - Piotr Mardziel; Niki Vazou (CCS, 2019)

An Information-Theoretic Quantification of Discrimination with Exempt Features. - Sanghamitra Dutta; Praveen Venkatesh; Piotr Mardziel; Anupam Datta; Pulkit Grover (AAAI, 2020)

Influence Paths for Characterizing Subject-Verb Number Agreement in LSTM Language Models. - Kaiji Lu; Piotr Mardziel; Klas Leino; Matt Fredrikson; Anupam Datta (ACL, 2020)

Gender Bias in Neural Natural Language Processing. - Kaiji Lu; Piotr Mardziel; Fangjing Wu; Preetam Amancharla; Anupam Datta (Logic, Language, and Security, 2020)

Interpreting Interpretations: Organizing Attribution Methods by Criteria. - Zifan Wang 001; Piotr Mardziel; Anupam Datta; Matt Fredrikson (CVPR Workshops, 2020)

Score-CAM: Score-Weighted Visual Explanations for Convolutional Neural Networks. - Haofan Wang; Zifan Wang 001; Mengnan Du; Fan Yang 023; Zijian Zhang; Sirui Ding; Piotr Mardziel; Xia Hu 001 (CVPR Workshops, 2020)

Smoothed Geometry for Robust Attribution. - Zifan Wang 001; Haofan Wang; Shakul Ramkumar; Piotr Mardziel; Matt Fredrikson; Anupam Datta (NeurIPS, 2020)

Towards Behavior-Level Explanation for Deep Reinforcement Learning. - Xuan Chen; Zifan Wang 001; Yucai Fan; Bonan Jin; Piotr Mardziel; Carlee Joe-Wong; Anupam Datta (CoRR, 2020)

Abstracting Influence Paths for Explaining (Contextualization of) BERT Models. - Kaiji Lu; Zifan Wang 001; Piotr Mardziel; Anupam Datta (CoRR, 2020)

Build It, Break It, Fix It: Contesting Secure Development. - James Parker; Michael Hicks 001; Andrew Ruef; Michelle L. Mazurek; Dave Levin; Daniel Votipka; Piotr Mardziel; Kelsey R. Fulton (ACM Trans. Priv. Secur., 2020)

Influence Patterns for Explaining Information Flow in BERT. - Kaiji Lu; Zifan Wang 001; Piotr Mardziel; Anupam Datta (NeurIPS, 2021)

Fairness Under Feature Exemptions: Counterfactual and Observational Measures. - Sanghamitra Dutta; Praveen Venkatesh; Piotr Mardziel; Anupam Datta; Pulkit Grover (IEEE Trans. Inf. Theory, 2021)

De-amplifying Bias from Differential Privacy in Language Model Fine-tuning. - Sanjari Srivastava; Piotr Mardziel; Zhikhun Zhang; Archana Ahlawat; Anupam Datta; John C. Mitchell (CoRR, 2024)