3 search results - page 1 / 1 » A First Step Towards Automated Detection of Buffer Overrun V... |
100
Voted
NDSS
2000
IEEE
15 years 5 months ago
2000
IEEE
We describe a new technique for finding potential buffer overrun vulnerabilities in security-critical C code. The key to success is to use static analysis: we formulate detection...
153
Voted
USS
2010
14 years 11 months ago
2010
Web applications are the most common way to make services and data available on the Internet. Unfortunately, with the increase in the number and complexity of these applications, ...
123
Voted
HPCC
2007
Springer
15 years 7 months ago
2007
Springer
As Grids become increasingly relied upon as critical infrastructure, it is imperative to ensure the highly-available and secure day-to-day operation of the Grid infrastructure. The...