1058 search results - page 70 / 212 » It's Doomed; We Can Prove It |
138
click to vote
JAIR
2006
15 years 6 months ago
2006
It was recently proved that a sound and complete qualitative simulator does not exist, that is, as long as the input-output vocabulary of the state-of-the-art QSIM algorithm is us...
178
click to vote
FSE
2004
Springer
16 years 6 days ago
2004
Springer
A cryptanalysis is given of a MAC proposal presented at CRYPTO 2003 by Cary and Venkatesan. A nice feature of the CaryVenkatesan MAC is that a lower bound on its security can be pr...
202
click to vote
ERSHOV
2003
Springer
16 years 1 days ago
2003
Springer
By obfuscation we mean any efficient semantic-preserving transformation of computer programs aimed at bringing a program into such a form, which impedes the understanding of its al...
216
click to vote
DLOG
2007
15 years 9 months ago
2007
In Description Logics (DLs), both tableau-based and automata-based algorithms are frequently used to show decidability and complexity results for basic inference problems such as c...
162
click to vote
ISICT
2004
15 years 8 months ago
2004
A type flaw attack on a security protocol is an attack where a field in a message that was originally intended to have one type is subsequently interpreted as having another type. ...