25 citations · 210 across the 59 of their papers we have counts for
5 papers · 1 filter
Brandt's Fully Private Auction Protocol Revisited
Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade
Auctions have a long history, having been recorded as early as 500 B.C. Nowadays, electronic auctions have been a great success and are increasingly used. Many cryptographic protoc…
On Newton-Raphson iteration for multiplicative inverses modulo prime powers
Jean-Guillaume Dumas
We study algorithms for the fast computation of modular inverses. Newton-Raphson iteration over -adic numbers gives a recurrence relation computing modular inverse modulo ,…
Adjunctions for exceptions
Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse +1
An algebraic method is used to study the semantics of exceptions in computer languages. The exceptions form a computational effect, in the sense that there is an apparent mismatch…
Computational linear algebra over finite fields
Jean-Guillaume Dumas, Clément Pernet
We present here algorithms for efficient computation of linear algebra problems over finite fields.
Decorated proofs for computational effects: Exceptions
Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse +1
We define a proof system for exceptions which is close to the syntax for exceptions, in the sense that the exceptions do not appear explicitly in the type of any expression. This p…