78 search results - page 15 / 16 » Using Program Transformation to Secure C Programs Against Bu... |
ASPLOS
2012
ACM
12 years 1 months ago
2012
ACM
Virtualization has become a standard part of many computer systems. A key part of virtualization is the all-powerful hypervisor which manages the physical platform and can access ...
ESORICS
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. Cryptographic protocols are useful for engineering trust in transactions. There are several languages for describing these protocols, but these tend to capture the commun...
WISEC
2010
ACM
14 years 29 days ago
2010
ACM
The problem of localizing in-band wormhole tunnels in MANETs is considered. In an in-band wormhole attack, colluding attackers use a covert tunnel to create the illusion that two ...
CASES
2004
ACM
13 years 11 months ago
2004
ACM
+ With more applications being deployed on embedded platforms, software protection becomes increasingly important. This problem is crucial on embedded systems like financial transa...
OOPSLA
2007
Springer
14 years 3 days ago
2007
Springer
A comfort zone is a tested region of a system’s input space within which it has been observed to behave acceptably. To keep systems operating within their comfort zones, we advo...