165 search results - page 18 / 33 » Safely Composing Security Protocols |
83
Voted
CSFW
2008
IEEE
15 years 4 months ago
2008
IEEE
We investigate the composition of protocols that share a common secret. This situation arises when users employ the same password on different services. More precisely we study w...
PROVSEC
2009
Springer
15 years 4 months ago
2009
Springer
Secure set-intersection computation is one of important problems in secure multiparty computation with various applications. We propose a general construction for secure 2-party se...
106
click to vote
CCS
2008
ACM
14 years 11 months ago
2008
ACM
In wireless systems, neighbor discovery (ND) is a fundamental building block: determining which devices are within direct radio communication is an enabler for networking protocol...
75
Voted
ESORICS
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Simulatability has established itself as a salient notion for defining and proving the security of cryptographic protocols since it entails strong security and compositio...
100
click to vote
IPCCC
2005
IEEE
15 years 3 months ago
2005
IEEE
Sensor networks are composed of a large number of low power sensor devices. For secure communication among sensors, secret keys must be established between them. The establishment...