2 search results - page 1 / 1 » Testudo: Heavyweight security analysis via statistical sampl... |
MICRO
2008
IEEE
13 years 11 months ago
2008
IEEE
Heavyweight security analysis systems, such as taint analysis and dynamic type checking, are powerful technologies used to detect security vulnerabilities and software bugs. Tradi...
CORR
2007
Springer
13 years 4 months ago
2007
Springer
An analysis of steganographic systems subject to the following perfect undetectability condition is presented in this paper. Following embedding of the message into the covertext,...