5484 search results - page 1055 / 1097 » Almost-Everywhere Secure Computation |
145
click to vote
FOSSACS
2004
Springer
15 years 10 months ago
2004
Springer
safeDpi is a distributed version of the Picalculus, in which processes are located at dynamically created sites. Parametrised code may be sent between sites using so-called ports, ...
153
click to vote
OOPSLA
2004
Springer
15 years 10 months ago
2004
Springer
Java workloads are becoming more and more prominent on various computing devices. Understanding the behavior of a Java workload which includes the interaction between the applicat...
157
Voted
PLDI
2003
ACM
15 years 10 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...
199
click to vote
PODC
2003
ACM
15 years 10 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...
168
Voted
ASIACRYPT
2003
Springer
15 years 10 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...