

Piotr (Peter) Mardziel
Piotr (Peter) Mardziel
About
I work on transparency and accountability in machine learning with applications to security, privacy, and fairness. I also dabble in probabilistic programming and quantitative information flow. My interests include:

- Anonymity
- Language-based security
- Machine learning and AI security
- Privacy technologies and mechanisms
- Secure information flow
CSF
Topics:
- accountability
- anonymity and privacy
- formal methods and verification
- information flow control
- language-based security
- machine learning
- software security

- Security and Privacy: Foundations and Formal Methods
- Application Domains: Machine learning
- Data Science: Machine Learning
- Data Science: Deep Learning
Small-ish questions
Papers
- (html)Gender Bias in Neural Natural Language Processing.
Logic, Language, and Security: Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday. 2020.
Kaiji Lu, Piotr Mardziel, Fangjing Wu, Preetam Amancharla, Anupam Datta - (html)Probabilistic Abstract Interpretation: Sound Inference and Application to Privacy.
Foundations of Probabilistic Programming, Cambridge University Press. 2020.
José Manuel Calderón Trilla, Michael Hicks, Stephen Magill, Piotr Mardziel, Ian Sweet -
Smoothed Geometry for Robust Attribution.
Neural Information Processing Systems (NeurIPS). 2020.
Zifan Wang, Haofan Wang, Shakul Ramkumar, Matthew Fredrikson, Piotr Mardziel, Anupam Datta -
Influence Paths for Characterizing Subject-Verb Number Agreement in LSTM Language Models.
Annual Conference of the Association for Computational Linguistics (ACL). 2020.
Kaiji Lu, Piotr Mardziel, Klas Leino, Matthew Fredrikson, Anupam Datta -
Interpreting Interpretations: Organizing Attribution Methods by Criteria.
CVPR Workshop on Fair, Data Efficient and Trusted Computer Vision. 2020.
Zifan Wang, Piotr Mardziel, Anupam Datta, Matthew Fredrikson -
Score-CAM: Score-Weighted Visual Explanations for Convolutional Neural Networks.
CVPR Workshop on Fair, Data Efficient and Trusted Computer Vision. 2020.
Haofan Wang, Zifan Wang, Mengnan Du, Fan Yang, Zijian Zhang, Sirui Ding, Piotr Mardziel, Xia Hu - (html)Build It, Break It, Fix It: Contesting Secure Development.
ACM Transactions on Privacy and Security (TOPS). 2020.
James Parker, Michael Hicks, Andrew Ruef, Michelle Mazurek, Dave Levin, Daniel Votipka, Piotr Mardziel, Kelsey Fulton -
An Information-Theoretic Quantification of Discrimination with Exempt Features.
Conference on Artificial Intelligence (AAAI). 2020.
Sanghamitra Dutta, Praveen Venkatesh, Piotr Mardziel, Anupam Datta, Pulkit Grover -
Evaluating Design Tradeoffs in Numeric Static Analysis for Java.
European Symposium on Programming (ESOP). 2018.
Shiyi Wei, Piotr Mardziel, Andrew Ruef, Jeffrey S. Foster, Michael Hicks -
Quantifying vulnerability of secret generation using hyper-distributions.
International Conference on Principles of Security and Trust (POST). 2017.
Mario Alvim, Piotr Mardziel, Michael Hicks -
Use Privacy in Data-Driven Systems: Theory and Experiments with Machine Learnt Programs.
Conference on Computer & Communications Security (CCS). 2017.
Anupam Datta, Matthew Fredrikson, Gihyuk Ko, Piotr Mardziel, Shayak Sen -
Build It, Break It, Fix It: Contesting Secure Development.
Conference on Computer & Communications Security (CCS). 2016.
Andrew Ruef, Michael Hicks, James Parker, Dave Levin, Michelle Mazurek, Piotr Mardziel -
Towards the Quantification of Strategy Leakage.
Workshop on Foundations of Computer Security (FCS). 2016.
Mario Alvim, Piotr Mardziel, Michael Hicks -
Picking vs. Guessing Secrets: A Game-Theoretic Analysis.
Computer Security Foundations Symposium (CSF). 2015.
MHR Khouzani, Piotr Mardziel, Carlos Cid, Mudhakar Srivatsa -
Build It Break It: Measuring and Comparing Development Security.
Workshop on Cyber Security Experimentation and Test (CSET). 2015.
Andrew Ruef, Michael Hicks, James Parker, Dave Levin, Atif Memon, Jandelyn Plane, Piotr Mardziel -
Quantifying Information Flow for Dynamic Secrets.
Symposium on Security and Privacy (S&P/Oakland). 2014.
Piotr Mardziel, Mario Alvim, Michael Hicks, Michael Clarkson -
Adversary Gain vs. Defender Loss in Quantified Information Flow.
Workshop on Foundations of Computer Security (FCS). 2014.
Piotr Mardziel, Mario Alvim, Michael Hicks -
Dynamic Enforcement of Knowledge-based Security Policies using Probabilistic Abstract Interpretation.
Journal of Computer Security (JCS). 2013.
Piotr Mardziel, Stephen Magill, Michael Hicks, Mudhakar Srivatsa -
Knowledge Inference for Optimizing Secure Multi-party Computation.
Workshop on Programming Languages and Analysis of Security (PLAS). 2013.
Aseem Rastogi, Piotr Mardziel, Matthew Hammer, Michael Hicks -
Knowledge-Oriented Secure Multiparty Computation.
Workshop on Programming Languages and Analysis of Security (PLAS). 2012.
Piotr Mardziel, Michael Hicks, Jonathan Katz, Mudhakar Srivatsa -
Dynamic Enforcement of Knowledge-based Security Policies.
Computer Security Foundations Symposium (CSF). 2011.
Piotr Mardziel, Stephen Magill, Michael Hicks, Mudhakar Srivatsa
Tech-reports / Pre-prints
-
Towards Behavior-Level Explanation for Deep Reinforcement Learning.
arXiv. September 2020.
Xuan Chen, Zifan Wang, Yucai Fan, Bonan Jin, Piotr Mardziel, Carlee Joe-Wong, Anupam Datta -
Supervising Feature Influence.
arXiv. March 2018.
Shayak Sen, Piotr Mardziel, Anupam Datta, Matthew Fredrikson -
Latent Factor Interpretations for Collaborative Filtering.
arXiv. November 2017.
Anupam Datta, Sophia Kovaleva, Piotr Mardziel, Shayak Sen -
Proxy Non-Discrimination in Data-Driven Systems.
arXiv. July 2017.
Anupam Datta, Matthew Fredrikson, Gihyuk Ko, Piotr Mardziel, Shayak Sen
Service
Committees
- Workshop on Responsible AI (RAI) 2021 (area chair)
- Conference on Fairness, Accountability, and Transparency (FAccT) 2018, 2019, 2021
- Privacy Enhancing Technologies Symposium (PETS) 2021
- IEEE Symposium on Security and Privacy (S&P/Oakland) 2019, 2020
- ACM Conference on Computer & Communications Security (CCS) 2020
- IEEE Computer Security Foundations Symposium (CSF) 2020
- Workshop on Privacy in Electronic Society (WPES) 2018, 2020
- ACM Workshop on Programming Languages and Analysis of Security (PLAS) 2018, 2019 (co-chair)
- Workshop on Foundations of Computer Security (FCS) 2016
Reviewer
- AAAI Conference on Artificial Intelligence (AAAI) 2021
- ACL Annual Meeting of the Association for Computational Linguistics (ACL) 2021
- IEEE Symposium on Security and Privacy (S&P/Oakland) 2015-2018
- IEEE Computer Security Foundations Symposium (CSF) 2013-2018
- ACM Conference on Computer & Communications Security (CCS) 2016-2017
- ACM ASIA Conference on Computer & Communications Security (ASIACCS) 2014
- ACM Symposium on Principles of Programming Languages (POPL) 2013, 2015
- ETAPS International Conference on Principles of Security and Trust (POST) 2018
- EATCS International Colloquium on Automata, Languages, and Programming (ICALP) 2016
- Network and Distributed System Security Symposium (NDSS) 2016-2017
- Entropy (Entropy) ~2019
- Journal of Computer Security (JCS) ~2017
- Journal of Computer and System Sciences (JCSS) ~2015
- International Journal of Approximate Reasoning (IJA) ~20170
- Theoretical Computer Science (TCS) ~2017
- Logical Methods in Computer Science (LMCS) ~2017
- ACM Workshop on Artificial Intelligence and Security (AISec) 2017
- Workshop on Fairness, Accountability, and Transparency in Machine Learning (FATML) 2016
- Workshop on Data and Algorithmic Transparency (DAT) 2016
- International Conference for Military Communications (MILCOM) 2016
Other service
- National Science Foundation Panel (NSF) ~2018