6861 search results - page 1329 / 1373 » Security for Ubiquitous Computing |
FOSSACS
2004
Springer
14 years 2 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, ...
OOPSLA
2004
Springer
14 years 2 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...
PLDI
2003
ACM
14 years 2 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...
PODC
2003
ACM
14 years 2 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...
ASIACRYPT
2003
Springer
14 years 2 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...