9 search results - page 2 / 2 » A robust machine code proof framework for highly secure appl... |
115
click to vote
ISSRE
2003
IEEE
15 years 8 months 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...
138
click to vote
SP
2008
IEEE
15 years 2 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 ...
131
Voted
SPIC
2010
14 years 9 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...
166
click to vote
CCS
2009
ACM
16 years 3 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 ...