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
5332014
Towards automated dynamic analysis for linux-based embedded firmware.
DD Chen, M Woo, D Brumley, M Egele
NDSS 1, 1.1-8.1, 2016
3652016
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
2962019
{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
2962014
Program-adaptive mutational fuzzing
SK Cha, M Woo, D Brumley
2015 IEEE Symposium on Security and Privacy, 725-741, 2015
2822015
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
2222014
Scheduling black-box mutational fuzzing
M Woo, SK Cha, S Gottlieb, D Brumley
Proceedings of the 2013 ACM SIGSAC conference on Computer & communications …, 2013
2122013
Native x86 decompilation using semantics-preserving structural analysis and iterative control-flow structuring
EJ Schwartz, J Lee, M Woo, D Brumley
Proceedings of the USENIX Security Symposium 16, 2013
1552013
Towards Automatic Software Lineage Inference.
J Jang, M Woo, D Brumley
USENIX Security Symposium, 81-96, 2013
1052013
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
912004
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
432018
Confronting hardness using a hybrid approach
V Vassilevska, R Williams, SLM Woo
Symposium on Discrete Algorithms: Proceedings of the seventeenth annual ACM …, 2006
422006
Scaling up DPLL (T) string solvers using context-dependent simplification
A Reynolds, M Woo, C Barrett, D Brumley, T Liang, C Tinelli
Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017
412017
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
262019
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
242003
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
192018
Solving symmetric diagonally-dominant systems by preconditioning
BM Maggs, GL Miller, O Parekh, R Ravi, SLM Woo
Unpublished manuscript available online at http://www. cs. cmu. edu/~ bmm, 2002
192002
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
152018
Achieving Spatial Adaptivity while Finding Approximate Nearest Neighbors.
J Derryberry, D Sheehy, M Woo, DD Sleator
CCCG 8, 163-166, 2008
132008
The system can't perform the operation now. Try again later.
Articles 1–20