Name: LEON
Type: User
Company: המוסד למודיעין ולתפקידים מיוחדים
Bio: R/D:LLVM, SAT/ATP, Machine Learning, ARE/AEG/APG/APEG, Low Level Code Transformation, DSE/SSE, HVM/PVHVM/HW/UEFI Rootkits, HW VLSI Design/Verification, Math/SMT
Location: Ramat Gan, Tel Aviv, Israel, Earth.
Blog: https://twitter.com/YHVHvx
LEON's Projects
radare decompiler tool based on radeco-lib
Reflective DLL injection is a library injection technique in which the concept of reflective programming is employed to perform the loading of a library from memory into a host process.
A Turing complete ROP compiler
ropc-llvm is a PoC of a Turing complete ROP compiler with support for a subset of LLVM IR. It is an extension of ropc.
S2E - A Platform for In-Vivo Multi-Path Software Analysis
a C/C++ shellcode compiler based on llvm/clang
Symbolic Exploit Assistant (SEA) is a tool to help to create exploits of binary programs
The Shang high-level synthesis framework
System Management Mode backdoor for UEFI
A superoptimizer for LLVM IR
little scripts in which you can find (maybe) interesting things
Framework for Man-In-The-Middle attacks
The Swift Programming Language
A Pin-based dynamic symbolic execution (DSE) framework. Although Triton is a DSE framework, it also provides internal components like a taint engine, a snapshot engine, translation of x86 and x86-64 instructions into SMT2-LIB, a Z3 interface to solve constraints and, the last but not least, Python bindings.
Virtual machine templates for Ubuntu
CHIPSEC module that exploits UEFI boot script table vulnerability
Generic Executable Unpacking using Dynamic Binary Instrumentation
Unicorn CPU emulator engine
Wifi sniffing and hijacking tool
Virtual machine templates for Windows
Kernel rootkit, that lives inside the Windows registry values data
A C/C++ code obfuscator based on llvm/clang technology