2432 search results - page 253 / 487 » Cryptographic logical relations |
152
click to vote
NDSS
2008
IEEE
16 years 1 months ago
2008
IEEE
Although several wide-spread internet applications (e.g., job-referral services, dating services) can benefit from online matchmaking, protocols defined over the past two decade...
165
click to vote
ACNS
2008
Springer
16 years 1 months ago
2008
Springer
We describe two new paradigms on how to obtain ordinary signatures that are secure against existential forgery under adaptively chosen message attacks (fully-secure, in short), fro...
156
click to vote
ISPEC
2007
Springer
16 years 23 days ago
2007
Springer
Denial of Service (DoS) attacks are a virulent type of attack on the availability of networks’ intended services and resources. Defense against DoS attacks has been built into th...
193
click to vote
PDCAT
2007
Springer
16 years 23 days ago
2007
Springer
When datasets are distributed on different sources, finding out their intersection while preserving the privacy of the datasets is a widely required task. In this paper, we addre...
168
click to vote
CSFW
2005
IEEE
16 years 8 days ago
2005
IEEE
This paper contrasts two existing type-based techniques for the analysis of authentication protocols. The former, proposed by Gordon and Jeffrey, uses dependent types for nonces a...