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]

Authors

Mehdi Talbi

This author has not been identified. Look up 'Mehdi Talbi' in Google

Mohamed Mejri

This author has not been identified. It may be one of the following persons: Look up 'Mohamed Mejri' in Google

Adel Bouhoula

This author has not been identified. Look up 'Adel Bouhoula' in Google