|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 21 occurrences of 14 keywords
|
|
|
|
|
Results
Found 23 publication records. Showing 23 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Mihai Christodorescu, Vinod Ganapathy |
Dynamic Analysis.  |
Encyclopedia of Cryptography and Security (2nd Ed.)  |
2011 |
DBLP DOI BibTeX RDF |
|
| 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 | Shakeel Butt, Vinod Ganapathy, Arati Baliga, Mihai Christodorescu |
Monitoring Data Structures Using Hardware Transactional Memory.  |
RV  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Fredrikson, Mihai Christodorescu, Somesh Jha |
Dynamic Behavior Matching: A Complexity Analysis and New Approximation Algorithms.  |
CADE  |
2011 |
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 | Andrea Lanzi, Davide Balzarotti, Christopher Kruegel, Mihai Christodorescu, Engin Kirda |
AccessMiner: using system-centric models for malware protection.  |
ACM Conference on Computer and Communications Security  |
2010 |
DBLP DOI 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 | Mihai Christodorescu, Reiner Sailer, Douglas Lee Schales, Daniele Sgandurra, Diego Zamboni |
Cloud security is not (just) virtualization security: a short paper.  |
CCSW  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mila Dalla Preda, Mihai Christodorescu, Somesh Jha, Saumya K. Debray |
A semantics-based approach to malware detection.  |
ACM Trans. Program. Lang. Syst.  |
2008 |
DBLP DOI BibTeX RDF |
abstract interpretation, obfuscation, Malware detection, trace semantics |
| 1 | Mihai Christodorescu, Somesh Jha, Christopher Kruegel |
Mining specifications of malicious behavior.  |
ISEC  |
2008 |
DBLP DOI BibTeX RDF |
behavior-based detection, malspec, differential analysis |
| 1 | Mihai Christodorescu, Somesh Jha, Johannes Kinder, Stefan Katzenbeisser, Helmut Veith |
Software transformations to improve malware detection.  |
Journal in Computer Virology  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mihai Christodorescu, Somesh Jha, Douglas Maughan, Dawn Song, Cliff Wang (eds.) |
Malware Detection  |
|
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mihai Christodorescu, Shai Rubin |
Can Cooperative Intrusion Detectors Challenge the Base-Rate Fallacy?  |
Malware Detection  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mila Dalla Preda, Mihai Christodorescu, Somesh Jha, Saumya K. Debray |
A semantics-based approach to malware detection.  |
POPL  |
2007 |
DBLP DOI BibTeX RDF |
abstract interpretation, obfuscation, malware detection, trace semantics |
| 1 | Lorenzo Martignoni, Mihai Christodorescu, Somesh Jha |
OmniUnpack: Fast, Generic, and Safe Unpacking of Malware.  |
ACSAC  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mihai Christodorescu, Somesh Jha, Christopher Kruegel |
Mining specifications of malicious behavior.  |
ESEC/SIGSOFT FSE  |
2007 |
DBLP DOI BibTeX RDF |
behavior-based detection, malspec, differential analysis |
| 1 | Mihai Christodorescu, Somesh Jha, Sanjit A. Seshia, Dawn Xiaodong Song, Randal E. Bryant |
Semantics-Aware Malware Detection.  |
IEEE Symposium on Security and Privacy  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathon T. Giffin, Mihai Christodorescu, Louis Kruger |
Strengthening Software Self-Checksumming via Self-Modifying Code.  |
ACSAC  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Mihai Christodorescu, Nicholas Kidd, Wen-Han Goh |
String analysis for x86 binaries.  |
PASTE  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Shai Rubin, Mihai Christodorescu, Vinod Ganapathy, Jonathon T. Giffin, Louis Kruger, Hao Wang, Nicholas Kidd |
An auctioning reputation system based on anomaly.  |
ACM Conference on Computer and Communications Security  |
2005 |
DBLP DOI BibTeX RDF |
anomaly detection, auction, reputation system, shilling |
| 1 | Mihai Christodorescu, Somesh Jha |
Testing malware detectors.  |
ISSTA  |
2004 |
DBLP DOI BibTeX RDF |
malware, obfuscation, adaptive testing, anti-virus |
| 1 | Barton P. Miller, Mihai Christodorescu, Robert Iverson, Tevfik Kosar, Alexander Mirgorodskii, Florentina I. Popovici |
Playing Inside the Black Box: Using Dynamic Instrumentation to Create Security Holes.  |
Parallel Processing Letters  |
2001 |
DBLP BibTeX RDF |
|
Displaying result #1 - #23 of 23 (100 per page; Change: )
|
|