Specification and evaluation of polymorphic shellcode properties using a new temporal logic

Mehdi Talbi, Mohamed Mejri, Adel Bouhoula. Specification and evaluation of polymorphic shellcode properties using a new temporal logic. Journal in Computer Virology, 5(3):171-186, 2009. [doi]

Abstract

Abstract is missing.