2486 search results - page 63 / 498 » A Type System for Computationally Secure Information Flow |
CC
2006
Springer
14 years 14 days ago
2006
Springer
This paper presents a new worklist algorithm that significantly speeds up a large class of flow-sensitive data-flow analyses, including typestate error checking and pointer analysi...
SIGOPS
2010
13 years 7 months ago
2010
Gossip-based protocols are commonly used for diffusing information in large-scale distributed applications. GO (Gossip Objects) is a per-node gossip platform that we developed in...
EDOC
2006
IEEE
14 years 2 months ago
2006
IEEE
MMMACNS
2005
Springer
14 years 2 months ago
2005
Springer
CODES
2008
IEEE
14 years 3 months ago
2008
IEEE
As computing and communications increasingly pervade our lives, security and protection of sensitive data and systems are emerging as extremely important issues. Networks-onChip (...