VB2018 paper: Analysing compiled binaries using logic

Posted by   Martijn Grooten on   Feb 20, 2019

Static analysis of malware is usually "done by a person (a security analyst) who will stare at one binary code for hours, searching for patterns – the signatures," writes Thaís Moreira Hamasaki in her VB2018 paper.

To make the analysis process faster and more effective, analysts tend to use various tools and techniques. One lesser known technique that is becoming increasingly popular among malware analysts is constraint programming, which gives insight into the conditions necessary for the execution to take specific branches.

Moreira-Hamasaki-fig2.jpgExample of context sensitivity for a simple program.

In her detailed VB2018 paper, Thaís (who was then at F-Secure) presented an overview of constraint programming and explained how it can be applied to the analysis of (potentially) malicious binaries. Today we have published Thaís' paper in both HTML and PDF format. We have also uploaded the video of her presentation to our YouTube channel.

 

myers-paper.jpg

Analysing compiled binaries using logic

Read the paper (HTML)

Download the paper (PDF)

 

 

 

Do you know of a new or little known tool that can aide in the manual analysis of malware? Why not submit an abstract for VB2019, the upcoming Virus Bulletin conference that is to take place in London, 2-4 October. The Call for Papers closes on 17 March.

twitter.png
fb.png
linkedin.png
hackernews.png
reddit.png

 

Latest posts:

First 11 partners of VB2019 announced

We are excited to announce the first 11 companies to partner with VB2019, whose support will help ensure a great event.

VB2018 paper: Fake News, Inc.

A former reporter by profession, Andrew Brandt's curiosity was piqued when he came across what appeared at first glance to be the website of a small-town newspaper based in Illinois, but under scrutiny, things didn’t add up. At VB2018 he presented a…

Paper: Alternative communication channel over NTP

In a new paper published today, independent researcher Nikolaos Tsapakis writes about the possibilities of malware using NTP as a covert communication channel and how to stop this.

VB2019 conference programme announced

VB is excited to reveal the details of an interesting and diverse programme for VB2019, the 29th Virus Bulletin International Conference, which takes place 2-4 October in London, UK.

VB2018 paper: Under the hood - the automotive challenge

Car hacking has become a hot subject in recent years, and at VB2018 in Montreal, Argus Cyber Security's Inbar Raz presented a paper that provides an introduction to the subject, looking at the complex problem, examples of car hacks, and the…

We have placed cookies on your device in order to improve the functionality of this site, as outlined in our cookies policy. However, you may delete and block all cookies from this site and your use of the site will be unaffected. By continuing to browse this site, you are agreeing to Virus Bulletin's use of data as outlined in our privacy policy.