Can symbolic execution be a productivity multiplier for human bug-finders? My talk (youtube.com/watch?v=cERcHT…) at the kleesymex 2022 workshop tries to answer this question.

Thierry Doré talking about a journey of fuzzing Nvidia graphic driver leading to LPE exploitation at Hexacon. Triton inside 🔥🚀

Slides of my talk at Hexacon about my journey of fuzzing Nvidia graphic driver are now available: drive.google.com/file/d/1HEaQ3o…

Bootstraping code coverage on top of the Triton library. github.com/JonathanSalwan…

New toys 😍 x.com/rh0main/status…

Triaging a large number of crashes using symbolic execution. Impressive work by Jordan Whitehead at Atredis Partners using Triton. atredis.com/blog/2022/10/2…

Sydr-Fuzz: Continuous Hybrid Fuzzing and Dynamic Analysis for Security Development Lifecycle arxiv.org/abs/2211.11595 85 new bugs. #fuzzing with Sydr + libFuzzer/@aflplusplus, symbolic security predicates, crash triaging with Casr: github.com/ispras/casr

Spice up your binary program analysis with TritonDSE ! A blog post by Christian Heitman and Robin David introducing our framework for Dynamic Symbolic Execution in Python #symexec #fuzzing #opensource blog.quarkslab.com/introducing-tr…

SBFT'23 results are out, congrats to the winners of HasteFuzz, PASTIS & AFLrustrust fuzzer authors that show fuzzing improvements that outperform current industry benchmarks! These improvements will flow in OSS-Fuzz/fuzzing engines in the months to come- security.googleblog.com/2023/05/22k-aw…

Good morning everyone! I have finished writing the blog post solving the challenge from Hex-Rays SA using The Triton library and TritonDSE by quarkslab , you can find the post in my web site: farena.in/symbolic%20exe… I have used chatGPT for helping me improving my writing, enjoy!

CTF rev players discovering symbolic execution

A nice WU of zer0pts using The Triton library from Woody woody.sh/topology-zer0p… !

Hello everyone, today I have uploaded the second post on using The Triton library for analyzing a challenge from hacklu from 2 years ago: farena.in/symbolic%20exe…

Just teammate's hobby ...) #VMProtect devirtualizer github.com/archercreat/ti…

🔥 x.com/Vishnyak0v/sta…

VMProtect Source Code (Leaked 07.12.2023) github.com/jmpoep/vmprote…

Discovering 12 new integer truncation #bugs (and generating PoC seeds) in LibTIFF, libpcap, nDPI, unbound, FreeImage with dynamic #symbolic execution. arxiv.org/abs/2312.06425

RISC-V 32/64 support is now available. Huge thx for everyone involved in this contribution <3 github.com/JonathanSalwan…

LummaC2: Obfuscation Through Indirect Control Flow cloud.google.com/blog/topics/th… 👀 #tritonlibrary