Thread Rating:
  • 1 Vote(s) - 5 Average
  • 1
  • 2
  • 3
  • 4
  • 5
VB2018 paper: Analysing compiled binaries using logic
#1
Lightbulb 
Quote:[Image: logo-big.png]


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.

[Image: 2c5b2567a6332ca4c870b1710708bbdd_f3129.jpg]

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.

Analysing compiled binaries using logic


Read the paper (HTML)
Download the paper (PDF)
Full Reading
[-] The following 2 users say Thank You to harlan4096 for this post:
  • darktwilight, silversurfer
Reply


Forum Jump:


Users browsing this thread: 1 Guest(s)
[-]
Welcome
You have to register before you can post on our site.

Username/Email:


Password:





[-]
Recent Posts
Microsoft Edge fixes 0-day vulnerability...
Microsoft released...harlan4096 — 10:12
AnyDesk 8.0.9
AnyDesk 8.0.9:   ...harlan4096 — 10:10
AMD Confirms RDNA 3+ GPU Architecture F...
AMD Zen5-based Strix...harlan4096 — 10:08
Adobe Acrobat Reader DC 24.001.20629 (Op...
Adobe Acrobat Read...harlan4096 — 10:06
FastCopy 5.7.5
FastCopy 5.7.5: ...harlan4096 — 10:04

[-]
Birthdays
Today's Birthdays
No birthdays today.
Upcoming Birthdays
No upcoming birthdays.

[-]
Online Staff
There are no staff members currently online.

>