Matthew Fredrikson

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