2478 search results - page 235 / 496 » Message from the Chair |
158
click to vote
CRYPTO
2005
Springer
15 years 10 months ago
2005
Springer
Since bit and string oblivious transfer and commitment, two primitives of paramount importance in secure two- and multi-party computation, cannot be realized in an unconditionally ...
160
click to vote
STACS
2005
Springer
15 years 10 months ago
2005
Springer
This paper studies quantum refereed games, which are quantum interactive proof systems with two competing provers: one that tries to convince the verifier to accept and the other...
121
click to vote
ACISP
2004
Springer
15 years 10 months ago
2004
Springer
A new type of signature scheme, called NTRUSign, based on solving the approximately closest vector problem in a NTRU lattice was proposed at CT-RSA’03. However no security proof ...
147
click to vote
AMAI
2004
Springer
15 years 10 months ago
2004
Springer
In this paper we propose a new agent communication language which separates agent dialogue from any specific agent reasoning technology. This language is intended to address a nu...
119
click to vote
HOLOMAS
2003
Springer
15 years 10 months ago
2003
Springer
Holonic and agent-based paradigms are very suitable in the development of distributed manufacturing control systems, taking advantage of their modularity, decentralization, and abi...