1. CILFI: Automatic Function Identification in .NET Binaries blog | 2026-08-04 00:00 | blog.washi.dev | original ↗ | #reverse-engineering | #tools | #pattern-matching
2. PhD Defense of Jonathan Salwan: Use of Symbolic Execution for Binary Deobfuscation research | 2020-02-12 23:00 | blog.quarkslab.com | original ↗ | #reverse-engineering | #program-analysis | #symbolic-execution
3. Symbolic Deobfuscation: From Virtualized Code Back to the Original (DIMVA 2018) research | 2018-07-11 22:00 | blog.quarkslab.com | original ↗ | #virtualization | #research | #program-analysis
4. PhD defense of Ninon Eyrolles: Obfuscation with Mixed Boolean-Arithmetic Expressions: Reconstruction, Analysis and Simplification Tools research | 2017-06-08 22:00 | blog.quarkslab.com | original ↗ | #obfuscation | #mba | #program-analysis
5. Arybo: cleaning obfuscation by playing with mixed boolean and arithmetic operations research | 2016-09-11 22:00 | blog.quarkslab.com | original ↗ | #python | #mba | #symbolic-execution
6. What theoretical tools are needed to simplify MBA expressions? research | 2015-09-22 22:00 | blog.quarkslab.com | original ↗ | #reverse-engineering | #obfuscation | #mba
7. Deobfuscation: recovering an OLLVM-protected program research | 2014-12-03 23:00 | blog.quarkslab.com | original ↗ | #reverse-engineering | #obfuscation | #symbolic-execution
Skip to content