Maverick Woo (Shan Leung)

Hello, I am a Systems Scientist at CyLab in Carnegie Mellon University. I received my Ph.D. in Computer Science from Carnegie Mellon in 2009 and joined CyLab in 2011. My current research interests include software security and program analysis, with a focus on algorithm design and budget optimization.

Contact

pooh at cmu dot edu

4720 Forbes Ave., Room 2120
Carnegie Mellon University
Pittsburgh, PA 15213

Publications

  1. T. Bao, J. Burket, M. Woo, R. Turner, and D. Brumley, "ByteWeight: Learning to Recognize Functions in Binary Code," in Proceedings of the 23rd USENIX Security Symposium, 2014, pp. 845-860. (open access)
  2. M. Egele, M. Woo, and D. Brumley, "Blanket Execution: Dynamic Similarity Testing for Program Binaries and Components," in Proceedings of the 23rd USENIX Security Symposium, 2014, pp. 303-317. (open access)
  3. T. Avgerinos, S. K. Cha, A. Rebert, E. J. Schwartz, M. Woo, and D. Brumley, "Automatic Exploit Generation," in Communications of the ACM, vol. 57, no. 2, 2014, pp. 74-84. (ACM Author-Izer)
  4. M. Woo, S. K. Cha, S. Gottlieb, and D. Brumley, "Scheduling Black-box Mutational Fuzzing," in Proceedings of the 20th ACM Conference on Computer and Communications Security, 2013, pp. 511-522. (ACM Author-Izer)
  5. E. J. Schwartz, J. Lee, M. Woo, and D. Brumley, "Native x86 Decompilation using Semantics-Preserving Structural Analysis and Iterative Control-Flow Structuring," in Proceedings of the 22nd USENIX Security Symposium, 2013, pp. 353-368. (open access)
  6. J. Jang, M. Woo, and D. Brumley, "Towards Automatic Software Lineage Inference," in Proceedings of the 22nd USENIX Security Symposium, 2013, pp. 81-96. (open access)
  7. J. Jang, M. Woo, and D. Brumley, " ReDeBug: Finding Unpatched Code Clones in Entire OS Distributions," in USENIX ;login:, vol. 37, no. 6, 2012, pp. 58-67. (preprint)
  8. J. Derryberry, D. Sheehy, D. Sleator, and M. Woo, "Achieving Spatial Adaptivity while Finding Approximate Nearest Neighbors," in Proceedings of the 20th Annual Canadian Conference on Computational Geometry, 2008. (open access)
  9. V. Vassilevska, R. Williams, and S. L. M. Woo, "Confronting Hardness Using a Hybrid Approach," in Proceedings of the 17th ACM-SIAM Symposium on Discrete Algorithm, 2006, pp. 1-10.
  10. B. M. Maggs, G. L. Miller, O. Parekh, R. Ravi, and S. L. M. Woo, "Finding Effective Support-Tree Preconditioners," in Proceedings of the 17th ACM Symposium on Parallelism in Algorithms and Architectures, 2005, pp. 176-185. (ACM Author-Izer)
  11. U. A. Acar, G. E. Blelloch, R. Harper, J. L. Vittes, and S. L. M. Woo, "Dynamizing Static Algorithms, with Applications to Dynamic Trees and History Independence," in Proceedings of the 15th ACM-SIAM Symposium on Discrete Algorithm, 2004, pp. 531-540.
  12. G. E. Blelloch, B. M. Maggs, and S. L. M. Woo, "Space-Efficient Finger Search on Degree-Balanced Search Trees," in Proceedings of the 14th ACM-SIAM Symposium on Discrete Algorithms, 2003, pp. 374-383.
Last Updated: 2014-08-18