quantified information flow


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


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

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