Symbolic Deobfuscation: From Virtualized Code Back to the Original (DIMVA 2018)

This micro blog post introduces our research regarding symbolic deobfuscation of virtualized hash functions in collaboration with the CEA and VERIMAG.

more ...

Mistreating Triton

Some experiments to mistreat the Triton concolic execution framework through simple forged C programs.

more ...

Kernel Vulnerabilities in the Samsung S4

Multiple kernel vulnerabilities in the Samsung S4 (GT-I9500)

more ...

Triton under the hood

Triton is a Pin-based concolic execution framework which provides some advanced classes to perform DBA.

more ...

SCAF - Source Code Analysis Framework based on Clang - Pre-alpha preview

We recently began to work on source code analysis and the main objective was to easily collaborate on a same analysis. So, we started to develop a framework based on Clang that will be described in this blog post.

more ...