3115 search results - page 179 / 623 » Synthesizing Secure Protocols |
141
Voted
HICSS
2005
IEEE
15 years 9 months ago
2005
IEEE
Existing ad hoc routing protocols are either unicast or multicast. In this paper we propose a simple extension to the Dynamic Source Routing Protocol (DSR) to cater for group comm...
122
click to vote
CTRSA
2006
Springer
15 years 7 months ago
2006
Springer
Vaudenay recently proposed a message authentication protocol which is interactive and based on short authenticated strings (SAS). We study here SASbased non-interactive message aut...
135
click to vote
ASYNC
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper proposes applying a logic synthesis approach to high level synthesis from SpecC specifications to timed asynchronous gate-level circuits. The state-based logic synthes...
136
click to vote
JUCS
2008
15 years 3 months ago
2008
: In a secure roaming scenario, a user U travels to a foreign network and communicates with a foreign server V securely so that no one other than U and V can obtain the messages ex...
134
click to vote
TCC
2009
Springer
16 years 4 months ago
2009
Springer
We study the complexity of securely evaluating arithmetic circuits over finite rings. This question is motivated by natural secure computation tasks. Focusing mainly on the case o...