Piotr (Peter) Mardziel
piotrm@gmail.com

piotrm0
piotrm
piotrm0

CMU
CyLab
PLUM

Piotr (Peter) Mardziel

I'm a post-doc at CMU CyLab, working under Anupam Datta on algorithmic transparency and related problems.

<-- this guy

topics

information security, quantified information flow, secure coding contest, secure multi-party computation

papers

  1. Build It, Break It, Fix It: Contesting Secure Development.
    Andrew Ruef, Michael Hicks, James Parker, Dave Levin, Michelle Mazurek, Piotr Mardziel.
    In Proceedings of the ACM Conference on Computer and Communications Security (CCS). October 2016.
  2. Towards the Quantification of Strategy Leakage.
    Mario Alvim, Piotr Mardziel, Michael Hicks.
    In Workshop on Foundations of Computer Security (FCS). July 2016.
  3. Picking vs. Guessing Secrets: A Game-Theoretic Analysis.
    MHR Khouzani, Piotr Mardziel, Carlos Cid, Mudhakar Srivatsa.
    In Proceedings of the IEEE Computer Security Foundations Symposium (CSF). July 2015.
  4. Build It Break It: Measuring and Comparing Development Security.
    Andrew Ruef, Michael Hicks, James Parker, Dave Levin, Atif Memon, Jandelyn Plane, Piotr Mardziel.
    In Proceedings of the USENIX Workshop on Cyber Security Instrumentation and Test (CSET). August 2015.
  5. Adversary Gain vs. Defender Loss in Quantified Information Flow.
    Piotr Mardziel, Mario Alvim, Michael Hicks.
    In Proceedings of the Workshop on Foundations of Computer Security (FCS). July 2014.
  6. Quantifying Information Flow for Time-Varying Data.
    Piotr Mardziel, Mario Alvim, Michael Hicks, Michael R. Clarkson.
    In Proceedings of the IEEE Symposium on Security and Privacy (S&P). May 2014.
  7. Knowledge Inference for Optimizing Secure Multi-party Computation.
    Aseem Rastogi, Piotr Mardziel, Matthew Hammer, Michael Hicks.
    In ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS). June 2013.
  8. Dynamic Enforcement of Knowledge-based Security Policies using Probabilistic Abstract Interpretation.
    Piotr Mardziel, Stephen Magill, Michael Hicks, Mudhakar Srivatsa.
    In Journal of Computer Security. January 2013.
  9. Knowledge-Oriented Secure Multiparty Computation.
    Piotr Mardziel, Michael Hicks, Jonathan Katz, Mudhakar Srivatsa.
    In Proceedings of the ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS). June 2012.
  10. Dynamic Enforcement of Knowledge-based Security Policies.
    Piotr Mardziel, Stephen Magill, Michael Hicks, Mudhakar Srivatsa.
    In Proceedings of the IEEE Computer Security Foundations Symposium (CSF). June 2011.

talks

  1. [pptx] Models and Games for Quantifying Vulnerability of Secret Information
  2. [pptx] Probabilistic Programming for Security
  3. [pptx] Modeling, Measuring, and Limiting Adversary Knowledge
  4. [pdf] Adversary Gain vs. Defender Loss in Quantified Information Flow
  5. [pdf] Quantifying Information Flow for Dynamic Secrets
  6. [pptx] Probabilistic Computation for Information Security
  7. [pptx] Knowledge-Oriented Secure Multiparty Computation
  8. [pptx] Dynamic Enforcement of Knowledge-based Security Policies (using Probabilistic Abstract Interpretation)

tech-reports

  1. Picking vs. Guessing Secrets: A Game-Theoretic Analysis.
    MHR Khouzani, Piotr Mardziel, Carlos Cid, Mudhakar Srivatsa.
    TR arXiv. May 2015.
  2. Quantifying Information Flow for Time-Varying Data.
    Piotr Mardziel, Mario Alvim, Michael Hicks, Michael R. Clarkson.
    TR University of Maryland Department of Computer Science. May 2014.
  3. Dynamic Enforcement of Knowledge-based Security Policies.
    Piotr Mardziel, Stephen Magill, Michael Hicks, Mudhakar Srivatsa.
    TR University of Maryland Department of Computer Science. July 2011.