An algebraic attack is a method of cryptanalysis against a cipher 1)expressing the cipher operations as a system of equations. 2)substituting in known data for some of the variables. 3)solving for the key.
8
votes
2answers
309 views
Why is there an enormous difference between SAT solvers?
SAT solvers are very important in algebraic attacks, for example walksat and minisat.
However, when solving the benchmark problems available here there is an enormous performance difference between ...
6
votes
1answer
119 views
Are there any tools for expressing the cipher operations as a system of equations?
The first step In Algebraic-attack is expressing the cipher operations as a system of equations. Is there an automated tool to do this?
5
votes
1answer
288 views
XSL on serpent and rijndael - which is most affected?
So I've often looked at serpent and thought it was a very strong contender in AES. Not so long ago I was looking for evidence as to why it didn't beat rijndael. So far, the closest I've got answering ...
3
votes
2answers
78 views
DSA signatures with related k and unknown payloads
Suppose that we are given DSA parameters $p$, $q$, $g$, a public key $y = g^x$, and two signatures $(r_1,s_1)$ and $(r_2,s_2)$. We are told that $(r_1,s_1)$ and $(r_2,s_2)$ were produced by related ...
2
votes
1answer
92 views
is it possible to spoof an identity cert modulus
I was looking at foaf+ssl http://www.w3.org/wiki/Foaf+ssl and wondering if its possible to spoof the modulus of the browser cert so that the foaf and browser cert modulus match
2
votes
2answers
181 views
Background for modular arithmetic function
I'm investigating this function:
$a := ((b\cdot c) \bmod k) - (b \cdot c)/k$
where $/$ indicates integer division.
Two things I've noticed:
It's equivalent to multiplying a·b, and then ...
1
vote
1answer
110 views
Attack on DSA with signatures made with k, k+1, k+2
For homework, I'm asked to find the private key, $x$, in a DSA digital signature scheme. In the particular instance, we are given the parameters $p$, $q$ and $g$, the public key $g^x$, 3 messages ...
0
votes
1answer
79 views
Determine complexity of a SAT problem
Is there a standard way to determine a complexity of the specified SAT problem? I'm researching algebraic cryptanalysis and came to solving multivariate quadratic equation systems using CryptoMiniSat. ...
0
votes
0answers
64 views
Need help with student project about IT security [closed]
I've been studying in university for computer security for 4 years.
All students have to make a course project by the end of year. And I have some problems with it.
I need help with the project's ...
