1302 search results - page 59 / 261 » Soundness in the Public-Key Model |
155
click to vote
DAGSTUHL
2010
15 years 7 months ago
2010
We present an audio-visual Virtual Reality display system for simulated sound fields. In addition to the room acoustic simulation by means of phonon tracing and finite element met...
164
click to vote
EUROCRYPT
2009
Springer
16 years 7 months ago
2009
Springer
A group key agreement (GKA) protocol allows a set of users to establish a common secret via open networks. Observing that a major goal of GKAs for most applications is to establish...
190
click to vote
SCN
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. A hidden vector encryption scheme (HVE) is a derivation of identity-based encryption, where the public key is actually a vector over a certain alphabet. The decryption ke...
208
click to vote
FSTTCS
2005
Springer
15 years 12 months ago
2005
Springer
We give new proofs of soundness (all representable functions on base types lies in certain complexity classes) for Light Affine Logic, Elementary Affine Logic, LFPL and Soft Af...
188
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— A continuous vocal imitation system was developed using a computational model that explains the process of phoneme acquisition by infants. Human infants perceive speech...