659 search results - page 81 / 132 » Compiling and securing cryptographic protocols |
137
Voted
I3E
2001
15 years 1 months ago
2001
: Designing security-critical systems correctly is very difficult. We present work on software engineering of security critical systems, supported by the CASE tool AUTOFOCUS. Secur...
115
Voted
CNSR
2010
IEEE
15 years 4 months ago
2010
IEEE
We address security solutions to protect the communication of the wireless components of a home health care system. We analyze especially the problem of exchanging secrets to sati...
101
click to vote
ACSAC
2001
IEEE
15 years 4 months ago
2001
IEEE
According to one common view, information security comes down to technical measures. Given better access control policy models, formal proofs of cryptographic protocols, approved ...
119
click to vote
JOC
2000
15 years 10 days ago
2000
Abstract. Since the appearance of public-key cryptography in the seminal DiffieHellman paper, many new schemes have been proposed and many have been broken. Thus, the simple fact t...
108
click to vote
ASIACRYPT
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Secure multi-party computation has been considered by the cryptographic community for a number of years. Until recently it has been a purely theoretical area, with few im...