281 search results - page 28 / 57 » Solving Parametric Algebraic Systems |
128
click to vote
IMA
2007
Springer
15 years 6 months ago
2007
Springer
In spite of growing importance of AES, the Data Encryption Standard is by no means obsolete. DES has never been broken from the practical point of view. The triple DES is believed ...
114
Voted
INDOCRYPT
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. This paper presents the first results on AIDA/cube, algebraic and sidechannel attacks on variable number of rounds of all members of the KATAN family of block ciphers. Ou...
109
Voted
ADG
2006
Springer
15 years 6 months ago
2006
Springer
This paper describes the recent convergence of four topics: polynomial systems, flexibility of three dimensional objects, computational chemistry, and computer algebra. We discuss...
115
Voted
EUROCAST
1994
Springer
15 years 4 months ago
1994
Springer
Logistic systems analysts use a wide array of modeling systems such as algebraic and logic programs. Two simple examples show how they mesh as Constraint Logic programs, emphasizin...
104
click to vote
CADE
2008
Springer
15 years 2 months ago
2008
Springer
We describe the new software package Aligator for automatically inferring polynomial loop invariants. The package combines algorithms from symbolic summation and polynomial algebra...