Tim Sally
Academic Background
I currently work at MIT Lincoln Laboratory doing research for the Cyber Systems Assessments group. In 2011 I completed my BSc in Computer Science at the University of Illinois at Urbana-Champaign. I have also spent some time at Lockheed Martin and the Center for Simulation of Advanced Rockets.
Research Interests
My primary research area is static analysis of binary programs. More broadly, I am interested in program analysis, program obfuscation, and content protection.
Resources
I provide some resources I have generated over the course of my research.
Spectral Graph Theory Pages
A comprehensive (best-effort) directory of spectral graph theory resources.
Contact
