Sciweavers

119 search results - page 8 / 24
» Batch Range Proof for Practical Small Ranges
Sort
View
MMM
2012
Springer
288views Multimedia» more  MMM 2012»
13 years 7 months ago
The Ultimate Immersive Experience: Panoramic 3D Video Acquisition
Abstract. The paper presents a new approach on an omni-directional omnistereo multi-camera system that allows the recording of panoramic 3D video with high resolution and quality a...
Christian Weissig, Oliver Schreer, Peter Eisert, P...
SEFM
2007
IEEE
15 years 6 months ago
Verifying Security Properties of Cryptoprotocols: A Novel Approach
We model security protocols as a game tree using concepts of game semantics. Using this model we ascribe semantics to protocols written in the standard simple arrow notation. Acco...
Mohamed Saleh, Mourad Debbabi
COCOON
2007
Springer
15 years 5 months ago
On the Hardness of Optimization in Power Law Graphs
Our motivation for this work is the remarkable discovery that many large-scale real-world graphs ranging from Internet and World Wide Web to social and biological networks exhibit ...
Alessandro Ferrante, Gopal Pandurangan, Kihong Par...
EUROCRYPT
2000
Springer
15 years 3 months ago
Efficient Concurrent Zero-Knowledge in the Auxiliary String Model
We show that if any one-way function exists, then 3-round concurrent zero-knowledge arguments for all NP problems can be built in a model where a short auxiliary string with a pres...
Ivan Damgård
CORR
2011
Springer
178views Education» more  CORR 2011»
14 years 3 months ago
Online Learning: Stochastic and Constrained Adversaries
Learning theory has largely focused on two main learning scenarios. The first is the classical statistical setting where instances are drawn i.i.d. from a fixed distribution and...
Alexander Rakhlin, Karthik Sridharan, Ambuj Tewari