α[δ:Σ→ℝ]
⬜ ⬡ ⬠

Piotr Mardziel (Peter)

I am a post-doc (recently graduated) advised by Mike Hicks within the Programming Languages group (PLUM) of the Computer Science department at the University of Maryland, College Park.

  • keywords: programming languages, information security, game theory

  • interests: My interest center around the modeling, measuring, and limiting (adversary) knowledge in the context of information security. I'm also interested in probabilistic programming which serves as a convenient tool for these tasks, and secure multi-party computation which is abound in knowledge-related problems. See below for a brief introduction to these topics.

  • I'm presently looking for a position (post-doc or otherwise) that aligns with at least some of my interests.

  • I like dogs and making pretty pictures. I always wanted to make a computer game and, more recently, to learn haskell. Against my better judgment, I'm attempting to combine these two.

contact

email
piotrm@cs.umd.edu
key
skype: piotrmardziel

Summary


Keywords: information security, quantified information flow, secure multi-party computation

2014 [1] 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.
[2] 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.
2013 [3] 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.
[4] 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.
2012 [5] 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.
2011 [6] 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.