4340 search results - page 277 / 868 » Formal Methods and Cryptography |
187
click to vote
FORTEST
2008
15 years 8 months ago
2008
Algebraic specifications of data types provide a natural basis for testing data types implementations. In this framework, the conformance relation is based on the satisfaction of a...
187
click to vote
CTRSA
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. PRESENT is a hardware-oriented block cipher suitable for resource constrained environment. In this paper we analyze PRESENT by the multidimensional linear cryptanalysis m...
159
click to vote
PKC
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. In the CT-track of the 2006 RSA conference, a new multivariate public key cryptosystem, which is called the Medium Field Equation (MFE) multivariate public key cryptosyst...
174
click to vote
COMPSAC
2006
IEEE
16 years 21 days ago
2006
IEEE
—Many electronic voting systems, classified mainly as homomorphic cryptography based, mix-net based and blind signature based, appear after the eighties when zero knowledge proof...
214
click to vote
ISW
2004
Springer
15 years 12 months ago
2004
Springer
In key-insulated cryptography, there are many private keys with different indexes and a single, fixed public key. When the trust model includes multiple Certification Authoritie...