947 search results - page 88 / 190 » Provable Implementations of Security Protocols |
ICDCS
2007
IEEE
15 years 6 months ago
2007
IEEE
An electronic cash system allows users to withdraw coins, represented as bit strings, from a bank or broker, and spend those coins anonymously at participating merchants, so that ...
118
click to vote
APLAS
2010
ACM
15 years 2 days ago
2010
ACM
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
109
click to vote
PLDI
2011
ACM
14 years 2 months ago
2011
ACM
Information flow is an important security property that must be incorporated from the ground up, including at hardware design time, to provide a formal basis for a system’s roo...
MOBICOM
1996
ACM
15 years 4 months ago
1996
ACM
Even as mobile computing and network computing are gaining momentum, Internet security is sharing the spotlight. Security and authentication on open networks is already a difficul...
106
click to vote
USENIX
2007
15 years 2 months ago
2007
Users are storing ever-increasing amounts of information digitally, driven by many factors including government regulations and the public’s desire to digitally record their per...