32 search results - page 1 / 7 » tcc 2007 |
TCC
2007
Springer
13 years 11 months ago
2007
Springer
TCC
2007
Springer
13 years 11 months ago
2007
Springer
TCC
2007
Springer
13 years 11 months ago
2007
Springer
We construct public-key systems that support comparison queries (x ≥ a) on encrypted data as well as more general queries such as subset queries (x ∈ S). These systems support...
TCC
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. We show a new protocol for blind signatures in which security is preserved even under arbitrarily-many concurrent executions. The protocol can be based on standard crypto...
ICLP
2007
Springer
13 years 11 months ago
2007
Springer
Abstract In this doctoral work we aim at developing a rich timed concurrent constraint (tcc) based language with strong ties to logic. The new calculus called Universal Timed Concu...