Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Grenoble (8)
  • Rennes 1 (6)
  • Bordeaux (5)
  • Grenoble Alpes (5)
  • Lyon (3)
  • Normandie (3)
  • Sorbonne Paris Cité (3)
  • Aix-Marseille (2)
  • Montpellier (2)
  • Paris 1 (2)
  • Paris 2 (2)
  • Paris Est (2)
  • Paris Saclay (2)
  • Paris Sciences et Lettres (2)
  • Paris, CNAM (2)
  • Paris, Ecole normale supérieure (2)
  • Université de Lorraine (2)
  • Aix-Marseille 3 (1)
  • Antilles-Guyane (1)
  • Bourgogne Franche-Comté (1)
  • Brest (1)
  • Cachan, Ecole normale supérieure (1)
  • Clermont Auvergne (1)
  • Dijon (1)
  • Ecole centrale de Lille (1)
  • Institut supérieur de gestion (Tunis) (1)
  • La Réunion (1)
  • LaMCoS - Laboratoire de Mécanique des Contacts et des Structures, UMR 5259 (Lyon, INSA) (1)
  • Lille 1 (1)
  • Limoges (1)
  • Lorient (1)
  • Lyon 3 (1)
  • Montpellier 1 (1)
  • Montpellier 2 (1)
  • Nancy 2 (1)
  • Nantes (1)
  • Nice (1)
  • Orléans (1)
  • Paris 10 (1)
  • Paris 3 (1)
  • Paris 4 (1)
  • Paris 6 (1)
  • Paris 7 (1)
  • Paris, ENMP (1)
  • Paris, EPHE (1)
  • Perpignan (1)
  • Poitiers (1)
  • Prove & Run (1)
  • Reims (1)
  • Toulouse 1 (1)
  • Toulouse 3 (1)
  • Toulouse, INSA (1)
  • Universidade federal fluminense (Niteroi, Brésil) (1)
  • Universitetet i Oslo (1)
  • Universität Wien (1)
  • Université Cadi Ayyad (Marrakech, Maroc) (1)
  • Université Cheikh Anta Diop de Dakar (1)
  • Université Sidi Mohamed ben Abdellah (Fès, Maroc). Faculté des Sciences et Techniques (1)
  • Université de Tunis El Manar (1)
  • Université du Luxembourg. Faculté des sciences, de la technologie et de la communication (1)
  • Université du Québec à Montréal (1)
  • École Nationale des Sciences de l'Informatique (La Manouba, Tunisie) (1)
  • École des hautes études en sciences sociales (Paris) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (31)
  • Droit public (8)
  • Science politique (5)
  • Sciences économiques (4)
  • Droit (3)
  • Droit privé (3)
  • Langues et littératures étrangères (2)
  • Études anglophones (2)
  • Acoustique (1)
  • Automatique et informatique appliquée (1)
  • Automatique,génie informatique,traitement du signal et images (1)
  • Chimie organométallique et de coordination (1)
  • Droit International (1)
  • Droit international (1)
  • Droit privé et Sciences Criminelles (1)
  • Electronique des Hautes Fréquences, Photonique et Systèmes (1)
  • Génie mécanique (1)
  • Génie mécanique, Productique, Transport (1)
  • Géographie physique, humaine, économique et régionale (1)
  • Histoire moderne et contemporaine (1)
  • Informatique et réseaux (1)
  • Informatique, temps réel, robotique et automatique (1)
  • Littérature générale et comparée (1)
  • Mathématiques (1)
  • Mathématiques et Informatique (1)
  • Mécanique appliquée (1)
  • Mécanique et énergétique (1)
  • Physique (1)
  • Polymères (1)
  • Sciences appliquées (1)
  • Sciences et technologies de l'information et de la communication. Communication numérique (1)
  • Sciences juridiques (1)
  • Sciences politiques (1)
  • Sciences religieusesSciences religieuses (1)
  • Stic (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (11)
  • École doctorale de Sciences mathématiques de Paris Centre (Paris) (4)
  • Ecole Doctorale Mecanique, Energetique, Genie Civil, Acoustique (MEGA) (Villeurbanne) (2)
  • Ecole Doctorale Sciences Juridiques et Politiques (Aix-en-Provence) (2)
  • MATISSE (2)
  • École doctorale Informatique, télécommunications et électronique (Paris) (2)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (2)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (2)
  • École doctorale de droit (Pessac, Gironde) (2)
  • École doctorale mathématiques, information et ingénierie des systèmes (Caen) (2)
  • École doctorale Études anglophones, germanophones, et européennes (2009-2019 ; Paris) (2)
  • DROIT (1)
  • Droit, Gestion, Sciences Economique et Politique (1)
  • Ecole doctorale Cultures et Sociétés (Créteil ; 2015-....) (1)
  • Ecole doctorale Cultures et Sociétés (Créteil) (1)
  • Ecole doctorale Droit et science politique (Montpellier ; 2015-....) (1)
  • Ecole doctorale Economies, Espaces, Sociétés, Civilisations : pensée critique, politique et pratiques sociales (Paris) (1)
  • Ecole doctorale Sciences de l'homme et de la société (Reims, Marne) (1)
  • Ecole doctorale de droit (Bordeaux) (1)
  • I2S - Information, Structures, Systèmes (1)
  • Information, Structures, Systèmes (Montpellier ; École Doctorale ; 2009-2014) (1)
  • MATHSTIC (1)
  • Sciences Juridiques (1)
  • École Doctorale INTER-MED (Perpignan) (1)
  • École Doctorale Sciences de la Matière (Toulouse) (1)
  • École doctorale Abbé Grégoire (Paris) (1)
  • École doctorale Droit et Science Politique (Toulouse) (1)
  • École doctorale Droit-Normandie (Rouen) (1)
  • École doctorale Histoire moderne et contemporaine (Paris) (1)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (1)
  • École doctorale INTERFACES : approches interdisciplinaires / fondements, applications et innovation (Palaiseau, Essonne ; 2015-....) (1)
  • École doctorale Lettres et sciences humaines, Droit économie gestion, Sciences politiques (Saint-Denis, La Réunion) (1)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (1)
  • École doctorale SJPEG - Sciences Juridiques, Politiques, Economiques et de Gestion (Lorraine) (1)
  • École doctorale Sciences de l'homme et de la société (Orléans) (1)
  • École doctorale Sciences et ingénierie en matériaux, mécanique, énergétique et aéronautique - SIMMEA (Poitiers) (1)
  • École doctorale Sciences et ingénierie pour l'information, mathématiques (Limoges ; 2009-2018) (1)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (1)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (1)
  • École doctorale Sciences pour l'Ingénieur (Lille) (1)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (1)
  • École doctorale Sciences sociales (Lyon) (1)
  • École doctorale d'Économie (Paris) (1)
  • École doctorale de science politique (Paris) (1)
  • École doctorale des Sciences chimiques (Talence ; Gironde) (1)
  • École doctorale des sciences économiques, juridiques, politiques et de gestion (Clermont-Ferrand) (1)
  • École doctorale histoire du droit, philosophie du droit et sociologie du droit (Paris) (1)
  • École doctorale sciences et ingénierie des systèmes, de l'environnement et des organisations (Chambéry) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (44)
  • anglais (37)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Jensen Thomas (4)
  • Lakhnech Yassine (4)
  • Bensalem Saddek (3)
  • Bozga Dorel Marius (3)
  • Boukachour Jaouad (2)
  • Dubos Olivier (2)
  • Lafourcade Pascal (2)
  • Lassalle Didier (2)
  • Abdalla Michel (1)
  • Agostinelli Xavier (1)
  • Arghir Mihaï (1)
  • Baguet Sébastien (1)
  • Barkaoui Kamel (1)
  • Barthe Gilles (1)
  • Battistella Dario (1)
  • Baubérot Jean (1)
  • Ben Hadj-Alouane Néjib (1)
  • Bhargavan Karthikeyan (1)
  • Blazy Sandrine (1)
  • Boudol Gérard (1)
  • Cances Jean-Pierre (1)
  • Charillon Frédéric (1)
  • Christakis Théodore (1)
  • Cohen Albert Henri (1)
  • Cousot Radhia (1)
  • De la mardiere Christophe (1)
  • Dessombz Olivier (1)
  • Diarra Eloi (1)
  • Domestici-Met Marie-José (1)
  • Du Pontavice Emmanuel (1)
  • Dufour Régis (1)
  • El Fazziki Abdelaziz (1)
  • El Hilali Alaoui Ahmed (1)
  • Esplugas-Labatut Pierre (1)
  • Filliâtre Jean-Christophe (1)
  • Flory Maurice (1)
  • Fouque Pierre-Alain (1)
  • Frank Rüdiger (1)
  • Frossard Joseph (1)
  • Ghédira Khaled (1)
  • Gogniat Guy (1)
  • Gornitzka Heinz (1)
  • Grimaud Gilles (1)
  • Groz Roland (1)
  • Hahmann Stéfanie (1)
  • Hemmert Catherine (1)
  • Hoarau Jean-François (1)
  • Hutchinson Wesley (1)
  • Icard Philippe (1)
  • Ichchou Mohamed (1)
  • Jaber Ali (1)
  • Jézéquel Louis (1)
  • Kaci Souhila (1)
  • Koenig-Soubeyran Pamina (1)
  • Lapidus André (1)
  • Lapôtre Vianney (1)
  • Le Moyne Luis (1)
  • Lecler Yveline (1)
  • Lecommandoux Sébastien (1)
  • Lime Didier (1)
  • Léon Jean-Claude (1)
  • Lévy Jean-Jacques (1)
  • Magnin Éric (1)
  • Manent Pierre (1)
  • Marion Jean-Yves (1)
  • Martin Jean (1)
  • Mbodj El Hadji (1)
  • Meghdadi Neyshabouri Vahid (1)
  • Mehaoua Ahmed (1)
  • Mesghouni Khaled (1)
  • Miné Antoine (1)
  • Moreaux Patrice (1)
  • Mounier Laurent (1)
  • Mousseron Pierre (1)
  • Mouton Jean-Denis (1)
  • O'Meara Dan (1)
  • Paillet Matthieu (1)
  • Pernet Claude (1)
  • Pichardie David (1)
  • Pollock Jonathan (1)
  • Porteilla Raphaël (1)
  • Prouff Emmanuel (1)
  • Queinnec Christian (1)
  • Radoi Emanuel (1)
  • Raguet Christine (1)
  • Raynaud Philippe (1)
  • Resende Fernando (1)
  • Richard Yann (1)
  • Robbana Riadh (1)
  • Rosière Stéphane (1)
  • Roux Olivier F. (1)
  • Ryl Isabelle (1)
  • Réno Fred (1)
  • Sartor Marc (1)
  • Saucier Philippe (1)
  • Schmitt Alan (1)
  • Sifakis Joseph (1)
  • Siles Vincent (1)
  • Smith Eivind (1)
  • Sohnle Jochen (1)
  • Sudre Frédéric (1)
  • Torre Leendert van der (1)
  • Totel Éric (1)
  • Tournepiche Anne-Marie (1)
  • Tronel Frédéric (1)
  • Vergnaud Damien (1)
  • Vernier Flavien (1)
  • Viltard Yves (1)
  • Zahab Ahmed Azmi (1)
  • Zine Abdel Malek (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (34)
  • Droit (18)
  • Sciences de l'ingénieur (11)
  • Science politique (6)
  • Economie (4)
  • Informatique, information, généralités (3)
  • Physique (3)
  • Chimie, minéralogie, cristallographie (3)
  • Sciences sociales, sociologie, anthropologie (2)
  • Mathématiques (2)
  • Littératures anglaise et anglo-saxonne (2)
  • Religion (1)
  • Sciences de la nature et mathématiques (1)
  • Génie chimique, technologies alimentaires (1)
  • Bâtiments (1)
  • Photographie et les photographies, art numérique (1)
  • Histoire et critique littéraires, rhétorique (1)
  • Géographie et histoire (1)
  • Histoire générale de l'Amérique du Sud (1)

Domaines :

Fullscreen

85 thèses pour "Non-Interference"

Droit International

En préparation depuis le 04-10-2017
 thèse en cours de préparation
Informatique

Soutenue le 14-12-2018
 thèse en cours de préparation
Automatique et informatique appliquée

Soutenue en 2011
thèse soutenue

...-interference thanks to thecompositionality of secureBIP model.Non-interference for real-time systemsThe growing...

Accéder en ligne

...non-interferent programs are well-typed, thus proven secure wrt. TINI.Non-interference is not a safety...

Accéder en ligne
Informatique

Soutenue en 2009
thèse soutenue

Résultats 1 à 10