14 search results - page 3 / 3 » Automated black-box detection of side-channel vulnerabilitie... |
CAV
2011
Springer
13 years 4 days ago
2011
Springer
Abstract. Many automatic testing, analysis, and verification techniques for programs can effectively be reduced to a constraint-generation phase followed by a constraint-solving ...
HICSS
2008
IEEE
14 years 3 months ago
2008
IEEE
This paper describes the design of a test suite for thorough evaluation of web application scanners. Web application scanners are automated, black-box testing tools that examine w...
CISIS
2008
IEEE
13 years 10 months ago
2008
IEEE
While memory-safe and type-safe languages have been available for many years, the vast majority of software is still implemented in type-unsafe languages such as C/C++. Despite ma...
USS
2008
13 years 11 months ago
2008
We present an automated, scalable, method for crafting dynamic responses to real-time network requests. Specifically, we provide a flexible technique based on natural language pro...