3504 search results - page 103 / 701 » Secure protocol composition |
138
Voted
LICS
1999
IEEE
15 years 7 months ago
1999
IEEE
Security protocols use cryptography to set up private communication channels on an insecure network. Many protocols contain flaws, and because security goals are seldom specified ...
222
Voted
ICDE
2005
IEEE
16 years 4 months ago
2005
IEEE
Standard multi-party computation models assume semi-honest behavior, where the majority of participants implement protocols according to specification, an assumption not always pl...
144
Voted
CSFW
2009
IEEE
15 years 6 months ago
2009
IEEE
We present the design and implementation of a compiler that, given high-level multiparty session descriptions, generates custom cryptographic protocols. Our sessions specify pre-a...
125
Voted
ISW
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We study the provable security of identity-based (ID-based) key agreement protocols. Although several published protocols have been proven secure in the random oracle mod...
114
Voted
TCC
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Algorithmic progress and future technology threaten today’s cryptographic protocols. Long-term secure protocols should not even in future reveal more information to aâ€...