Follow
Maverick Woo
Maverick Woo
Systems Scientist, Carnegie Mellon University
Verified email at cmu.edu - Homepage
Title
Cited by
Cited by
Year
Automatic exploit generation
T Avgerinos, SK Cha, A Rebert, EJ Schwartz, M Woo, D Brumley
Communications of the ACM 57 (2), 74-84, 2014
5792014
Towards automated dynamic analysis for linux-based embedded firmware.
DD Chen, M Woo, D Brumley, M Egele
NDSS 1, 1-1, 2016
4542016
The art, science, and engineering of fuzzing: A survey
VJM Manès, HS Han, C Han, SK Cha, M Egele, EJ Schwartz, M Woo
IEEE Transactions on Software Engineering 47 (11), 2312-2331, 2019
4312019
{BYTEWEIGHT}: Learning to recognize functions in binary code
T Bao, J Burket, M Woo, R Turner, D Brumley
23rd USENIX Security Symposium (USENIX Security 14), 845-860, 2014
3282014
Program-adaptive mutational fuzzing
SK Cha, M Woo, D Brumley
2015 IEEE Symposium on Security and Privacy, 725-741, 2015
3212015
Blanket execution: Dynamic similarity testing for program binaries and components
M Egele, M Woo, P Chapman, D Brumley
23rd USENIX Security Symposium (USENIX Security 14), 303-317, 2014
2482014
Scheduling black-box mutational fuzzing
M Woo, SK Cha, S Gottlieb, D Brumley
Proceedings of the 2013 ACM SIGSAC conference on Computer & communications …, 2013
2412013
Native x86 decompilation using {Semantics-Preserving} structural analysis and iterative {Control-Flow} structuring
D Brumley, JH Lee, EJ Schwartz, M Woo
22nd USENIX Security Symposium (USENIX Security 13), 353-368, 2013
1802013
Towards automatic software lineage inference
J Jang, M Woo, D Brumley
22nd USENIX Security Symposium (USENIX Security 13), 81-96, 2013
1172013
Dynamizing static algorithms, with applications to dynamic trees and history independence
UA Acar, GE Blelloch, R Harper, JL Vittes, SLM Woo
Carnegie Mellon University, 2004
972004
Fuzzing: Art, science, and engineering
VJM Manes, HS Han, C Han, SK Cha, M Egele, EJ Schwartz, M Woo
arXiv preprint arXiv:1812.00140, 2018
542018
Scaling up DPLL (T) string solvers using context-dependent simplification
A Reynolds, M Woo, C Barrett, D Brumley, T Liang, C Tinelli
International Conference on Computer Aided Verification, 453-474, 2017
482017
Confronting hardness using a hybrid approach
V Vassilevska, R Williams, SLM Woo
Symposium on Discrete Algorithms: Proceedings of the seventeenth annual ACM …, 2006
442006
Finding effective support-tree preconditioners
BM Maggs, GL Miller, O Parekh, R Ravi, SLM Woo
Proceedings of the seventeenth annual ACM symposium on Parallelism in …, 2005
332005
Establishing Software Root of Trust Unconditionally.
VD Gligor, SLM Woo
NDSS, 2019
302019
The art, science, and engineering of fuzzing: A survey
VJM Manes, HS Han, C Han, SK Cha, M Egele, EJ Schwartz, M Woo
arXiv preprint arXiv:1812.00140, 2018
232018
Space-efficient finger search on degree-balanced search trees
GE Blelloch, BM Maggs, SLM Woo
Symposium on Discrete Algorithms: Proceedings of the fourteenth annual ACM …, 2003
232003
A pilot study on consumer IoT device vulnerability disclosure and patch release in Japan and the United States
A Nakajima, T Watanabe, E Shioji, M Akiyama, M Woo
Proceedings of the 2019 ACM Asia Conference on Computer and Communications …, 2019
212019
Solving symmetric diagonally-dominant systems by preconditioning
BM Maggs, GL Miller, O Parekh, R Ravi, SLM Woo
manuscript, 2003
192003
Fuzzing: Art
VJM Manès, HS Han, C Han, SK Cha, M Egele, EJ Schwartz, M Woo
Science, and Engineering. CoRR abs/1812.00140 (2018), 2018
182018
The system can't perform the operation now. Try again later.
Articles 1–20