1302 search results - page 37 / 261 » Soundness in the Public-Key Model |
112
click to vote
NIME
2004
Springer
15 years 7 months ago
2004
Springer
The PebbleBox and the CrumbleBag are examples of a granular interaction paradigm, in which the manipulation of physical grains of arbitrary material becomes the basis for interact...
122
click to vote
ICONIP
2008
15 years 3 months ago
2008
Several applications would emerge from the development of efficient and robust sound classification systems able to identify the nature of non-speech sound sources. This paper prop...
PKC
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We define and discuss symmetric subgroup membership problems and their properties, including a relation to the Decision DiffieHellman problem. We modify the Cramer-Shoup...
132
click to vote
SIGGRAPH
2010
ACM
15 years 6 months ago
2010
ACM
We propose a physically based algorithm for synthesizing sounds synchronized with brittle fracture animations. Motivated by laboratory experiments, we approximate brittle fracture...
140
click to vote
INFORMATICALT
2007
15 years 1 months ago
2007
A modified version of the Bellare and Rogaway (1993) adversarial model is encoded using Asynchronous Product Automata (APA). A model checker tool, Simple Homomorphism Verificatio...