167 search results - page 23 / 34 » Safety checking of machine code |
105
click to vote
PLDI
2010
ACM
15 years 7 months ago
2010
ACM
Modular development of concurrent applications requires threadsafe components that behave correctly when called concurrently by multiple client threads. This paper focuses on line...
131
click to vote
ACSAC
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—The traditional virtual machine usage model advocates placing security mechanisms in a trusted VM layer and letting the untrusted guest OS run unaware of the presence of...
120
Voted
DIMVA
2009
15 years 2 months ago
2009
Drive-by download attacks are among the most common methods for spreading malware today. These attacks typically exploit memory corruption vulnerabilities in web browsers and brows...
122
click to vote
CLEIEJ
2006
15 years 1 months ago
2006
The proposed software technique is a very low cost and an effective solution towards designing Byzantine fault tolerant computing application systems that are not so safety critic...
105
click to vote
FASE
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Bounded-exhaustive testing is an automated testing methodology that checks the code under test for all inputs within given bounds: first the user describes a set of test...