Sciweavers

1247 search results - page 59 / 250
» A Multi-User Virtual Machine
Sort
View
CCS
2008
ACM
13 years 10 months ago
CMV: automatic verification of complete mediation for java virtual machines
Runtime monitoring systems play an important role in system security, and verification efforts that ensure that these systems satisfy certain desirable security properties are gro...
A. Prasad Sistla, V. N. Venkatakrishnan, Michelle ...
WOTUG
2008
13 years 10 months ago
Virtual Machine Based Debugging for occam-pi
Carl G. Ritson, Jonathan Simpson
DIMVA
2010
13 years 9 months ago
dAnubis - Dynamic Device Driver Analysis Based on Virtual Machine Introspection
Abstract. In the escalating arms race between malicious code and security tools designed to analyze it, detect it or mitigate its impact, malicious code running inside the operatin...
Matthias Neugschwandtner, Christian Platzer, Paolo...