25 citations · 210 across the 59 of their papers we have counts for
3 papers · 1 filter
Cartesian effect categories are Freyd-categories
Jean-Guillaume Dumas, Dominique Duval, Jean-Claude Reynaud
Most often, in a categorical semantics for a programming language, the substitution of terms is expressed by composition and finite products. However this does not deal with the or…
On finding multiplicities of characteristic polynomial factors of black-box matrices
Jean-Guillaume Dumas, Clément Pernet, B. David Saunders
We present algorithms and heuristics to compute the characteristic polynomial of a matrix given its minimal polynomial. The matrix is represented as a black-box, i.e., by a functio…
Fault Attacks on RSA Public Keys: Left-To-Right Implementations are also Vulnerable
Alexandre Berzati, Cécile Canovas, Jean-Guillaume Dumas +1
After attacking the RSA by injecting fault and corresponding countermeasures, works appear now about the need for protecting RSA public elements against fault attacks. We provide h…