Sciweavers

3938 search results - page 125 / 788
» Interactive Protocols on the Reals
Sort
View
79
Voted
INDOCRYPT
2009
Springer
15 years 7 months ago
Two Attacks against the Ff RFID Protocol
This paper investigates a new family of RFID protocols called Ff that grew out of a proposal made at ESORICS 2007. This family has the property of having highly efficient implement...
Olivier Billet, Kaoutar Elkhiyaoui
JCS
2006
91views more  JCS 2006»
15 years 22 days ago
A survey of algebraic properties used in cryptographic protocols
Abstract: Cryptographic protocols are successfully analyzed using formal methods. However, formal approaches usually consider the encryption schemes as black boxes and assume that ...
Véronique Cortier, Stéphanie Delaune...
88
Voted
CRYPTO
2001
Springer
139views Cryptology» more  CRYPTO 2001»
15 years 5 months ago
Soundness in the Public-Key Model
The public-key model for interactive proofs has proved to be quite effective in improving protocol efficiency [CGGM00]. We argue, however, that its soundness notion is more subtle...
Silvio Micali, Leonid Reyzin
97
Voted
JCST
2008
144views more  JCST 2008»
15 years 23 days ago
Beacon-Less Geographic Routing in Real Wireless Sensor Networks
Geographic Routing (GR) algorithms, require nodes to periodically transmit HELLO messages to allow neighbors know their positions (beaconing mechanism). Beacon-less routing algorit...
Juan A. Sánchez, Rafael Marín-P&eacu...
133
Voted
VISUALIZATION
2000
IEEE
15 years 5 months ago
Mastering interactive virtual Bronchioscopy on a Low-end PC
Virtual endoscopy presents the cross-sectional acquired 3D-data of a computer tomograph as an endoluminal view. The common approach for the visualization of a virtual endoscopy is...
Anna Vilanova, Balint Hegedüs, Eduard Grö...