87 search results - page 1 / 18 » Dynamic vs. Static Flow-Sensitive Security Analysis |
CSFW
2010
IEEE
13 years 8 months ago
2010
IEEE
—This paper seeks to answer fundamental questions about trade-offs between static and dynamic security analysis. It has been previously shown that flow-sensitive static informat...
RV
2010
Springer
13 years 3 months ago
2010
Springer
We describe a combination of runtime information and static analysis for checking properties of complex and configurable systems. The basic idea of our approach is to 1) let the p...
ACSAC
2007
IEEE
13 years 11 months ago
2007
IEEE
ICMI
2009
Springer
13 years 11 months ago
2009
Springer
Human nonverbal behavior recognition from multiple cues and modalities has attracted a lot of interest in recent years. Despite the interest, many research questions, including th...
ERSHOV
2009
Springer
13 years 2 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...