1599 search results - page 30 / 320 » Program Analysis for Security and Privacy |
109
click to vote
SP
1997
IEEE
15 years 6 months ago
1997
IEEE
This paper describes a specification-based approach to detect exploitations of vulnerabdities in securitycritical programs. The approach utilizes security specifications that desc...
55
Voted
OOPSLA
2004
Springer
15 years 7 months ago
2004
Springer
OOPSLA
2007
Springer
15 years 8 months ago
2007
Springer
The use of bad names — names that are wrong, inconsistent or inconcise — hinder program comprehension. The root of the problem is that there is no mechanism for aligning the n...
118
click to vote
AGENTS
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. Shopbots are agents that search the Internet for information pertaining to the price and quality of goods or services. With the advent of shopbots, a dramatic reduction i...
97
Voted
OOPSLA
2007
Springer
15 years 8 months ago
2007
Springer
It is difficult to determine the cost effectiveness of program analysis tools because we cannot evaluate them in the same environment where we will be using the tool. Tool evalua...