-
(Non-)Interactive Proofs of Knowledge
In this thesis, we create new building blocks and use them to present new efficient protocols via a modular design. We first begin by using the Groth-Sahai methodology... -
Efficient Generation of Correctness Certificates for the Abstract Domain of P...
International audience -
An assertions-based approach to verifying the absence property pattern
International audience -
Scientific writing for impact factor journals
International audience -
Proof in the Wording: Two modalities from Ancient Chinese Algorithms
In the mathematical writings that have come down to us from ancient China, proofs did not aim at establishing the truth of theorems but rather the correctness of... -
From ordered monoids to quantales and Petri nets: completeness results revisi...
Colloque avec actes et comité de lecture. -
Structural Sharing and Efficient Proof-Search in Propositional Intuitionistic...
Colloque avec actes et comité de lecture. -
Special Issue on Proof Theory of Concurrent Object-Oriented Programming
Ouvrage (éditeur). -
Reasoning about Object Behaviours with Rewriting.
Colloque sans acte à diffusion restreinte. -
Predicate diagrams for the verification of reactive systems
Colloque avec actes et comité de lecture. internationale.
