5326 search results - page 327 / 1066 » On what we can ensure |
174
Voted
FSTTCS
2003
Springer
15 years 12 months ago
2003
Springer
A key idea in cryptography is using hard functions in order to obtain secure schemes. The theory of hard functions (e.g. one-way functions) has been a great success story, and the ...
166
click to vote
GECCO
2003
Springer
15 years 12 months ago
2003
Springer
Correlations between alleles after selection are an important source of information. Such correlations should be exploited for further search and thereby constitute the building bl...
201
click to vote
MPC
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. It is natural to present subtyping for recursive types coinductively. However, Gapeyev, Levin and Pierce have noted that there is a problem with coinductive definitions ...
144
click to vote
ISW
2001
Springer
15 years 11 months ago
2001
Springer
We present the adaptation of our model for the validation of key distribution and authentication protocols to address specific needs of protocols for electronic commerce. The two ...
173
click to vote
ECWEB
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Digital goods such as music are vulnerable to illegal use over the internet. Technology-driven IT solutions to protection are useful but limited. Instead, we suggest that...