741 search results - page 81 / 149 » Abstract Machines for Communication Security |
SIGCOMM
2010
ACM
13 years 10 months ago
2010
ACM
Traditionally, in-network services like firewall, proxy, cache, and transcoders have been provided by dedicated hardware middleboxes. A recent trend has been to remove the middleb...
PROCEDIA
2010
13 years 4 months ago
2010
High performance computing with low cost machines becomes a reality with GPU. Unfortunately, high performances are achieved when the programmer exploits the architectural specific...
ASPLOS
2012
ACM
12 years 5 months ago
2012
ACM
Direct device assignment enhances the performance of guest virtual machines by allowing them to communicate with I/O devices without host involvement. But even with device assignm...
POPL
2004
ACM
14 years 10 months ago
2004
ACM
We define seal, an untyped call-by-value -calculus with primitives for protecting abstract data by sealing, and develop a bisimulation proof method that is sound and complete with...
IEEEARES
2009
IEEE
14 years 4 months ago
2009
IEEE
Botnets have become a severe threat to the cyberspace. However, existing studies are typically conducted in an ad hoc fashion, by demonstrating specific analysis on captured bot ...