1127 search results - page 2 / 226 » Theory Extension in ACL2(r) |
112
Voted
CADE
2005
Springer
15 years 6 months ago
2005
Springer
74
Voted
IJSYSC
1998
15 years 22 days ago
1998
ISCI
1998
15 years 22 days ago
1998
84
Voted
LATA
2010
Springer
15 years 8 months ago
2010
Springer
117
Voted
FSE
2009
Springer
15 years 7 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...