Michael Hicks Keywords: information security, quantified information flow, secure multi-party computation [ author's web site ]

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.

[4]

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.

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.