4340 search results - page 39 / 868 » Formal Methods and Cryptography |
107
click to vote
ESAS
2007
Springer
15 years 6 months ago
2007
Springer
RFID-tags can be seen as a new generation of bar codes with added functionality. They are becoming very popular tools for identification of products in various applications such a...
CORR
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. We present a deep embedding of Bellantoni and Cook’s syntactic characterization of polytime functions. We prove formally that it is correct and complete with respect to...
COMPOS
1997
Springer
15 years 3 months ago
1997
Springer
EUROPKI
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. In many cryptographic applications it is necessary to generate elliptic curves (ECs) with certain security properties. These curves are commonly constructed using the Com...
121
click to vote
CARDIS
2000
Springer
15 years 4 months ago
2000
Springer
Abstract This contribution describes how an elliptic curve cryptosystem can be implemented on very low cost microprocessors with reasonable performance. We focus in this paper on t...