Barthe, Gilles, 1967-....
Barthe, G. (Gilles), 1967-
Barthe, Gilles
Barthe, G. 1967-
Gilles Barthe
Barthe, Gilles, informaticien
VIAF ID: 8307380 ( Personal )
Permalink: http://viaf.org/viaf/8307380
Preferred Forms
- 100 1 _ ‡a Barthe, G. ‡d 1967-
-
-
-
- 100 1 _ ‡a Barthe, Gilles ‡d 1967-
- 100 1 _ ‡a Barthe, Gilles ‡d 1967-
-
- 100 1 _ ‡a Barthe, Gilles, ‡d 1967-
-
-
-
- 100 1 _ ‡a Barthe, Gilles, ‡d 1967-....
- 100 0 _ ‡a Gilles Barthe
4xx's: Alternate Name Forms (2)
5xx's: Related Names (3)
Works
Title | Sources |
---|---|
Applied semantics : International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000 : advanced lectures | |
CASSIS 2005 | |
Certification of a Tool Chain for Deductive Program Verification | |
Construction and analysis of safe, secure, and interoperable smart devices : international workshop, CASSIS 2004, Marseille, France, March 10-14, 2004 : revised selected papers | |
Engineering secure software and systems 4th International Symposium, ESSoS 2012, Eindhoven, the Netherlands, February, 16-17, 2012 : proceedings | |
ESOP 2011 | |
ESSoS 2012 | |
ETAPS 2011 | |
Formal approaches to information hiding : an analysis of interactive systems statistical disclosure control and refinement of specifications | |
Formal certification of game-based cryptographic proofs | |
Formal methods for open object-based distributed systems : 10th IFIP WG 6.1 international conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 : proceedings | |
Formalisation de preuves de sécurité concrète | |
Une formalisation des courbes elliptiques pour la cryptographie. | |
Formalisation in Coq of idealized cryptographics models and application to the ElGamal cryptosystem. | |
Formalising mathematics in UTT : fundamentals and case studies | |
Foundations of probabilistic programming | |
Foundations of security analysis and design V : FOSAD 2007/2008/2009 tutorial lectures | |
A framework for formal verification of Java bytecode against functional and security policies. | |
Masking in fine-grained leakage models: construction, implementation and verification | |
Les preuves de protocoles cryprographiques revisitées. | |
Principles of program verification for arbitrary monadic effects. | |
Programming languages and systems: 20th european symposium on programming, ESOP 2011, held as part of the joint european conferences on theory and practice of software, ETAPS 2011, Sarrbrücken, Germany, March 26-April 3, 2011: proceedings | |
Proof of security protocols revisited | |
Proof preservation and program transformation. | |
Sécurité du flux d'information : de la vérification à l'implémentation. | |
Security and trust management : 6th international workshop, STM 2010, Athens, Greece, September 23-24, 2010, revised selected papers | |
SEFM 2011 | |
Sémantique différentielle des programmes. | |
A simple abstract semantics for equational theories | |
Software engineering and formal methods : 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011 : proceedings | |
Spécifier et vérifier des stratégies d’application de politiques de sécurité s’appuyant sur des mécanismes matériels. | |
Specifying and Verifying Hardware-based Security Enforcement Mechanisms | |
Strong normalisation of quotient and subset types in higher order logic | |
Symbolic binary-level code analysis for security. Application to the detection of microarchitectural timing attacks in cryptographic code. | |
Terminaison basée sur les types et filtrage dépendant pour le calcul des constructions inductives. | |
Théorie des types et procédures de décision | |
Trustworthy global computing : third symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007 : revised selected papers | |
Vérification automatique de la protection de la vie privée : entre théorie et pratique | |
Vérification de politiques de confidentialité pour le code mobile. | |
Vérification de programmes en code octet et ses applications | |
Vérification formelle de la plate-forme Java Card | |
Verification, model checking, and abstract interpretation : 11th international conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 : proceedings | |
Vote électronique : définitions et techniques d'analyse |