Recherche - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu

Filtrer vos résultats

161 résultats
keyword_s : Sécurité
Image document

Chaînes de confiance et périmètres de certification : le cas des systèmes de "vote électronique

François Pellegrini
[Rapport de recherche] RR-8553, INRIA. 2014, pp.30
Rapport hal-01010950v4

Architectures Embarquées dans l'automobile : comment assurer leur sûreté ?

Françoise Simonot-Lion
10èmes rencontres INRIA Industrie « Applications de l'informatique et de l'automatique aux transports » 2003, 2003, Rocquencourt/France, 19 p
Communication dans un congrès inria-00099651v1
Image document

Component-based modeling and observer-based verification for railway safety-critical applications

Marc Sango , Laurence Duchien , Christophe Gransart
11th International Symposium on Formal Aspects of Component Software, Sep 2014, Bertinoro, Italy. p 248-266
Communication dans un congrès hal-01197464v1

Outils informatiques pour la protection de la vie privée

Guillaume Piolle
Interstices, 2011, http://interstices.info/outils-protection
Article dans une revue hal-00657244v1

L3.2 : Etat de l'art des protocoles de gestion des clés dans les communications de groupe

Abdelmadjid Bouabdallah , Mohamed Salah Bouassida , Isabelle Chrisment , Hani Ragab
[Contrat] Livrable L3.2, 2005, pp.47
Rapport inria-00000601v1

Opérateurs arithmétiques sécurisés

Arnaud Tisserand
RAIM: 3ème Rencontres Arithmétique de l'Informatique Mathématique, Oct 2009, Lyon, France
Communication dans un congrès inria-00438333v1

Détection d'anomalies dans les systèmes SCADA

Gaetan Robin
Réseaux et télécommunications [cs.NI]. 2014
Mémoire d'étudiant hal-01095048v1

À propos du vote par Internet

Pierrick Gaudry , Joanna Jongwane
Interstices, 2017
Article dans une revue hal-01533682v1
Image document

Software-defined Security for Distributed Clouds

Maxime Compastié
Networking and Internet Architecture [cs.NI]. Université de Lorraine, 2018. English. ⟨NNT : 2018LORR0307⟩
Thèse tel-02096145v1
Image document

Évaluation de l'énergie et de la distance pour les attaques de brouillage dans les réseaux sans fil

Emilie Bout , Valeria Loscri , Antoine Gallais
CORES 2021 – 6ème Rencontres Francophones sur la Conception de Protocoles, l’Évaluation de Performance et l’Expérimentation des Réseaux de Communication, Sep 2021, La Rochelle, France
Communication dans un congrès hal-03215527v1
Image document

Modélisation et Évaluation de la Sécurité des IHM

Youssou Ndiaye , Nicolas Aillery , Olivier Barais , Arnaud Blouin , Ahmed Bouabdallah
CIEL 2017 : 6ème Conférence en IngénieriE du Logiciel, Jun 2017, Montpellier, France
Communication dans un congrès hal-01611324v1
Image document

High Performance Traffic Monitoring for Network Security and Management

Tristan Groleat
Human-Computer Interaction [cs.HC]. Télécom Bretagne; Université de Bretagne Occidentale, 2014. English. ⟨NNT : ⟩
Thèse tel-01217510v1
Image document

Challenges of native android applications : obfuscation and vulnerabilities

Pierre Graux
Cryptography and Security [cs.CR]. Université Rennes 1, 2020. English. ⟨NNT : 2020REN1S047⟩
Thèse tel-03164744v1
Image document

Secure identification for the Internet of Things

Marzieh Gheisari
Signal and Image Processing. Inria Rennes - Bretagne Atlantique, 2021. English. ⟨NNT : ⟩
Thèse tel-03445710v1
Image document

Formalisation et évaluation des politiques de sécurité et de respect de la vie privée en ELAN

Vincent Cridlig , Jacques Guyard
[Stage] A03-R-204 || cridlig03a, 2003, 54 p
Rapport inria-00107681v1

La sécurité dans IPv6 pour des applications multipoints

Ghassan Chaddoud
[Stage] 98-R-346 || chaddoud98a, 1998, 44 p
Rapport inria-00098524v1
Image document

Proposition et implémentation d'une coopération entre deux moniteurs de flux d'information

Thomas Letan
Cryptographie et sécurité [cs.CR]. 2013
Mémoire d'étudiant dumas-00854981v1
Image document

Contributions à la production de logiciels de qualité

Olivier Zendra
Informatique [cs]. Université de Rennes, 2023
HDR tel-04428591v1
Image document

Compromis performance/sécurité des passerelles très haut débit pour Internet

Ludovic Jacquin
Autre [cs.OH]. Université de Grenoble, 2013. Français. ⟨NNT : 2013GRENM041⟩
Thèse tel-01135182v2
Image document

Résilience et application aux protocoles de routage dans les réseaux de capteurs

Ochirkhand Erdene-Ochir
Traitement du signal et de l'image [eess.SP]. INSA de Lyon, 2013. Français. ⟨NNT : 2013ISAL0070⟩
Thèse tel-01077949v1
Image document

Supervision des réseaux pair à pair structurés appliquée à la sécurité des contenus

Thibault Cholez
Réseaux et télécommunications [cs.NI]. Université Henri Poincaré - Nancy I, 2011. Français. ⟨NNT : ⟩
Thèse tel-00608907v1
Image document

Gestion de données personnelles respectueuse de la vie privée

Nicolas Anciaux
Base de données [cs.DB]. Université de Versailles Saint-Quentin-en-Yvelines, 2014
HDR tel-01104999v2
Image document

Contrôle de flux d'information par utilisation conjointe d'analyse statique et dynamique accélérée matériellement

Mounir Nasr Allah
Cryptographie et sécurité [cs.CR]. CentraleSupélec, 2020. Français. ⟨NNT : 2020CSUP0007⟩
Thèse tel-03350458v1
Image document

Authenticated key exchange protocols in three parties

Benjamin Richard
Cryptography and Security [cs.CR]. Université de Rennes, 2017. English. ⟨NNT : 2017REN1S037⟩
Thèse tel-01661412v1
Image document

Défense contre les attaques à l'aune des nouvelles formes de virtualisation des infrastructures

Maxime Bélair
Cryptographie et sécurité [cs.CR]. Ecole nationale supérieure Mines-Télécom Atlantique, 2021. Français. ⟨NNT : 2021IMTA0279⟩
Thèse tel-03520546v1

Tolérance aux fautes dans les architectures X-by-Wire

Cédric Wilwert , Ye-Qiong Song , Anne Charlois
[Interne] A02-R-307 || wilwert02b, 2002, 8 p
Rapport inria-00100897v1

Analyse des vulnérabilités du réseau pair à pair anonymisé I2P

Anthéa Mayzaud
Cryptographie et sécurité [cs.CR]. 2011
Mémoire d'étudiant hal-00646336v1
Image document

Web applications security and privacy

Dolière Francis Somé
Cryptography and Security [cs.CR]. Université Côte d'Azur, 2018. English. ⟨NNT : 2018AZUR4085⟩
Thèse tel-01925851v2
Image document

Security Properties in the lambda-calculus.

Tomasz Blanc
Cryptographie et sécurité [cs.CR]. Ecole Polytechnique X, 2006. Français. ⟨NNT : ⟩
Thèse pastel-00002090v1
Image document

Une méthode réflexive pour évaluer un nouveau programme de management de la sécurité

Vincent Boccara , Catherine Delgoulet , Stella Duvenci-Langa , Fabien Letourneau
56e Congrès de la SELF. Vulnérabilités et risques émergents : penser et agir ensemble pour transformer durablement, Université de Genève; Haute Ecole Spécialisée de Suisse Occidentale; Centre universitaire de médecine générale et de santé publique; Centre hospitalier universitaire vaudois & Hopitaux Universitaire de Genève; Optimance, Jul 2022, Genève, Suisse. pp.216-222
Communication dans un congrès hal-04088555v1