Mehdi Talbi Mohamed Mejri Adel Bouhoula Specification and evaluation of polymorphic shellcode properties using a new temporal logic. 171-186 2009 5 Journal in Computer Virology 3 http://dx.doi.org/10.1007/s11416-008-0089-x db/journals/virology/virology5.html#TalbiMB09