Tobias F. Pfeffer, Paula Herber, Jörg Schneider 0001. Reverse Engineering of ARM Binaries Using Formal Transformations. In Ron Poet, Muttukrishnan Rajarajan, editors, Proceedings of the 7th International Conference on Security of Information and Networks, Glasgow, Scotland, UK, September 9-11, 2014. pages 345, ACM, 2014. [doi]
Abstract is missing.