Toggle navigation
HAL
HAL
HALSHS
TEL
MédiHAL
Liste des portails
AURéHAL
API
Documentation
Episciences.org
Sciencesconf.org
Support
Connexion
Connexion
Créer un compte
Mot de passe oublié ?
Login oublié ?
fr
en
Accueil
Dépôt
Consulter
Les derniers dépôts
Par discipline
Par date de soutenance
Consultation par collections
Recherche
Documentation HAL
Recherche
Filtres
Structure : Identifiant HAL de la structure ×
Mots-clés ×
Tous ×
80 résultats
enregistrer la recherche
Type de document
Thèse
(69)
HDR
(11)
Auteur
Ludovic Jacquin
(2)
Ahmed Benfarah
(1)
Alain Passelègue
(1)
Alexandra Carpen-Amarie
(1)
Amrit Kumar
(1)
Anderson Santana de Oliveira
(1)
André Chailloux
(1)
Anthéa Mayzaud
(1)
Antoine Delignat-Lavaud
(1)
Arnaud Contes
(1)
Arnaud Lefray
(1)
Carlos Olarte
(1)
Christian Damsgaard Jensen
(1)
Christophe Hauser
(1)
Christopher Humphries
(1)
Cyrille Wiedling
(1)
Damien Vergnaud
(1)
Daniel Hagimont
(1)
Daniele Perito
(1)
Daniele Raffo
(1)
Danuta Pamula
(1)
David Cadé
(1)
Davide Alessio
(1)
Eugen Zalinescu
(1)
Felipe Luna del Aguila
(1)
Georges Bossert
(1)
Guillaume Scerri
(1)
Gurvan Le Guernic
(1)
Gérard Wagener
(1)
Hahnsang Kim
(1)
Heinrich Hördegen
(1)
Henner Jakob
(1)
Humberto Abdelnur
(1)
Isabelle Chrisment
(1)
Jean-Baptiste Arnaud
(1)
Jean-Marie Borello
(1)
Jérémy Dubreil
(1)
Lina Alchaal
(1)
Marine Minier
(1)
Mario Strefler
(1)
Michele Mangili
(1)
Minh-Dung Tran
(1)
Miriam Paiola
(1)
Mohamed Salah Bouassida
(1)
Mohammed Anis Mekki
(1)
Mounir Assaf
(1)
Najah Chridi
(1)
Nicolas Anciaux
(1)
Nikolaos Papoulias
(1)
Ochirkhand Erdene-Ochir
(1)
Pejman Attar
(1)
Pierre Parrend
(1)
Radoniaina Andriatsimandefitra Ratsisahanana
(1)
Radu State
(1)
Salvador Martinez
(1)
Sheila Becker
(1)
Soran Hussein
(1)
Sylvain Ruhault
(1)
Thanh-Toan Do
(1)
Thomas Demongeot
(1)
Tomasz Blanc
(1)
Tristan Groleat
(1)
Valérie Viet Triem Tong
(1)
Vincent Cridlig
(1)
Véronique Cortier
(1)
Xavier Rolland-Nevière
(1)
Xavier Rolland-Névière
(1)
Zainab Khallouf
(1)
Ahmed Bouchami
(1)
Álvaro García-Recuero
(1)
Aymen Baouab
(1)
Benoit Groz
(1)
Thibault Cholez
(1)
Elio Goettelmann
(1)
Jerome Francois
(1)
Laurent Vigneron
(1)
Michel Abdalla
(1)
Olivier Blazy
(1)
Steve Kremer
(1)
Domaine
Informatique [cs]
(74)
Sciences de l'ingénieur [physics]
(6)
Sciences cognitives
(1)
Laboratoire
Laboratoire Lorrain de Recherche en Informatique et ses Applications
(22)
INRIA Lorraine
(16)
Inria Grenoble - Rhône-Alpes
(14)
Inria Rennes – Bretagne Atlantique
(13)
Institut de Recherche en Informatique et Systèmes Aléatoires
(13)
Inria Paris-Rocquencourt
(10)
Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies
(8)
Inria Sophia Antipolis - Méditerranée
(8)
CITI Centre of Innovation in Telecommunications and Integration of services
(7)
Département d'informatique de l'École normale supérieure
(6)
Inria Nancy - Grand Est
(5)
Inria Lille - Nord Europe
(3)
Inria Saclay - Ile de France
(3)
Laboratoire d'Informatique Fondamentale de Lille
(3)
Laboratoire de Recherche en Informatique
(3)
Laboratoire Spécification et Vérification [Cachan]
(2)
Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis
(2)
Laboratoire d'informatique de l'école normale supérieure
(2)
SUPELEC-Campus Rennes
(2)
CELAR
(1)
Department of Computing and Information Sciences [Kansas]
(1)
Département informatique - EMN
(1)
France Télécom Recherche & Développement
(1)
Handicap et système nerveux :Action, communication, interaction: rétablissement de la fonction et de la participation [Bordeaux]
(1)
INRIA Futurs
(1)
INRIA Rocquencourt
(1)
Inria Bordeaux - Sud-Ouest
(1)
Inria de Paris
(1)
Institut de Recherche Mathématique de Rennes
(1)
Institute of Electronics
(1)
Interdisciplinary Centre for Security, Reliability and Trust [Luxembourg]
(1)
Interoperability Laboratory for Security in Ad-Hoc Networks
(1)
Laboratoire Bordelais de Recherche en Informatique
(1)
Laboratoire d'Informatique de Grenoble
(1)
Laboratoire d'Informatique de Nantes Atlantique
(1)
Laboratoire d'informatique de l'École polytechnique [Palaiseau]
(1)
Laboratoire de l'Informatique du Parallélisme
(1)
Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
(1)
Parallélisme, Réseaux, Systèmes, Modélisation
(1)
Technicolor [Cesson Sévigné]
(1)
Unité de Recherche Informatique et Automatique
(1)
Langue
anglais
(45)
français
(35)
Mot-clé
Security
(45)
Sécurité
(39)
Type de dépôt
Document
(80)
Année
2017
(1)
2016
(5)
2015
(8)
2014
(12)
2013
(12)
2012
(6)
2011
(12)
2009
(7)
2008
(2)
2007
(3)
2006
(5)
2005
(4)
2004
(1)
1999
(1)
1998
(1)
Rechercher
Recherche avancée…
Recherche simple…
Champ de recherche par défaut (multicritères)
Champ de recherche par défaut (multicritères)
Champ de recherche par défaut (multicritères) + texte intégral des PDF
Titres
Sous-titre
Titre de l'ouvrage
Résumé
Texte intégral indexé des documents PDF
Mots-clés
Tous les identifiants du document
Identifiant HAL du dépôt
Langue du document (texte)
Pays (Texte)
Ville
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 : idHal numérique
Auteur : Identifiant
Auteur : Identifiant de l'organisme payeur
Auteur : Identifiant de la structure
Directeur de thèse
Éditeur
Éditeur scientifique
Éditeur de la série
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)
Projets ANR (multicritères)
Projet ANR : Acronyme
Projet ANR : Acronyme de l'appel à projet
Projet ANR : Nom de l'appel à projet
Projet ANR : 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
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
Date de publication : année
Date de mise en ligne : 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
Enregistrement réussi
Mes recherches enregistrées / mes alertes
Une erreur est survenue lors de l'enregistrement
1
2
3
Tri
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
Nombre
30 résultats par page
50 résultats par page
100 résultats par page
Outils
Pour les 80 documents
Exporter
XML-TEI
BibTeX
EndNote
CSV
PDF
Export avancé...
Syndication
RSS
ATOM
tel-00436270
v1
Thèse
Humberto Abdelnur
.
Voice over IP Vulnerability Assessment
Networking and Internet Architecture [cs.NI]. Université Henri Poincaré - Nancy 1, 2009. English
tel-00430446
v1
Thèse
Carlos Olarte
.
Universal Temporal Concurrent Constraint Programming
Modeling and Simulation. Ecole Polytechnique X, 2009. English
tel-00406511
v1
Thèse
Zainab Khallouf
.
Secure multicast routing infrastructure : the network operator point of view
Networking and Internet Architecture [cs.NI]. Institut National Polytechnique de Grenoble - INPG, 2006. English
tel-00808419
v1
Thèse
Jean-Baptiste Arnaud
.
Towards First Class References as a Security Infrastructure in Dynamically-Typed Languages
Programming Languages [cs.PL]. Université des Sciences et Technologie de Lille - Lille I, 2013. English
tel-00608907
v1
Thèse
Thibault Cholez
.
Supervision des réseaux pair à pair structurés appliquée à la sécurité des contenus
Réseaux et télécommunications [cs.NI]. Université Henri Poincaré - Nancy I, 2011. Français
tel-00745581
v1
Thèse
Benoit Groz
.
Vues de sécurité XML: requêtes, mises à jour et schémas.
Base de données [cs.DB]. Université des Sciences et Technologie de Lille - Lille I, 2012. Français
tel-00961228
v1
Thèse
Ahmed Benfarah
.
Sécurisation d'un lien radio UWB-IR
Autre. INSA de Lyon, 2013. Français.
<NNT : 2013ISAL0063>
tel-00942606
v1
Thèse
Pejman Attar
.
Towards a safe and secure synchronous language
Other [cs.OH]. Université Nice Sophia Antipolis, 2013. English.
<NNT : 2013NICE4148>
tel-01089163
v1
HDR
Damien Vergnaud
.
Primitives et constructions en cryptographie asymétrique
Cryptography and Security [cs.CR]. Ecole normale supérieure, 2014
pastel-00002090
v1
Thèse
Tomasz Blanc
.
Security Properties in the lambda-calculus.
Cryptographie et sécurité [cs.CR]. Ecole Polytechnique X, 2006. Français
tel-00198621
v1
Thèse
Gurvan Le Guernic
.
Confidentiality Enforcement Using Dynamic Information Flow Analyses
Software Engineering [cs.SE]. Kansas State University, 2007. English
tel-00959447
v1
Thèse
Thomas Demongeot
.
Politique de contrôle de flux d'information définie par les utilisateurs pour les orchestrations de services. Mise en oeuvre dans un orchestrateur BPEL
Web. Télécom Bretagne, Université de Rennes 1, 2013. Français
tel-01548658
v1
Thèse
Álvaro García-Recuero
.
Discouraging Abusive Behavior in Privacy-Preserving Decentralized Online Social Networks
Computer Science [cs]. University of Rennes 1; Inria Rennes - Bretagne Atlantique, 2017. English
tel-01103104
v2
Thèse
Miriam Paiola
.
Verification of cryptographic protocols with lists of unbounded lengths
Cryptography and Security [cs.CR]. Université Paris-Diderot (Paris 7), 2014. English
tel-00461306
v1
Thèse
Jérémy Dubreil
.
Monitoring and Supervisory Control for Opacity Properties
Software Engineering [cs.SE]. Université Rennes 1, 2009. English
tel-01133067
v1
Thèse
Guillaume Scerri
.
Proofs of security protocols revisited
Cryptography and Security [cs.CR]. Ecole Normale Supérieure de Cachan, 2015. English.
<NNT : ENSC-2015-no 561>
tel-01402629
v1
Thèse
Ahmed Bouchami
.
Sécurité des ressources collaboratives dans les réseaux sociaux d'entreprise
Cryptographie et sécurité [cs.CR]. Université de lorraine, 2016. Français
tel-01237669
v1
Thèse
Elio Goettelmann
.
Risk-aware Business Process Modelling and Trusted Deployment in the Cloud
Web. Université de Lorraine, 2015. English
tel-01293742
v1
Thèse
Mohammed Anis Mekki
.
Synthèse et compilation de services web sécurisés
Informatique [cs]. Universite de Lorraine, 2011. Français
tel-00843420
v1
Thèse
Aymen Baouab
.
Gouvernance et supervision décentralisée des chorégraphies inter-organisationnelles
Autre [cs.OH]. Université de Lorraine, 2013. Français
tel-01112630
v1
Thèse
David Cadé
.
Proved Implementations of Cryptographic Protocols in the Computational Model
Cryptography and Security [cs.CR]. Paris 7, 2013. English
tel-00719170
v1
Thèse
Henner Jakob
.
Towards securing pervasive computing systems by design: a language approach
Informatique et langage [cs.CL]. Université Sciences et Technologies - Bordeaux I, 2011. Français
tel-01236602
v1
Thèse
Sylvain Ruhault
.
Security Analysis for Pseudo-Random Numbers Generators
Cryptography and Security [cs.CR]. Ecole Normale Supérieure, 2015. English
tel-00134670
v1
Thèse
Vincent Cridlig
.
Sécurité du plan de gestion des réseaux IP
Réseaux et télécommunications [cs.NI]. Université Henri Poincaré - Nancy I, 2006. Français
tel-00134732
v1
Thèse
Mohamed Salah Bouassida
.
Sécurité des communications de groupe dans les réseaux ad hoc
Réseaux et télécommunications [cs.NI]. Université Henri Poincaré - Nancy I, 2006. Français
tel-00870910
v1
Thèse
Mario Strefler
.
Broadcast Encryption with Traitor Tracing
Cryptography and Security [cs.CR]. Ecole Normale Supérieure de Paris - ENS Paris, 2013. English
tel-00442530
v1
HDR
Radu State
.
Audit et monitorage de la sécurité
Réseaux et télécommunications [cs.NI]. Université Henri Poincaré - Nancy I, 2009
tel-00917187
v1
HDR
Michel Abdalla
.
Reducing The Need For Trusted Parties In Cryptography
Cryptography and Security [cs.CR]. Ecole Normale Supérieure de Paris - ENS Paris, 2011
tel-00932796
v1
Thèse
Nikolaos Papoulias
.
Remote Debugging and Reflection in Resource Constrained Devices
Programming Languages [cs.PL]. Université des Sciences et Technologie de Lille - Lille I, 2013. English
tel-00442008
v2
Thèse
Jerome Francois
.
Robustesse et Identification des Applications Communicantes
Réseaux et télécommunications [cs.NI]. Université Henri Poincaré - Nancy I, 2009. Français
1
2
3
Tri
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
Nombre
30 résultats par page
50 résultats par page
100 résultats par page
Outils
Pour les 80 documents
Exporter
XML-TEI
BibTeX
EndNote
CSV
PDF
Export avancé...
Syndication
RSS
ATOM
Enregistrer
Annuler
Libellé
Des champs obligatoires n'ont pas été remplis.