Tools & Services
... we are code monkeys
SymQEMU
Developer: Sebastian Poeplau
SymQEMU: Compilation-based symbolic execution for binaries
SymCC
Developer: Sebastian Poeplau
Symbolic execution with SymCC: Don't interpret, compile!
Comparison of symbolic execution systems
Developer: Sebastian Poeplau
Systematic Comparison of Symbolic Execution Systems: Intermediate Representation and its Generation
Kernographer
Developers: Fabio
Pagani
Back to the Whiteboard: a Principled Approach for the Assessment and Design of Memory Forensic Techniques
Inception
Developers: Nassim
Corteggiani, Giovanni
Camurati, Aurélien Francillon
Inception: System-wide Security Testing of Real-World Embedded Systems Software
Screaming Channels
Developers: Giovanni
Camurati, Sebastian Poeplau, Marius
Muench, Tom Hayes, Aurélien Francillon
Screaming Channels: When
Electromagnetic Side Channels
Meet Radio Transceivers
Padawan
Lead Developer: Emanuele Cozzi
PADAWAN: platform for multi-architecture ELF analysis
Avatar²
Lead Developer: Marius Muench
Avatar²: dynamic analysis framework
TSXCFI
Lead Developers: Marius Muench and Fabio `pagabuc` Pagani
Control Flow Integrity enforcement using Intel Transactional Synchronization Extensions
ROPMEMU
Lead Developer: Mariano `emdel` Graziano
...
ACTAEON
Lead Developer: Mariano `emdel` Graziano
Actaeon: hypervisors hunter
AVATAR
Lead Developer: Jonas Zaddach
Avatar: dynamic firmware analysis
Firmware.RE
Lead Developers: Andrei Costin, Jonas Zaddach
Firmware.RE: Firmware Genomics, Unpacking and Analysis