| 2017 | CCS | Use Privacy in Data-Driven Systems: Theory and Experiments with Machine Learnt Programs. | Anupam Datta, Matthew Fredrikson, Gihyuk Ko, Piotr Mardziel, Shayak Sen |
| 2017 | SP | Verifying and Synthesizing Constant-Resource Implementations with Types. | Van Chan Ngo, Mario Dehesa-Azuara, Matthew Fredrikson, Jan Hoffmann |
| 2014 | CSL | Satisfiability modulo counting: a new approach for analyzing privacy properties. | Matthew Fredrikson, Somesh Jha |
| 2012 | CAV | Efficient Runtime Policy Enforcement Using Counterexample-Guided Abstraction Refinement. | Matthew Fredrikson, Richard Joiner, Somesh Jha, Thomas W. Reps, Phillip A. Porras, Hassen Sadi, Vinod Yegneswaran |
| 2011 | CADE | Dynamic Behavior Matching: A Complexity Analysis and New Approximation Algorithms. | Matthew Fredrikson, Mihai Christodorescu, Somesh Jha |
| 2011 | SP | RePriv: Re-imagining Content Personalization and In-browser Privacy. | Matthew Fredrikson, Benjamin Livshits |
| 2011 | SP | Verified Security for Browser Extensions. | Arjun Guha, Matthew Fredrikson, Benjamin Livshits, Nikhil Swamy |