Skip to main content

Maverick Woo

Systems Scientist, CyLab

[Email]

Maverick Woo

Cross Cutting Thrusts

Formal Methods, Software Security

Biography

Shan Leung Woo (Maverick) is a Systems Scientist at CyLab in Carnegie Mellon University. He received his Ph.D. in Computer Science from Carnegie Mellon in 2009 and joined CyLab in 2011. His research interests include software security and program analysis, with a focus on algorithm design and budget optimization.

Research Projects

Secure Software Development and Operation

Cross Cutting Thrusts: Software Security | Formal Methods
Researchers: David Brumley, Maverick Woo, Manuel Egele

Publications

"Native x86 Decompilation using Semantics-Preserving Structural Analysis and Iterative Control-Flow Structuring". E. J. Schwartz, J. Lee, M. Woo, and D. Brumley, Proceedings of USENIX Security Symposium, 2013.

"Scheduling Black-box Mutational Fuzzing". Woo, M., Cha, S. K., Gottlieb, S., & Brumley, D. J. (2013).  ACM Conference on Computer and Communications Security Proceedings.

"Towards Automatic Software Lineage Inference". J. Jang, M. Woo, and D. Brumley, Proceedings of USENIX Security Symposium, 2013.