Series
Institute for Information Security & Privacy Cybersecurity Lecture Series

Permanent Link
https://hdl.handle.net/1853/70914
Series Type
Event Series
Description
Associated Organization(s)
Associated Organization(s)
Organizational Unit
Organizational Unit

Filters
2021 1
1
1
1
Reset filters

Settings
Author: Bittick, Kennon × End date: 2021 × Start date: 2020 × search.filters.applied.f.isOrgUnitOfPublicationTitle: College of Computing × search.filters.applied.f.isSeriesOfPublicationTitle: Institute for Information Security & Privacy Cybersecurity Lecture Series × Type: Moving Image ×

Publication Search Results

Now showing 1 - 1 of 1
  • Thumbnail Image
    Item
    Function Equivalence with Symbolic Execution
    (Georgia Institute of Technology, 2021-04-16) Bittick, Kennon
    Summarizing and comparing basic blocks or functions across different binaries or between binary and source code has many applications for program verification including verifying compilation, source or binary transformations, identifying patched code, and identifying library functions. This talk will present IRAD research on using static symbolic execution to prove source and binary function equivalence, with a focus on how breaking up functions or basic blocks into smaller, composable units can make the analysis tractable and bypass many common issues with symbolic execution.