Matthew Fredrikson

Publication Activity (10 Years)

Years Active: 2011-2018
Publications (10 Years): 10

Top Topics

Contingency Tables

Detecting Malicious

Learning Theories

Top Venues

USENIX Security Symposium

Proc. ACM Interact. Mob. Wearable Ubiquitous Technol.

Publications

Shayak Sen, Piotr Mardziel, Anupam Datta, Matthew Fredrikson
Supervising Feature Influence. CoRR (2018)
Haojian Jin, Minyi Liu, Kevan Dodhia, Yuanchun Li, Gaurav Srivastava, Matthew Fredrikson, Yuvraj Agarwal, Jason I. Hong
Why Are They Collecting My Data?: Inferring the Purposes of Network Traffic in Mobile Apps. Proc. ACM Interact. Mob. Wearable Ubiquitous Technol. 2 (4) (2018)
Van Chan Ngo, Mario Dehesa-Azuara, Matthew Fredrikson, Jan Hoffmann
Verifying and Synthesizing Constant-Resource Implementations with Types. CoRR (2018)
Van Chan Ngo, Mario Dehesa-Azuara, Matthew Fredrikson, Jan Hoffmann
Verifying and Synthesizing Constant-Resource Implementations with Types. IEEE Symposium on Security and Privacy (2017)
Anupam Datta, Matthew Fredrikson, Gihyuk Ko, Piotr Mardziel, Shayak Sen
Use Privacy in Data-Driven Systems: Theory and Experiments with Machine Learnt Programs. CCS (2017)
Yuanchun Li, Fanglin Chen, Toby Jia-Jun Li, Yao Guo, Gang Huang, Matthew Fredrikson, Yuvraj Agarwal, Jason I. Hong
PrivacyStreams: Enabling Transparency in Personal Data Processing for Mobile Apps. Proc. ACM Interact. Mob. Wearable Ubiquitous Technol. 1 (3) (2017)
Anupam Datta, Matthew Fredrikson, Gihyuk Ko, Piotr Mardziel, Shayak Sen
Use Privacy in Data-Driven Systems: Theory and Experiments with Machine Learnt Programs. CoRR (2017)
Xi Wu, Matthew Fredrikson, Somesh Jha, Jeffrey F. Naughton
A Methodology for Formalizing Model-Inversion Attacks. CSF (2016)
Bruce Schneier, Matthew Fredrikson, Tadayoshi Kohno, Thomas Ristenpart
Surreptitiously Weakening Cryptographic Systems. IACR Cryptol. ePrint Arch. 2015 (2015)
Xi Wu, Matthew Fredrikson, Wentao Wu, Somesh Jha, Jeffrey F. Naughton
Revisiting Differentially Private Regression: Lessons From Learning Theory and their Consequences. CoRR (2015)
Matthew Fredrikson, Eric Lantz, Somesh Jha, Simon M. Lin, David Page, Thomas Ristenpart
Privacy in Pharmacogenetics: An End-to-End Case Study of Personalized Warfarin Dosing. USENIX Security Symposium (2014)
Matthew Fredrikson, Benjamin Livshits
ZØ: An Optimizing Distributing Zero-Knowledge Compiler. USENIX Security Symposium (2014)
Stephen Checkoway, Ruben Niederhagen, Adam Everspaugh, Matthew Green, Tanja Lange, Thomas Ristenpart, Daniel J. Bernstein, Jake Maskiewicz, Hovav Shacham, Matthew Fredrikson
On the Practical Exploitability of Dual EC in TLS Implementations. USENIX Security Symposium (2014)
Matthew Fredrikson, Somesh Jha
Satisfiability modulo counting: a new approach for analyzing privacy properties. CSL-LICS (2014)
Somesh Jha, Matthew Fredrikson, Mihai Christodorescu, Reiner Sailer, Xifeng Yan
Synthesizing near-optimal malware specifications from suspicious behaviors. MALWARE (2013)
Matthew Fredrikson, Richard Joiner, Somesh Jha, Thomas W. Reps, Phillip A. Porras, Hassen Saïdi, Vinod Yegneswaran
Efficient Runtime Policy Enforcement Using Counterexample-Guided Abstraction Refinement. CAV (2012)
Matthew Fredrikson, Benjamin Livshits
RePriv: Re-imagining Content Personalization and In-browser Privacy. IEEE Symposium on Security and Privacy (2011)
Arjun Guha, Matthew Fredrikson, Benjamin Livshits, Nikhil Swamy
Verified Security for Browser Extensions. IEEE Symposium on Security and Privacy (2011)
Matthew Fredrikson, Mihai Christodorescu, Somesh Jha
Dynamic Behavior Matching: A Complexity Analysis and New Approximation Algorithms. CADE (2011)