659 search results - page 54 / 132 » Compiling and securing cryptographic protocols |
ESORICS
2005
Springer
15 years 6 months ago
2005
Springer
Currently, many industrial initiatives focus on web-based applications. In this context an important requirement is that the user should only rely on a standard web browser. Hence...
117
Voted
TCS
2008
15 years 12 days ago
2008
Abstract. Cryptographic operations are essential for many security-critical systems. Reasoning about information flow in such systems is challenging because typical (noninterferenc...
114
Voted
INDOCRYPT
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Contrary to conventional cryptographic wisdom, the NIST SP 800-56A standard explicitly allows the use of a static key pair in more than one of the key establishment proto...
103
click to vote
CANS
2008
Springer
15 years 2 months ago
2008
Springer
We propose a message recognition protocol which is suitable for ad hoc pervasive networks without the use of hash chains. Hence, we no longer require the devices to save values of ...
96
Voted
PERCOM
2007
ACM
16 years 2 days ago
2007
ACM
Radio Frequency Identification (RFID) is an increasingly popular technology that uses radio signals for object identification. Tracking and authentication in RFID tags have raised...