378 search results - page 8 / 76 » Information Flow Analysis for VHDL |
CCS
2007
ACM
14 years 2 months ago
2007
ACM
Malicious programs spy on users’ behavior and compromise their privacy. Even software from reputable vendors, such as Google Desktop and Sony DRM media player, may perform undes...
DIMVA
2008
13 years 10 months ago
2008
ICFP
1997
ACM
14 years 4 days ago
1997
ACM
An interprocedural flow analysis can justify inlining in higher-order languages. In principle, more inlining can be performed as analysis accuracy improves. This paper compares fo...
ERSHOV
2009
Springer
13 years 6 months ago
2009
Springer
Abstract. Historically, dynamic techniques are the pioneers of the area of information flow in the 70's. In their seminal work, Denning and Denning suggest a static alternativ...
ICDCSW
2005
IEEE
14 years 2 months ago
2005
IEEE
The core problem in risk analysis - determining exploitable paths between attackers and system assets is essentially a problem of determining information flow. It is relatively st...