25 citations · 210 across the 59 of their papers we have counts for
4 papers · 1 filter
A duality between exceptions and states
Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse +1
In this short note we study the semantics of two basic computational effects, exceptions and states, from a new point of view. In the handling of exceptions we dissociate the contr…
Decorated proofs for computational effects: States
Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse +1
The syntax of an imperative language does not mention explicitly the state, while its denotational semantics has to mention it. In this paper we show that the equational proofs abo…
Matrix powers algorithms for trust evaluation in PKI architectures
Jean-Guillaume Dumas, Hicham Hossayni
This paper deals with the evaluation of trust in public-key infrastructures. Different trust models have been proposed to interconnect the various PKI components in order to propag…
Recursive double-size fixed precision arithmetic
Christophe Chabot, Jean-Guillaume Dumas, Laurent Fousse +1
This work is a part of the SHIVA (Secured Hardware Immune Versatile Architecture) project whose purpose is to provide a programmable and reconfigurable hardware module with high le…