4340 search results - page 216 / 868 » Formal Methods and Cryptography |
96
Voted
CAV
2003
Springer
15 years 9 months ago
2003
Springer
114
Voted
FATES
2003
Springer
15 years 9 months ago
2003
Springer
Most efforts to combine formal methods and software testing go in the direction of exploiting formal methods to solve testing problems, most commonly test case generation. Here we ...
140
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
Synchronous languages rely on formal methods to ease the development of applications in an efficient and reusable way. Formal methods have been advocated as a means of increasing t...
130
click to vote
CHES
2004
Springer
15 years 10 months ago
2004
Springer
In the current work we propose a pipelining scheme for implementing Elliptic Curve Cryptosystems (ECC). The scalar multiplication is the dominant operation in ECC. It is computed b...