Recherche
Accéder directement au contenu
Pied de page

Documentation

Portail HAL lara
Recherche
Loading...
Recherche avancée
Information de documents
Titres
Sous-titre
Titre de l'ouvrage
Titre du volume (Série)
Champ de recherche par défaut (multicritères) + texte intégral des PDF
Résumé
Texte intégral indexé des documents PDF
Mots-clés
Type de document
Sous-type de document
Tous les identifiants du document
Identifiant HAL du dépôt
Langue du document (texte)
Pays (Texte)
Ville
À paraître (true ou false)

Auteur
Auteur (multicritères)
Auteur : Nom complet
Auteur : Nom de famille
Auteur : Prénom
Auteur : Complément de nom, deuxième prénom
Auteur : Organisme payeur
Auteur : IdHal (chaîne de caractères)
Auteur : Fonction
Auteur : personID (entier)
Auteur : Identifiant de l'organisme payeur
Auteur : Identifiant de la structure
Directeur de thèse
Éditeur
Éditeur scientifique
Éditeur de la série

Structure
Structure (multicritères)
Structure : Acronyme
Structure : Nom
Structure : Code
Structure : Pays
Structure : Type
Structure : État dans le référentiel
Structure : Identifiant HAL de la structure
Structure/équipe de recherche : Pays
Structure/regroupement d'équipes : Pays
Structure/laboratoire : Pays
Structure/regroupement de laboratoires : Pays
Structure/institution : Pays
Structure/regroupement d'institutions : Pays

Autres
Champ de recherche par défaut (multicritères)
Revues (multicritères)
Revue : Éditeur
Revue : Titre abrégé
Revue : Titre
Revue : Identifiant interne
Revue : Date de début de publication
Revue : ISSN électronique
Revue : ISSN
Revue : Éditeur
Revue : Couleur dans SHERPA/RoMEO
Revue : État dans le référentiel
Colloque (multicritères)
Colloque : Titre
Colloque : Organisateur
Colloque : date de début (Année)
Colloque : date de fin (Année)
Conférence invitée (oui/non)
Projets ANR (multicritères)
Projet ANR : Acronyme
Projet ANR : Acronyme du programme
Projet ANR : Code décision (référence)
Projet ANR : Nom
Projet ANR : Identifiant interne
Projet ANR : État dans le référentiel
Projets européens (multicritères)
Projet européen : Acronyme
Projet européen : Identifiant de l'appel à projet
Projet européen : Référence
Projet européen : Nom
Projet européen : Date de fin
Projet européen : Financement
Projet européen : Date de début
Projet européen : État dans le référentiel
Projet européen : Identifiant interne
Date de production : année
Date de mise en ligne : année
Date de publication : année
Date d'écriture : année
Date de modification du dépôt : année
Date de dépôt : année
Date de publication électronique : année
Collection HAL (multicritères)
Collection HAL : catégorie
Collection HAL : Code
Collection HAL : Nom
Collection HAL : Identifiant interne
Identifiant interne du contributeur/déposant
Nom complet du contributeur/déposant
Domaines
Domaine primaire
Domaine racine
Sous-domaine niveau 1
Sous-domaine niveau 2
Sous-domaine niveau 3
Statut du document
Version du document
Type de dépôt
Type de document
ISBN
Numéro - référence
Identifiant DOI
Classification
Audience
Vulgarisation
Comité de lecture - texte (oui ou non)
Actes de colloque
Référence interne
Financement
Collaborations
Recherche experte (SolR)
Déposer

HAL-LARA

Libre accès aux rapports scientifiques et techniques

Accueil
Consulter

Loading...

Filtrer vos résultats

Document
5

Rapport
5

rapport de recherche
3

Informatique [cs]
5
Sciences de l'Homme et Société
1

2024
1
2023
4

anglais
5

Inria de Paris
3
CITI Centre of Innovation in Telecommunications and Integration of services
1
Inria Grenoble - Rhône-Alpes
1
Inria Lyon
1
Institut de Recherche en Informatique et Systèmes Aléatoires
1

Bruno Blanchet
2
Arthur Outrey
1
Aymeric Fromherz
1
Charlie Jacomme
1
Cristiana Santos
1
Gilles Mertens
1
Hamed Haddadi
1
Jonathan Protzenko
1
Joseph Lallemand
1
Karel Kubicek
1
Mathieu Cunche
1
Nataliia Bielova
1
Son Ho
1
Stéphanie Delaune
1
Vincent Roca
1

5 résultats

	Pour les 5 documents Envoyer sur ORCID RSS ATOM Exporter BibTeX XML-TEI CSV RTF EndNote PDF HTML Export avancé	Page :	triés par Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante

		Aeneas: Rust Verification by Functional Translation Son Ho , Jonathan Protzenko , Aymeric Fromherz Inria Paris. 2023 Rapport hal-04136056v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager More
		CryptoVerif: a Computationally-Sound Security Protocol Verifier (Initial Version with Communications on Channels) Bruno Blanchet RR-9525, Inria Paris. 2023, pp.166 Rapport hal-04246199v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager More
		CryptoVerif: a Computationally-Sound Security Protocol Verifier Bruno Blanchet , Charlie Jacomme RR-9526, Inria. 2023, pp.194 Rapport hal-04253820v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager More
		Feedback to the European Data Protection Board’s Guidelines 2/2023 on Technical Scope of Art. 5(3) of ePrivacy Directive Cristiana Santos , Nataliia Bielova , Vincent Roca , Mathieu Cunche , Gilles Mertens , et al. Inria & Université Cote d'Azur, CNRS, I3S, Sophia Antipolis, France. 2024 Rapport hal-04437008v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager More
		One Vote is Enough for Analysing Privacy Stéphanie Delaune , Joseph Lallemand , Arthur Outrey CNRS. 2023 Rapport hal-04262499v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager More

Page :

Contact

Ressources

Documentation
FAQ
API
OAI-PMH
AuréHAL

Informations

À propos
Données personnelles
Mentions légales
Accessibilité
Conformité RGAA

Questions juridiques

Je publie, quels sont mes droits ?
Loi pour une République numérique
Stratégie de non-cession des droits
SHERPA/RoMEO

Portails

Portails institutionnels
HAL
HAL SHS
HAL Thèses
MédiHAL

CCSD

CCSD
Episciences
Sciencesconf