-
A Simple Constraint-solving Decision Procedure for Protocols with Exclusive or
We present a procedure for deciding security of protocols employing the Exclusive or operator. This procedure relies on a direct combination of a constraint solver for... -
Schematic calculi for the analysis of decision procedures
In this thesis we address problems related to the verification of software-based systems. We are mostly interested in the (safe) design of decision procedures used in... -
From multiple sequent for Additive Linear Logic to decision procedures for Fr...
Editor S. Adian. Article dans revue scientifique avec comité de lecture. -
Integrating decision procedures in Spike
Rapport interne. -
A Simple Constraint-solving Decision Procedure for Protocols with Exclusive or
Colloque avec actes et comité de lecture. internationale.
