1894 search results - page 295 / 379 » A TLA Proof System |
156
click to vote
FORTE
2009
15 years 1 months ago
2009
We consider the following problem: For a system consisting of two components, the behavior of one component is known as well as the desired global behavior. What should be the beha...
152
click to vote
TSMC
2010
2010
Cancelable Templates for Sequence-Based Biometrics with Application to On-line Signature Recognition
14 years 10 months ago
Recent years have seen the rapid spread of biometric technologies for automatic people recognition. However, security and privacy issues still represent the main obstacles for the ...
119
click to vote
TCC
2009
Springer
16 years 4 months ago
2009
Springer
We present the first hierarchical identity based encryption (HIBE) system that has full security for more than a constant number of levels. In all prior HIBE systems in the literat...
143
click to vote
STOC
2009
ACM
16 years 4 months ago
2009
ACM
The "direct product code" of a function f gives its values on all k-tuples (f(x1), . . . , f(xk)). This basic construct underlies "hardness amplification" in c...
157
click to vote
KDD
2006
ACM
16 years 4 months ago
2006
ACM
The output of a data mining algorithm is only as good as its inputs, and individuals are often unwilling to provide accurate data about sensitive topics such as medical history an...