1390 search results - page 67 / 278 » On the Algebraic Structure of Convergence |
207
click to vote
STACS
2007
Springer
16 years 14 days ago
2007
Springer
Fixed point equations x = f(x) over ω-continuous semirings can be seen as the mathematical foundation of interprocedural program analysis. The sequence 0, f(0), f2 (0), . . . conv...
183
click to vote
CHES
2009
Springer
16 years 7 months ago
2009
Springer
Algebraic side-channel attacks have been recently introduced as a powerful cryptanalysis technique against block ciphers. These attacks represent both a target algorithm and its ph...
172
click to vote
FUIN
2007
15 years 6 months ago
2007
The firing rule of Petri nets relies on a residuation operation for the commutative monoid of natural numbers. We identify a class of residuated commutative monoids, called Petri ...
188
click to vote
OOPSLA
2005
Springer
15 years 12 months ago
2005
Springer
Generalized algebraic data types (GADTs) have received much attention recently in the functional programming community. They generalize the (type) parameterized algebraic datatype...
194
click to vote
EUROCRYPT
2010
Springer
15 years 11 months ago
2010
Springer
In this paper we propose a new approach to investigate the security of the McEliece cryptosystem. We recall that this cryposystem relies on the use of error-correcting codes. Since...