4340 search results - page 199 / 868 » Formal Methods and Cryptography |
130
click to vote
APLAS
2009
ACM
15 years 11 months ago
2009
ACM
We define a higher-order process calculus with algebraic operations such as encryption and decryption, and develop a bisimulation proof method for behavioral equivalence in this c...
127
click to vote
EUROCRYPT
2005
Springer
15 years 10 months ago
2005
Springer
We present a new and flexible formulation of Coppersmith’s method for finding small solutions of bivariate polynomials p(x, y) over the integers. Our approach allows to maximiz...
128
click to vote
PKC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Multi-computations in finite groups, such as multiexponentiations and multi-scalar multiplications, are very important in ElGamallike public key cryptosystems. Algorithm...
121
click to vote
CHES
2003
Springer
15 years 9 months ago
2003
Springer
To protect a cryptographic algorithm against Differential Power Analysis, a general method consists in masking all intermediate data with a random value. When a cryptographic algo...
145
click to vote
TYPES
2007
Springer
15 years 10 months ago
2007
Springer
This paper presents a new proof language for the Coq proof assistant. This language uses the declarative style. It aims at providing a simple, natural and robust alternative to the...