Home

Deobfuscation

• 2022, May 26 Dead Store Elimination
• 2022, Fev 14 VMProtect Devirtualization
• 2022, Fev 01 From an obfuscated function to a synthesized LLVM IR
• 2022, Jan 24 Synthesizing (obfuscated) expressions
• 2019, Aug 14 IDA+Triton plugin in order to extract opaque predicates
• 2016, Oct 28 Breaking Tigress protections using symbolic execution, taint analysis and LLVM

Fuzzing

• 2022, Oct 21 Bootstraping code coverage on top of the Triton library

CTF solution

• 2002, Jun 05 Hack.lu 2021 OLLVM (Virtual Machine) challenge
• 2022, May 29 NorthSec 2018 MarsAnalytica (Virtual Machine) challenge
• 2021, Jul 27 Nuit du Hack CTF Quals 2016: Matriochka - Step 3
• 2020, May 03 AlexCTF 2017: catalyst system
• 2020, May 01 AlexCTF 2017: cpp-is-awesome
• 2020, Apr 26 Security Fest 2016: fairlight
• 2020, Apr 26 Ekoparty 2016: rev250
• 2018, Nov 03 MMA 2015: howtouse
• 2018, Nov 02 HackCon 2016: angry-reverser
• 2018, Oct 26 Google 2016: unbreakable
• 2017, Fev 06 Hackover 2015: r150
• 2016, Aug 02 Defcamp 2015: r100
• 2016, Aug 01 Defcon Quals 2016: baby-re