Malware Detection by Static Checking and Dynamic Analysis of Executables

By  

International Journal of Information Security and Privacy (IJISP), Vol. 11, Iss. 3, 2017-07 ,pp. : 29-41

IGI Global_journal

Access to resources Recommend Favorite

Static and Dynamic Slicing of Constraint Logic Programs

By Szilágyi G.  

Automated Software Engineering, Vol. 9, Iss. 1, 2002-01 ,pp. : 41-65

Springer Publishing Company

Access to resources Recommend Favorite

Dynamic security labels and static information flow control

By Zheng Lantian   Myers Andrew  

International Journal of Information Security (IJIS), Vol. 6, Iss. 2-3, 2007-03 ,pp. : 67-84

Springer Publishing Company

Access to resources Recommend Favorite

Combining static and dynamic array detection for binary synthesis with multiple memory ports

By Rotem Nadav  

Design Automation for Embedded Systems, Vol. 15, Iss. 1, 2011-03 ,pp. : 1-18

Springer Publishing Company

Access to resources Recommend Favorite

Using Static Analysis to Reduce Dynamic Analysis Overhead

By Yong Suan   Horwitz Susan  

Formal Methods in System Design, Vol. 27, Iss. 3, 2005-11 ,pp. : 313-334

Springer Publishing Company

Access to resources Recommend Favorite