171 search results - page 24 / 35 » Improving Computer Security Using Extended Static Checking |
CVPR
2007
IEEE
15 years 11 months ago
2007
IEEE
While face recognition techniques have rapidly advanced in the last few years, most of the work is in the domain of security applications. For consumer imaging applications, perso...
ECAI
2004
Springer
15 years 2 months ago
2004
Springer
Model-based diagnosis applied to computer programs has been studied for several years. Although there are still weaknesses in the used models, especially on dealing with dynamic da...
PLDI
1998
ACM
15 years 1 months ago
1998
ACM
This paper evaluates three alias analyses based on programming language types. The first analysis uses type compatibility to determine aliases. The second extends the first by u...
103
click to vote
SIGSOFT
2003
ACM
15 years 10 months ago
2003
ACM
Writes via unchecked pointer dereferences rank high among vulnerabilities most often exploited by malicious code. The most common attacks use an unchecked string copy to cause a b...
HPCC
2005
Springer
15 years 3 months ago
2005
Springer
Nowadays the success of many e-commerce applications, such as on-line banking, depends on their reliability, robustness and security. Designing a web server architecture that keep...