Survey on Applications of Formal Methods in Reverse Engineering and Intellectual Property Protection

Shahrzad Keshavarz, Cunxi Yu, Samaneh Ghandali, Xiaolin Xu, Daniel Holcomb. Survey on Applications of Formal Methods in Reverse Engineering and Intellectual Property Protection. J. Hardware and Systems Security, 2(3):214-224, 2018. [doi]

Abstract

Abstract is missing.