Cross Cutting Thrusts
Formal Methods, Software Security
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.
Cross Cutting Thrusts: Software Security | Formal Methods
Researchers: David Brumley, Maverick Woo, Manuel Egele
"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.