47 search results - page 3 / 10 » Combining dynamic and static slicing for analysing assembler |
CSFW
2005
IEEE
14 years 4 months ago
2005
IEEE
This paper contrasts two existing type-based techniques for the analysis of authentication protocols. The former, proposed by Gordon and Jeffrey, uses dependent types for nonces a...
CSMR
2004
IEEE
14 years 2 months ago
2004
IEEE
Combining static and dynamic information is highly relevant in many reverse engineering, program comprehension and maintenance task. Dynamic analysis is particularly effective whe...
KES
2007
Springer
13 years 10 months ago
2007
Springer
Abstract. This work presents an analysis of the static Aging operator for different evolutionary algorithms: two immunological algorithms (OptIA and Clonalg), a standard genetic a...
CADE
2008
Springer
14 years 11 months ago
2008
Springer
Confidentiality is maybe the most popular security property to be formally or informally verified. Noninterference is a baseline security policy to formalize confidentiality of sec...
IWPC
2003
IEEE
14 years 4 months ago
2003
IEEE
We detect design patterns in legacy code combining static and dynamic analyses. The analyses do not depend on coding or naming conventions. We classify potential pattern instances...