Goubault-Larrecq, Jean.
Goubault-Larrecq, Jean, 19..-....
VIAF ID: 7545831 ( Personal )
Permalink: http://viaf.org/viaf/7545831
Preferred Forms
- 200 _ | ‡a Goubault-Larrecq ‡b Jean
- 100 1 _ ‡a Goubault-Larrecq, Jean
-
- 100 1 _ ‡a Goubault-Larrecq, Jean
-
-
-
- 100 1 _ ‡a Goubault-Larrecq, Jean
-
-
- 100 1 _ ‡a Goubault-Larrecq, Jean, ‡d 19..-....
-
4xx's: Alternate Name Forms (4)
Works
Title | Sources |
---|---|
Analyse statique de programmes parallèles. | |
Automates d'arbres à contraintes globales pour la vérification de propriétés de sécurité | |
Automates d'arbres bidirectionnels modulo théories équationnelles | |
Behavioural distances for probabilistic higher-order programs | |
Un cadre pour les espaces localement structurés - application aux modèles géométriques de la concurrence. | |
Compositionnalité des monades par lois de distributivité faibles. | |
Distances comportementales pour des programmes probabilistes d'ordre supérieur. | |
Formal Approaches for Automatic Deobfuscation and Reverse-engineering of Protected Codes | |
The lattice of reduction operators : applications to noncommutative Gröbner bases and homological algebra. | |
Non-Hausdorff topology and domain theory | |
On the compositionality of monads via weak distributive laws | |
Procédures de décision pour l'analyse de vulnérabilités | |
Proof theory and automated deduction | |
Réductions continues sur le domaine de Scott et conjecture de la décomposabilité. | |
Refinements of the resolution and checking of cryptographie protocols. | |
Renforcement de la sécurité des systèmes virtualisés. | |
REPRESENTATION D'ENSEMBLES D'ARBRES POUR L'INTERPRETATION ABSTRAITE | |
Sécurité des protocoles cryptographiques : aspects logiques et calculatoires | |
Static analysis of embedded multithreaded programs | |
Un système de types pragmatique pour la vérification déductive des programmes | |
Théories homotopiques et homologiques dirigées pour des modèles géométriques de la vraie concurrence. | |
Tree automata with global constraints for the verification of security properties. | |
Two-way equational tree automata. | |
Verification and composition of security protocols with applications to electronic voting | |
Vérification de code d'octet de la machine virtuelle Java : formalisation et implantation | |
Vérification de programmes avec pointeurs à l'aide de régions et de permissions | |
Vérification formelle de protocoles de routage sécurisés. |