9 search results - page 2 / 2 » A robust machine code proof framework for highly secure appl... |
ISSRE
2003
IEEE
14 years 2 days ago
2003
IEEE
Today’s applications are highly mobile; we download software from the Internet, machine executable code arrives attached to electronic mail, and Java applets increase the functi...
SP
2008
IEEE
13 years 6 months ago
2008
IEEE
This paper presents FABLE, a core formalism for a programming language in which programmers may specify security policies and reason that these policies are properly enforced. In ...
SPIC
2010
13 years 1 months ago
2010
This paper presents a complete framework for attention-based video streaming for low bandwidth networks. First, motivated by the fovea-periphery distinction of biological vision s...
CCS
2009
ACM
14 years 7 months ago
2009
ACM
Botnets are networks of compromised computers infected with malicious code that can be controlled remotely under a common command and control (C&C) channel. Recognized as one ...