4340 search results - page 138 / 868 » Formal Methods and Cryptography |
122
click to vote
JAVACARD
2000
15 years 7 months ago
2000
Abstract This note discusses a verification in PVS of the AID (Application Identifier) class from JavaCard's API. The properties that are verified are formulated in the interf...
142
click to vote
FSE
2009
Springer
15 years 10 months ago
2009
Springer
Matsui’s one-dimensional Alg. 2 can be used for recovering bits of the last round key of a block cipher. In this paper a truly multidimensional extension of Alg. 2 based on estab...
139
click to vote
IPPS
2005
IEEE
15 years 9 months ago
2005
IEEE
We propose in this paper an original design space exploration method for reconfigurable architectures adapted to fine and coarse grain resources. The exploration flow deals with c...
142
click to vote
FMCAD
2000
Springer
15 years 7 months ago
2000
Springer
Bus protocols are hard to specify correctly, and yet it is often critical and highly beneficial that their specifications are correct, complete, and unambiguous. The informal speci...
126
click to vote
ISARCS
2010
15 years 6 months ago
2010
Methods of formal description and verification represent a viable way for achieving fundamentally bug-free software. However, in reality only a small subset of the existing operati...