Sciweavers

ESORICS
2005
Springer
13 years 9 months ago
Machine-Checked Security Proofs of Cryptographic Signature Schemes
Abstract. Formal methods have been extensively applied to the certification of cryptographic protocols. However, most of these works make the perfect cryptography assumption, i.e....
Sabrina Tarento
ER
2007
Springer
71views Database» more  ER 2007»
13 years 10 months ago
PQM vs. BPQM: Studying the Tailoring of a General Quality Model to a Specific Domain
In this paper a comparative study carried out between a generic model for portal quality (PQM) and a specific model for eBanking portal quality (BPQM) is presented with the aim to ...
Coral Calero, Cristina Cachero, Julio Córdo...
PKDD
2009
Springer
92views Data Mining» more  PKDD 2009»
13 years 10 months ago
A Generic Approach to Topic Models
This article contributes a generic model of topic models. To define the problem space, general characteristics for this class of models are derived, which give rise to a represent...
Gregor Heinrich
ASIACRYPT
2009
Springer
13 years 11 months ago
On the Analysis of Cryptographic Assumptions in the Generic Ring Model
At Eurocrypt 2009 Aggarwal and Maurer proved that breaking RSA is equivalent to factoring in the generic ring model. This model captures algorithms that may exploit the full algeb...
Tibor Jager, Jörg Schwenk
ECCV
2006
Springer
14 years 6 months ago
Face Authentication Using Adapted Local Binary Pattern Histograms
In this paper, we propose a novel generative approach for face authentication, based on a Local Binary Pattern (LBP) description of the face. A generic face model is considered as ...
Sébastien Marcel, Yann Rodriguez
CVPR
2001
IEEE
14 years 6 months ago
Flexible flow for 3D nonrigid tracking and shape recovery
We introduce linear methods for model-based tracking of nonrigid 3D objects and for acquiring such models from video. 3D motions and flexions are calculated directly from image in...
Matthew Brand, Rahul Bhotika