1302 search results - page 45 / 261 » Soundness in the Public-Key Model |
181
click to vote
TOG
2008
15 years 6 months ago
2008
Audio rendering of impact sounds, such as those caused by falling objects or explosion debris, adds realism to interactive 3D audiovisual applications, and can be convincingly ach...
189
click to vote
MM
2004
ACM
15 years 11 months ago
2004
ACM
Information gathering from multimedia retrieval systems is aided by effective visualization, but the degree to which visualization is effective depends in part on the way the cont...
176
click to vote
ESORICS
2004
Springer
15 years 11 months ago
2004
Springer
We present the first cryptographically sound security proof of the well-known Otway-Rees protocol. More precisely, we show that the protocol is secure against arbitrary active att...
172
click to vote
IJCNN
2007
IEEE
16 years 18 days ago
2007
IEEE
— Pulsed neurons are suitable for processing time series data, like sound signals, and can be easy implemented in hardware. In this paper, we propose an aural information process...
177
click to vote
ESORICS
2007
Springer
16 years 13 days ago
2007
Springer
Abstract. We define a framework to reason about implementations of equational theories in the presence of an adaptive adversary. We particularly focus on soundess of static equiva...