2023 Seminars
Uncovering Structure in Social Networks / Interprocedural Binary Analysis for Computer-Human Collaboration
Date/Time: Monday, January 23rd, 4:10 p.m. - 5:00 p.m. in Barnard Hall 108
Speaker: Matt Revelle, Senior Principal Research Scientist, Kudo Dynamics LLC
Abstract: This presentation highlights techniques developed to address two broad objectives:
the uncovering of structure in social networks; and the managing of complexity in
binary reversing engineering and vulnerability research.
Social networks are defined by relationships between people and permeate all aspects
of human life. Improving our understanding of the structure and dynamics of networks
enhances our knowledge of many human systems. I present my contributions to the specific
tasks of community detection and community evolution prediction. Community detection
in networks is a complex problem with many proposed solutions. Existing methods frequently
make use of edge density and node attributes; however, the methods ultimately have
different definitions of community and build strong assumptions about community features
into their models. I propose a new method for community detection, which estimates
both per-community feature distributions (topics) and per-node community membership.
The method includes only two basic assumptions about community structure: communities
are densely connected and have a small network diameter.
Communities in social networks evolve over time as nodes enter and leave the network
and their activity behaviors shift. I present a novel graph attention network architecture
for predicting community evolution events based on group-node attention. Group-node
attention enables support for variable-sized inputs and learned representation of
groups based on member and neighbor node features, including temporal information.
As software systems continue to become more prolific, the frequency and potential
impact of unknown software vulnerabilities also increases. The reverse engineering
of program binaries is often necessary for identifying and understanding software
vulnerabilities, and improving the performance of reverse engineers is a crucial component
in securing computer systems. Semi-automated analysis workflows which allow reverse
engineers to direct automated analyses can improve efficiency and enable the use of
analyses that are intractable when applied to a whole program. I present a new software
framework for interprocedural binary analysis that supports the interactive construction
of interprocedural control-flow graphs (ICFGs). These ICFGs provide a workspace for
program exploration and automated simplifications through context- and flow-sensitive
analysis.
Brief Bio: Dr. Matthew Revelle is a Senior Principal Research Scientist at Kudu Dynamics and holds a PhD in Computer Science from George Mason University. He has over 20 years of computer science experience, including 10 years of experience in automated and manual vulnerability research, program analysis, reverse engineering, and computer network operations (CNO) development. His doctoral research was in the use of machine learning and data mining for uncovering structure in social networks. Dr. Revelle is currently a principal investigator on the Hardening Development Toolchains Against Emergent Execution Engines program under the Defense Advanced Research Projects Agency (DARPA) and previously supported several other DARPA programs. His research at Kudu Dynamics has included the use of type systems for vulnerability discovery in program binaries, interactive context- and flow-sensitive analysis for computer-human collaboration in vulnerability research, and machine learning to steer automated vulnerability discovery.
Seminars from 2022.