information security


Piotr Mardziel
(CMU)
Stephen Magill
(Galois)
Michael Hicks
(UMD)
Mudhakar Srivatsa
(IBM Research)
Mario Alvim
(UFMG)
Michael R. Clarkson
(Cornell)
Jonathan Katz
(UMD)
Aseem Rastogi
(MSR)
Matthew Hammer
(UColorado)


2016 [1] Towards the Quantification of Strategy Leakage.
Mario Alvim, Piotr Mardziel, Michael Hicks.
In Workshop on Foundations of Computer Security (FCS). July 2016.

2014 [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] 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.

[4] 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 [5] 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.

[6] 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 [7] 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 [8] 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.

[9] 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.