659 search results - page 28 / 132 » Compiling and securing cryptographic protocols |
114
Voted
ASIACRYPT
2008
Springer
15 years 2 months ago
2008
Springer
Encryption schemes that support computation on encrypted data are useful in constructing efficient and intuitively simple cryptographic protocols. However, the approach was previo...
82
Voted
ICALP
2005
Springer
15 years 6 months ago
2005
Springer
In this paper we study the link between formal and cryptographic models for security protocols in the presence of a passive adversary. In contrast to other works, we do not conside...
103
Voted
CARDIS
2006
Springer
15 years 4 months ago
2006
Springer
On-line casinos have experienced a great expansion since the generalized use of Internet started. There exist in the literature several proposals of systems allowing secure remote ...
FCCM
2000
IEEE
15 years 4 months ago
2000
IEEE
Architectures that implement the Internet Protocol Security (IPSec) standard have to meet the enormous computing demands of cryptographic algorithms. In addition, IPSec architectu...
130
click to vote
ESAS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. In this paper, we propose a framework for the security analysis of on-demand, distance vector routing protocols for ad hoc networks, such as AODV, SAODV, and ARAN. The pr...