Reverse Engineering of ARM Binaries Using Formal Transformations.

Tobias F. Pfeffer, Paula Herber, Jrg Schneider

Browse the full SIN paper archive.