5476 search results - page 1058 / 1096 » Resettably Secure Computation |
126
click to vote
PLDI
2003
ACM
15 years 7 months ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...
153
click to vote
PODC
2003
ACM
15 years 7 months ago
2003
ACM
Traitor Tracing Schemes constitute a very useful tool against piracy in the context of digital content broadcast. In such multi-recipient encryption schemes, each decryption key is...
126
click to vote
ASIACRYPT
2003
Springer
15 years 7 months ago
2003
Springer
In this paper1 we propose a new symmetric block cipher with the following paradoxical traceability properties: it is computationally easy to derive many equivalent secret keys prov...
122
Voted
AINA
2010
IEEE
15 years 7 months ago
2010
IEEE
Our world is increasingly data-driven. The growth and value of data continue to exceed all predictions. Potential for business opportunity, economic growth, scientific discovery, ...
119
click to vote
ISCA
2010
IEEE
15 years 7 months ago
2010
IEEE
Cloud computing is a disruptive trend that is changing the way we use computers. The key underlying technology in cloud infrastructures is virtualization – so much so that many ...