192 search results - page 25 / 39 » Non-Deterministic Games and Program Analysis: An Application... |
SAS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The capability calculus is a framework for statically reasoning about program resources such as deallocatable memory regions. Fractional capabilities, originally proposed...
CCS
2007
ACM
15 years 5 months ago
2007
ACM
Protocol reverse engineering, the process of extracting the application-level protocol used by an implementation, without access to the protocol specification, is important for m...
101
click to vote
SP
1998
IEEE
15 years 3 months ago
1998
IEEE
This paper presents results from analyzing the vulnerability of security-critical software applications to malicious threats and anomalous events using an automated fault injectio...
115
click to vote
ICSE
2005
IEEE-ACM
15 years 11 months ago
2005
IEEE-ACM
Sensitive data are increasingly available on-line through the Web and other distributed protocols. This heightens the need to carefully control access to data. Control means not o...
119
click to vote
OOPSLA
2007
Springer
15 years 5 months ago
2007
Springer
Java bug finders perform static analysis to find implementation mistakes that can lead to exploits and failures; Java compilers perform static analysis for optimization. If Java...