willy vasquez rising senior at mit › studying computer science and engineering › research with...

21
Visual Reverse Engineering Willy Vasquez

Upload: alexis-gordon

Post on 17-Dec-2015

218 views

Category:

Documents


2 download

TRANSCRIPT

Page 1: Willy Vasquez  Rising Senior at MIT › Studying Computer Science and Engineering › Research with Shafi Goldwasser › Intern at Symantec Mobility Management

Visual Reverse Engineering

Willy Vasquez

Page 2: Willy Vasquez  Rising Senior at MIT › Studying Computer Science and Engineering › Research with Shafi Goldwasser › Intern at Symantec Mobility Management

Background

Willy Vasquez Rising Senior at MIT

› Studying Computer Science and Engineering

› Research with Shafi Goldwasser› Intern at Symantec Mobility Management

Group

Page 3: Willy Vasquez  Rising Senior at MIT › Studying Computer Science and Engineering › Research with Shafi Goldwasser › Intern at Symantec Mobility Management

Source

Work of Christopher Domas of the Battelle Memorial Institute

Brief overview of his talk at REcon › The Future of RE: Dynamic Binary

Visualization

Page 4: Willy Vasquez  Rising Senior at MIT › Studying Computer Science and Engineering › Research with Shafi Goldwasser › Intern at Symantec Mobility Management

Reverse Engineering

The goal is to answer “what is this and what does it do?”

Page 5: Willy Vasquez  Rising Senior at MIT › Studying Computer Science and Engineering › Research with Shafi Goldwasser › Intern at Symantec Mobility Management

From Art to Science

Lots of time to identify patterns Finding the patterns is an art.

Page 6: Willy Vasquez  Rising Senior at MIT › Studying Computer Science and Engineering › Research with Shafi Goldwasser › Intern at Symantec Mobility Management

Visual RE

Taking a computationally difficult task and translating it to a problem our brains naturally do

Traversing thousands of lines of hex and making sense of it in 20 seconds

Page 7: Willy Vasquez  Rising Senior at MIT › Studying Computer Science and Engineering › Research with Shafi Goldwasser › Intern at Symantec Mobility Management

Why improve?

Steganography Obfuscation Embedded Devices Unknown formats

Page 8: Willy Vasquez  Rising Senior at MIT › Studying Computer Science and Engineering › Research with Shafi Goldwasser › Intern at Symantec Mobility Management

Why improve?

Our current best RE tools are completely dependent on known structure

Gates’ Law› Software is getting slower more rapidly

than hardware becomes faster› Amount of Information we need to analyze

is growing exponentially

Page 9: Willy Vasquez  Rising Senior at MIT › Studying Computer Science and Engineering › Research with Shafi Goldwasser › Intern at Symantec Mobility Management

Background Ideas

Greg Conti› US Military Academy› Blackhat

Aldo Cortesi› Nullcube› corte.si

Page 10: Willy Vasquez  Rising Senior at MIT › Studying Computer Science and Engineering › Research with Shafi Goldwasser › Intern at Symantec Mobility Management

Conti’s Idea

Even in unstructured data there are relationships, especially among local hex bytes

Digraphs

Page 11: Willy Vasquez  Rising Senior at MIT › Studying Computer Science and Engineering › Research with Shafi Goldwasser › Intern at Symantec Mobility Management

Conti’s Idea

Ascii AudioImage

Page 12: Willy Vasquez  Rising Senior at MIT › Studying Computer Science and Engineering › Research with Shafi Goldwasser › Intern at Symantec Mobility Management

Cortesi’s Work

Mapping data to Hilbert curves

Page 13: Willy Vasquez  Rising Senior at MIT › Studying Computer Science and Engineering › Research with Shafi Goldwasser › Intern at Symantec Mobility Management

Building on Concepts

Goal: Understanding data independent of format

Page 14: Willy Vasquez  Rising Senior at MIT › Studying Computer Science and Engineering › Research with Shafi Goldwasser › Intern at Symantec Mobility Management

..cantor.dust..

Named after Georg Cantor Works off of emphasizing the idea of

relationships between binary information

Page 15: Willy Vasquez  Rising Senior at MIT › Studying Computer Science and Engineering › Research with Shafi Goldwasser › Intern at Symantec Mobility Management

3D Digraphs

Page 16: Willy Vasquez  Rising Senior at MIT › Studying Computer Science and Engineering › Research with Shafi Goldwasser › Intern at Symantec Mobility Management

Entropy Explorer

Page 17: Willy Vasquez  Rising Senior at MIT › Studying Computer Science and Engineering › Research with Shafi Goldwasser › Intern at Symantec Mobility Management

..cantor.dust.. classification

Bayesion Method to classify certain types of formats

Page 18: Willy Vasquez  Rising Senior at MIT › Studying Computer Science and Engineering › Research with Shafi Goldwasser › Intern at Symantec Mobility Management

..cantor.dust.. parsing

Current binary parsing› Recursive descent: IDA style that follows

patterns and calls in code› Linear sweep: objdump and goes through

in linear fashion Rely on a structures grammar ..cantor.dust.. Uses probabilistic

parsing, which does not rely on grammar

Page 19: Willy Vasquez  Rising Senior at MIT › Studying Computer Science and Engineering › Research with Shafi Goldwasser › Intern at Symantec Mobility Management

..cantor.dust.. parsing

Page 20: Willy Vasquez  Rising Senior at MIT › Studying Computer Science and Engineering › Research with Shafi Goldwasser › Intern at Symantec Mobility Management

..cantor.dust.. summary

A new way to look at binary information

Can find demo from blackhat presentation: https://media.blackhat.com/bh-us-12/Arsenal/Domas/_cantor.dust_.7z.zip

No updates since last summer

Page 21: Willy Vasquez  Rising Senior at MIT › Studying Computer Science and Engineering › Research with Shafi Goldwasser › Intern at Symantec Mobility Management

Sources

The full talk and slides located on the recon.cx website: › http://recon.cx/2013/schedule/events/20.ht

ml