48 search results - page 10 / 10 » Proactive Security Analysis of Changes in Virtualized Infras... |
ACSAC
2005
IEEE
13 years 10 months ago
2005
IEEE
Microscopic analysis of malicious code (malware) requires the aid of a variety of powerful tools. Chief among them is a debugger that enables runtime binary analysis at an instruc...
MTA
2008
13 years 4 months ago
2008
As Bluetooth is available in most personal and portable terminals (eg, cellular phone, PDA, videocamera, laptop, etc) P2P video streaming through Bluetooth networks is now a reali...
TIC
2000
Springer
13 years 8 months ago
2000
Springer
Abstract. A type-based certifying compiler maps source code to machine code and target-level type annotations. The target-level annotations make it possible to prove easily that th...