4340 search results - page 173 / 868 » Formal Methods and Cryptography |
123
click to vote
FSE
2005
Springer
15 years 12 months ago
2005
Springer
In this paper we define small scale variants of the AES. These variants inherit the design features of the AES and provide a suitable framework for comparing different cryptanaly...
278
click to vote
Publication
A number of authentication protocols have been proposed recently, where at least some part of the authentication is performed during a phase, lasting $n$ rounds, with no error corr...
139
click to vote
INFORMATICALT
2002
15 years 6 months ago
2002
Recently, Sun proposed a private-key encryption scheme based on the product codes with the capability of correcting a special type of structured errors. In this paper, we present a...
164
click to vote
IACR
2011
14 years 6 months ago
2011
Let r, B and w be positive integers. Let C be a linear code of length Bw and subspace of Fr 2. The k-regular-decoding problem is to find a nonzero codeword consisting of w length...
154
click to vote
SIGSOFT
2001
ACM
16 years 7 months ago
2001
ACM
This article explores a dual approach to real-time software development. Models are written in UML, as this is expected to be relatively easy and economic. Then models are automat...