460 search results - page 92 / 92 » Translating Software Designs for Model Checking |
COOTS
1997
13 years 6 months ago
1997
The boundary between application and system is becoming increasingly permeable. Extensible applications, such as web browsers, database systems, and operating systems, demonstrate...
MICRO
2009
IEEE
13 years 11 months ago
2009
IEEE
Hardware support for dynamic analysis can minimize the performance overhead of useful applications such as security checks, debugging, and profiling. To eliminate implementation ...
NDSS
2007
IEEE
13 years 11 months ago
2007
IEEE
We present the design and implementation of RICH (Run-time Integer CHecking), a tool for efficiently detecting integer-based attacks against C programs at run time. C integer bug...
IWIA
2005
IEEE
13 years 10 months ago
2005
IEEE
Malware defenses have primarily relied upon intrusion fingerprints to detect suspicious network behavior. While effective for discovering computers that are already compromised,...
POPL
2010
ACM
13 years 7 months ago
2010
ACM
Angelic nondeterminism can play an important role in program development. It simplifies specifications, for example in deriving programs with a refinement calculus; it is the form...