Search results for "Matthew Fredrikson"

Found 10 publication records. Showing 10 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Mihai Christodorescu, Matthew Fredrikson, Somesh Jha, Jonathon T. Giffin	End-to-End Software Diversification of Internet Services.	Moving Target Defense	2011	DBLP DOI BibTeX RDF
1	Arjun Guha, Matthew Fredrikson, Benjamin Livshits, Nikhil Swamy	Verified Security for Browser Extensions.	IEEE Symposium on Security and Privacy	2011	DBLP DOI BibTeX RDF	security, verification, type system, extensions, web browsers, policy languages
1	Matthew Fredrikson, Benjamin Livshits	RePriv: Re-imagining Content Personalization and In-browser Privacy.	IEEE Symposium on Security and Privacy	2011	DBLP DOI BibTeX RDF	Privacy, Personalization, Web Applications, Software Verification
1	Matthew Fredrikson, Mihai Christodorescu, Somesh Jha	Dynamic Behavior Matching: A Complexity Analysis and New Approximation Algorithms.	CADE	2011	DBLP DOI BibTeX RDF
1	Paul Barford, Marc Dacier, Thomas G. Dietterich, Matt Fredrikson, Jonathon T. Giffin, Sushil Jajodia, Somesh Jha, Jason H. Li, Peng Liu, Peng Ning, Xinming Ou, D. Song, Laura Strater, Vipin Swarup, George P. Tadda, C. Wang, John Yen	Cyber SA: Situational Awareness for Cyber Defense.	Cyber Situational Awareness	2010	DBLP DOI BibTeX RDF
1	Matt Fredrikson, Mihai Christodorescu, Jonathon T. Giffin, Somesh Jha	A Declarative Framework for Intrusion Analysis.	Cyber Situational Awareness	2010	DBLP DOI BibTeX RDF
1	Matt Fredrikson, Somesh Jha, Mihai Christodorescu, Reiner Sailer, Xifeng Yan	Synthesizing Near-Optimal Malware Specifications from Suspicious Behaviors.	IEEE Symposium on Security and Privacy	2010	DBLP DOI BibTeX RDF	Probabilistic Optimization, Specification, Malware, Software Security
1	Roberto Paleari, Lorenzo Martignoni, Emanuele Passerini, Drew Davidson, Matt Fredrikson, Jonathon T. Giffin, Somesh Jha	Automatic Generation of Remediation Procedures for Malware Infections.	USENIX Security Symposium	2010	DBLP BibTeX RDF
1	Chen Chen, Cindy Xide Lin, Matt Fredrikson, Mihai Christodorescu, Xifeng Yan, Jiawei Han	Mining Graph Patterns Efficiently via Randomized Summaries.	PVLDB	2009	DBLP BibTeX RDF
1	Lorenzo Martignoni, Elizabeth Stinson, Matt Fredrikson, Somesh Jha, John C. Mitchell	A Layered Architecture for Detecting Malicious Behaviors.	RAID	2008	DBLP DOI BibTeX RDF	Dynamic, Malware, Behavior, Data-Flow, Semantic Gap

Publications of Matthew Fredrikson Matt Fredrikson ( http://dblp.L3S.de/Authors/Matthew_Fredrikson )