Alexey Loginov, Grammatech

Alexey will speak on challenges in machine-code analysis, and GrammaTech's efforts in extending traditional program analysis techniques to apply to binaries.

Biography

Dr. Alexey Loginov is VP of Research at GrammaTech, Inc. GrammaTech is most well-known for producing the CodeSurfer/CodeSonar static analysis/bug finding tools. GrammaTech, together with the University of Virginia, placed second in DARPA’s Cyber Grand Challenge in 2016.