343 search results - page 56 / 69 » Formal security analysis of PKCS |
102
click to vote
ASIACRYPT
2004
Springer
15 years 2 months ago
2004
Springer
We investigate efficient protocols for password-authenticated key exchange based on the RSA public-key cryptosystem. To date, most of the published protocols for password-authentic...
PODC
2010
ACM
15 years 1 months ago
2010
ACM
In this paper, we present a framework for achieving anonymity and trust, two seemingly contradictory properties, in distributed systems. Our approach builds on webs of trust, a we...
FSE
2008
Springer
14 years 11 months ago
2008
Springer
We propose SWIFFT, a collection of compression functions that are highly parallelizable and admit very efficient implementations on modern microprocessors. The main technique under...
94
Voted
PLDI
2006
ACM
15 years 3 months ago
2006
ACM
Static analysis of programs in weakly typed languages such as C and C++ is generally not sound because of possible memory errors due to dangling pointer references, uninitialized ...
105
Voted
ECBS
1999
IEEE
15 years 1 months ago
1999
IEEE
Engineering systems are becoming increasingly complex as state of the art technologies are incorporated into designs. Surety modeling and analysis is an emerging science which per...