326 search results - page 23 / 66 » Interprocedural Control Flow Analysis |
68
Voted
ACSAC
2008
IEEE
15 years 4 months ago
2008
IEEE
A new class of stealthy kernel-level malware, called transient kernel control flow attacks, uses dynamic soft timers to achieve significant work while avoiding any persistent ch...
89
Voted
BPSC
2010
14 years 7 months ago
2010
: This paper proposes a framework for the detection of information leaks in workflow descriptions based on static information flow analysis. Despite the correct deployment of acces...
77
Voted
SAC
2010
ACM
15 years 2 months ago
2010
ACM
The verification of industrial systems specified with CSP often implies the analysis of many concurrent and synchronized components. The cost associated to these analyses is usu...
IMC
2005
ACM
15 years 3 months ago
2005
ACM
Flow measurement evolved into the primary method for measuring the composition of Internet traffic. Large ISPs and small networks use it to track dominant applications, dominant ...
73
Voted
OOPSLA
2007
Springer
15 years 3 months ago
2007
Springer
There are many proposals for language techniques to control aliasing and encapsulation in object oriented programs, typically based on notions of object ownership and pointer uniq...