quantified information flow


Piotr Mardziel
Mario Alvim
(UFMG)
Michael Hicks
Michael R. Clarkson
(GWU)
Stephen Magill
(IDA/CCS)
Mudhakar Srivatsa
(IBM Research)
Jonathan Katz
(UMD)


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