1894 search results - page 175 / 379 » A TLA Proof System |
178
click to vote
DIM
2006
ACM
15 years 10 months ago
2006
ACM
An emerging approach to the problem of reducing the identity theft is represented by the adoption of biometric authentication systems. Such systems however present however several...
165
click to vote
ALGORITHMICA
2011
14 years 7 months ago
2011
Speed scaling is a power management technique that involves dynamically changing the speed of a processor. This gives rise to dual-objective scheduling problems, where the operati...
189
click to vote
HOST
2011
IEEE
14 years 3 months ago
2011
IEEE
—We introduce a novel hardware intellectual property acquisition protocol, show how it can support the transfer of provably trustworthy modules between hardware IP producers and ...
135
click to vote
IACR
2011
14 years 3 months ago
2011
Although anonymous authentication has been extensively studied, so far no scheme has been widely adopted in practice. A particular issue with fully anonymous authentication schemes...
157
click to vote
PKC
2012
Springer
13 years 6 months ago
2012
Springer
In this work, we study a new multivariate quadratic (MQ) assumption that can be used to construct public-key encryption schemes. In particular, we research in the following two di...