1302 search results - page 51 / 261 » Soundness in the Public-Key Model |
159
click to vote
ISMIR
2004
Springer
15 years 11 months ago
2004
Springer
Automatic audio classification usually considers sounds as music, speech, silence or noise, but works about the noise class are rare. Audio features are generally specific to sp...
191
click to vote
GW
2009
Springer
15 years 4 months ago
2009
Springer
In this paper we focus on the analysis of sound producing gestures in the musical domain. We investigate the behavior of intraoral pressure exerted by a trumpet performer in the pr...
158
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. While distributed systems with transfer of processes have become pervasive, methods for reasoning about their behaviour are underdeveloped. In this paper we develop a bis...
164
click to vote
CSFW
2007
IEEE
16 years 21 days ago
2007
IEEE
We present a new mechanized prover for showing correspondence assertions for cryptographic protocols in the computational model. Correspondence assertions are useful in particular...
173
click to vote
FSTTCS
2006
Springer
15 years 10 months ago
2006
Springer
The standard symbolic, deducibility-based notions of secrecy are in general insufficient from a cryptographic point of view, especially in presence of hash functions. In this paper...