32 search results - page 1 / 7 » tcc 2007 |
TCC
2007
Springer
14 years 1 months ago
2007
Springer
TCC
2007
Springer
14 years 1 months ago
2007
Springer
TCC
2007
Springer
14 years 1 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
14 years 1 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
14 years 1 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...