451 search results - page 65 / 91 » Relationless Completeness and Separations |
ACSAC
2006
IEEE
15 years 3 months ago
2006
IEEE
With the recent advent of dynamically extensible software systems, in which software extensions may be dynamically loaded into the address space of a core application to augment i...
SP
2006
IEEE
15 years 3 months ago
2006
IEEE
Attackers and defenders of computer systems both strive to gain complete control over the system. To maximize their control, both attackers and defenders have migrated to low-leve...
107
click to vote
VEE
2005
ACM
15 years 3 months ago
2005
ACM
We present a new software system architecture for the implementation of hard real-time applications. The core of the system is a microkernel whose reactivity (interrupt handling a...
CCS
2005
ACM
15 years 3 months ago
2005
ACM
We present a formal model and a simple architecture for robust pseudorandom generation that ensures resilience in the face of an observer with partial knowledge/control of the gen...
CRYPTO
2005
Springer
15 years 3 months ago
2005
Springer
In the setting of secure multiparty computation, a set of parties wish to jointly compute some function of their inputs. Such a computation must preserve certain security propertie...