Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Université Paris-Saclay (ComUE) (22)
  • Paris Sciences et Lettres (16)
  • Rennes 1 (14)
  • Lyon (11)
  • Université Grenoble Alpes (ComUE) (9)
  • Université Côte d'Azur (ComUE) (7)
  • Sorbonne Paris Cité (6)
  • Clermont Auvergne (5)
  • Université de Lorraine (5)
  • Cachan, Ecole normale supérieure (4)
  • Grenoble (4)
  • Limoges (4)
  • Paris 7 (4)
  • Paris, CNAM (4)
  • Paris, ENST (4)
  • Paris, Ecole normale supérieure (4)
  • Toulouse 3 (3)
  • Bourgogne Franche-Comté (2)
  • CentraleSupélec (2)
  • Compiègne (2)
  • Evry, Institut national des télécommunications (2)
  • Institut polytechnique de Paris (2)
  • Rennes, INSA (2)
  • Sorbonne université (2)
  • Toulouse, INPT (2)
  • Toulouse, INSA (2)
  • Aix-Marseille (1)
  • Angers (1)
  • Bordeaux 1 (1)
  • Brest (1)
  • Châtenay-Malabry, Ecole centrale de Paris (1)
  • Colorado state university (1)
  • Dijon (1)
  • ENS (1)
  • Elizabeth (1)
  • Grenoble Alpes (1)
  • Johann-Wolfgang-Goethe-Universität (Francfort-sur-le-Main, Allemagne) (1)
  • La Rochelle (1)
  • Lille 3 (1)
  • Lyon 1 (1)
  • Montpellier (1)
  • Nanyang Technological University (1)
  • Normandie (1)
  • Orléans (1)
  • Paris 1 (1)
  • Paris 13 (1)
  • Paris 2 (1)
  • Paris 4 (1)
  • Paris 6 (1)
  • Paris Est (1)
  • Paris, Institut d'études politiques (1)
  • Pau (1)
  • Rennes, École normale supérieure (1)
  • School of law (Berkeley, Calif.) (1)
  • Strasbourg (1)
  • Tours (1)
  • Télécom Bretagne (1)
  • Universidad de la República (Montevideo) (1)
  • Universitatea Alexandru Ioan Cuza (Iaşi, Roumanie) (1)
  • Universiteit Antwerpen (1)
  • Università degli studi (Milan, Italie). Convegno di studi (2000 ; Milano) (1)
  • Università degli studi di Milano - Bicocca (1)
  • Universität des Saarlandes (1)
  • Université de Yaoundé I (1)
  • Université libanaise (1)
  • Université normale de la Chine de l'Est (Shanghai) (1)
  • Valenciennes (1)
  • Versailles-St Quentin en Yvelines (1)
  • Západočeská univerzita (Pilsen, République tchèque) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (120)
  • Informatique et réseaux (4)
  • Mathématiques (3)
  • Mathématiques et Informatique (3)
  • Réseaux, information et communications (3)
  • Informatique (STIC) (2)
  • Robotique (2)
  • Archéologie (1)
  • Automatique et productique (1)
  • Biologie (1)
  • Cryptographie (informatique) (1)
  • Droit (1)
  • Electronique et communications (1)
  • Epidémiologie, analyse du risque, recherche clinique (1)
  • Génie industriel (1)
  • Histoire et civilisations (1)
  • Information, communications, électronique (1)
  • Informatique et Sciences et Technologies de l'Information et des Systèmes : Unité de recherche Heudyasic (UMR-7253) (1)
  • Informatique et applications (1)
  • Informatique et réseau (1)
  • Informatique. Informatique fondamentale (1)
  • Informatique. Modélisation et vérification (1)
  • Informatique. Réseaux (1)
  • Intelligence artificielle (1)
  • Langue Vivante d'Anglais (1)
  • Mathematiques et applications (1)
  • Mathématiques Appliquées (1)
  • Mathématiques appliquées (1)
  • Mathématiques aux interfaces (1)
  • Microelectronique (1)
  • Microélectronique (1)
  • Philosophie, sciences de l’environnement (1)
  • Physique (1)
  • Réseaux, Télécommunications, Systèmes et Architecture (1)
  • Réseaux, Télécoms, Systèmes et Architecture (1)
  • Sciences economiques (1)
  • Signal, image, vision (1)
  • Sureté du logiciel et calcul de haute performance (1)
  • Technologies de l'Information et des Systèmes : Unité de recherche Heudyasic (UMR-7253) (1)
  • Traitement du Signal et de l'Image (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale Sciences mathématiques de Paris centre (Paris) (22)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (18)
  • École doctorale Informatique, télécommunications et électronique de Paris (12)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (12)
  • École doctorale en Informatique et Mathématiques de Lyon (9)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (8)
  • MATHSTIC (7)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (5)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (5)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (5)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (4)
  • École doctorale Sciences et ingénierie pour l'information, mathématiques (Limoges ; 2009-2018) (4)
  • École doctorale des sciences pour l'ingénieur (Clermont-Ferrand) (4)
  • École doctorale Sciences pratiques (1998-2015 ; Cachan, Val-de-Marne) (3)
  • École doctorale 71, Sciences pour l'ingénieur (Compiègne) (2)
  • École doctorale INTERFACES : approches interdisciplinaires, fondements, applications et innovation (Palaiseau, Essonne ; 2015-....) (2)
  • École doctorale Sciences fondamentales et appliquées (Nice) (2)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (2)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (1)
  • Ecole Doctorale de l'Institut Polytechnique de Paris (1)
  • Ed Sis 488 (1)
  • I2S - Information, Structures, Systèmes (1)
  • Informatique, télécommunication et électronique de Paris (EDITE) (1)
  • Mathématiques Informatique Télécommunications de Toulouse (1)
  • Mathématiques et Sciences et Technologies de l'Information et de la Communication (1)
  • Sciences Mathématiques de Paris Centre (1)
  • Sciences pour l'ingénieur (1)
  • Sciences pour l'ingénieur (SPI) (1)
  • École Doctorale Mathématiques, Informatique et Télécommunications (Toulouse) (1)
  • École doctorale Archéologie (Paris) (1)
  • École doctorale Aéronautique-Astronautique (Toulouse) (1)
  • École doctorale Biologie-Santé (Rennes) (1)
  • École doctorale Carnot-Pasteur (Besançon ; Dijon ; 2012-....) (1)
  • École doctorale Concepts et langages (Paris) (1)
  • École doctorale Galilée (Villetaneuse, Seine-Saint-Denis) (1)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (1)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (1)
  • École doctorale Mathématiques, sciences de l'information et de l'ingénieur (Strasbourg ; 1997-....) (1)
  • École doctorale Sciences Ingénierie Santé (Saint-Etienne) (1)
  • École doctorale Sciences de l'homme et de la société (Tours ; 1996-2018) (1)
  • École doctorale Sciences du Végétal : du gène à l'écosystème (Orsay, Essonne ; 2015-....) (1)
  • École doctorale Sciences et Ingénierie des Systèmes, Mathématiques, Informatique (Limoges) (1)
  • École doctorale Sciences et technologies de l'information et mathématiques (Nantes) (1)
  • École doctorale Sciences mathématiques de Paris centre (1)
  • École doctorale Sciences mécaniques, acoustique, électronique et robotique de Paris (1)
  • École doctorale Sciences pour l'Ingénieur (Lille) (1)
  • École doctorale de Sciences Po (Paris) (1)
  • École doctorale de l'Institut polytechnique de Paris (1)
  • École doctorale de l'École des hautes études en sciences sociales (1)
  • École doctorale de mathématiques Hadamard (Orsay, Essonne ; 2015-....) (1)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (1)
  • École doctorale des sciences économiques et gestion, sciences de l'information et de la communication (Paris) (1)
  • École doctorale des sciences économiques, juridiques, politiques et de gestion (Clermont-Ferrand) (1)
  • École doctorale mathématiques, information et ingénierie des systèmes (Caen) (1)
  • École doctorale sciences exactes et leurs applications (Pau, Pyrénées Atlantiques) (1)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • anglais (132)
  • français (43)
  • allemand (1)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Pointcheval David (12)
  • Abdalla Michel (7)
  • Fouque Pierre-Alain (7)
  • Lafourcade Pascal (7)
  • Naccache David (5)
  • Lakhnech Yassine (4)
  • Guilley Sylvain (3)
  • Aguilar Melchor Carlos (2)
  • Alami Rachid (2)
  • Bensalem Saddek (2)
  • Bhargavan Karthikeyan (2)
  • Bidan Christophe (2)
  • Bonald Thomas (2)
  • Bozga Dorel Marius (2)
  • Brunie Lionel (2)
  • Comon-Lundh Hubert (2)
  • Cortier Véronique (2)
  • Crespi Noël (2)
  • Fournier Jacques J. A. (2)
  • Gaborit Philippe (2)
  • Goubin Louis (2)
  • Gribonval Rémi (2)
  • Joux Antoine (2)
  • Lyubashevsky Vadim (2)
  • Muscariello Luca (2)
  • Patarin Jacques (2)
  • Rioul Olivier (2)
  • Stehlé Damien (2)
  • Vergnaud Damien (2)
  • Wee Hoeteck (2)
  • Adam Sébastien (1)
  • Alibart Olivier (1)
  • Amer-Yahia Sihem (1)
  • Andler Daniel (1)
  • Augot Daniel (1)
  • Avoine Gildas (1)
  • Badr Youakim (1)
  • Batatia Hadj (1)
  • Ben Mokhtar Sonia (1)
  • Benbernou Salima (1)
  • Benmansour Rachid (1)
  • Bentz Cédric (1)
  • Benzaken Véronique (1)
  • Berger Thierry (1)
  • Berthomé Pascal (1)
  • Bertin Emmanuel (1)
  • Bertin Philippe (1)
  • Bertot Yves (1)
  • Blazy Olivier (1)
  • Blazy Sandrine (1)
  • Boissonnat Jean-Daniel (1)
  • Bouabdallah Abdelmadjid (1)
  • Bouajjani Ahmed (1)
  • Bouchenak Sara (1)
  • Boucheneb Hanifa (1)
  • Bouganim Luc (1)
  • Bouillaguet Charles (1)
  • Bouwmans Thierry (1)
  • Bouzefrane Samia (1)
  • Bruel Jean-Michel (1)
  • Budil Ivo T. (1)
  • Cachera David (1)
  • Canteaut Anne (1)
  • Castelluccia Claude (1)
  • Challal Yacine (1)
  • Chapurlat Vincent (1)
  • Chbeir Richard (1)
  • Chevalier Céline (1)
  • Cholez Thibault (1)
  • Chrisment Isabelle (1)
  • Christophides Vassilis (1)
  • Chu Chengbin (1)
  • Cocris Vasile (1)
  • Cohen Cyril (1)
  • Contejean Evelyne (1)
  • Corbineau Pierre (1)
  • Cornelißen Christoph (1)
  • Cortés Juan (1)
  • Coudert David (1)
  • Coupechoux Marceau (1)
  • Cuppens Frédéric (1)
  • Dahan Amy (1)
  • Damiani Ernesto (1)
  • Danger Jean-Luc (1)
  • Delaune Stéphanie (1)
  • Desolneux Agnès (1)
  • Di Cosmo Roberto (1)
  • Dony Christophe (1)
  • Dubois Catherine (1)
  • Dupas Stéphane (1)
  • Duvivier David (1)
  • Elloumi Sourour (1)
  • Emonet Rémi (1)
  • Fernández Arroyo Diego P. (1)
  • Filliâtre Jean-Christophe (1)
  • Fiore Dario (1)
  • Formenti Enrico (1)
  • Foufou Sebti (1)
  • Fouque Pierre-alain (1)
  • Gaudry Pierrick (1)
  • Giraud Christophe (1)
  • Godlewski Philippe (1)
  • Goubault-Larrecq Jean (1)
  • Grothoff Christian (1)
  • Grumbach Stéphane (1)
  • Guerrini Stefano (1)
  • Guilbert Georges-Claude (1)
  • Guyeux Christophe (1)
  • Haddad Mohammed (1)
  • Hakem Mourad (1)
  • Hamid Brahim (1)
  • Hao Jin-Kao (1)
  • Henrio Ludovic (1)
  • Herbelin Hugo (1)
  • Hijazi Abbas (1)
  • Hill David R. C. (1)
  • Jaber Ali (1)
  • Jensen Thomas (1)
  • Jorda Jacques (1)
  • Kheddouci Hamamache (1)
  • Kiesow Rainer Maria (1)
  • Klein Christian (1)
  • Ksentini Adlen (1)
  • Kushik Natalia (1)
  • LANUSSE Agnès (1)
  • Lanet Jean-Louis (1)
  • Lauradoux Cédric (1)
  • Le Gall Pascale (1)
  • Le Reste Jean-Yves (1)
  • Legay Axel (1)
  • Leporati Alberto (1)
  • Leurent Gaëtan (1)
  • Levy-Dit-Vehel Françoise (1)
  • Libert Benoît (1)
  • Lévy Nicole (1)
  • Maag Stéphane (1)
  • Mahboubi Assia (1)
  • Mairal Julien (1)
  • Mammeri Zoubir (1)
  • Mazza Damiano (1)
  • Meddahi Ahmed (1)
  • Mentré David (1)
  • Merchant Carolyn (1)
  • Merz Stephan (1)
  • Meunier Frédéric (1)
  • Miller Dale (1)
  • Minea Alexandru (1)
  • Minier Marine (1)
  • Miquel Alexandre (1)
  • Mokhtari Mounir (1)
  • Molva Refik (1)
  • Montier Tristan (1)
  • Mora-Camino Félix (1)
  • Morin Christine (1)
  • Muller Jean-Michel (1)
  • Muntean Traian (1)
  • Nguyen Benjamin (1)
  • Nguyen Phong-Quang (1)
  • Northedge Alastair (1)
  • Padois Vincent (1)
  • Pautet Laurent (1)
  • Perrin NIcolas (1)
  • Phan Duong Hieu (1)
  • Pichardie David (1)
  • Pinchinat Sophie (1)
  • Preux Philippe (1)
  • Prigent Nicolas (1)
  • Pu Geguang (1)
  • Pucheral Philippe (1)
  • Quéma Vivien (1)
  • Rezk Tamara (1)
  • Rilling Louis (1)
  • Robert Thomas (1)
  • Robu Bogdan (1)
  • Ruatta Olivier (1)
  • Schabanel Nicolas (1)
  • Schreck Pascal (1)
  • Sebban Marc (1)
  • Selker Ted (1)
  • Sighireanu Mihaela (1)
  • Steel Graham (1)
  • Stern Jacques (1)
  • Talpin Jean-Pierre (1)
  • Tanzilli Sébastien (1)
  • Tillich Jean-Pierre (1)
  • Tonga Marcel (1)
  • Traoré Mamadou Kaba (1)
  • Tria Assia (1)
  • Van Marwijk Harm (1)
  • Van Royen Paul (1)
  • Videau Marion (1)
  • Viennot Laurent (1)
  • Weidenbach Christoph (1)
  • Zahzah El-Hadi (1)
  • Zhang Zonghua (1)
  • Zémor Gilles (1)
  • Önen Suna Melek (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (138)
  • Mathématiques (13)
  • Sciences de l'ingénieur (13)
  • Informatique, information, généralités (7)
  • Droit (2)
  • Philosophie, psychologie (1)
  • Science politique (1)
  • Economie (1)
  • Ethnologie (1)
  • Langue anglaise. Anglo-saxon (1)
  • Physique (1)
  • Sciences de la vie, biologie, biochimie (1)
  • Médecine et santé (1)
  • Gestion et organisation de l'entreprise (1)
  • Arts. Beaux-arts et arts décoratifs (1)
  • Histoire ancienne et préhistoire (1)
  • Histoire moderne et contemporaine de l'Europe (1)

Domaines :

Fullscreen

170 thèses pour Provable security

Provable Security of Real-World Protocols

par Angèle Bossuat sous la direction de Pierre-alain Fouque - Rennes 1

Informatique

En préparation depuis le 26-10-2017
 thèse en cours de préparation
Soutenance prévue le 26-10-2020

...Contemporary Cryptology,chapter “Provable Security for Public-Key Schemes”, pages 133–189. Advanced Courses CRM...

Accéder en ligne
Informatique

Soutenue le 21-06-2019
thèse soutenue

...or more easily provable andanalysable security, coming at the cost of a reduced usability...

Accéder en ligne
Informatique

En préparation depuis le 01-09-2018
 thèse en cours de préparation

...thelanguage and tools used throughout this thesis.2.1 provable securityIt is often the case that we cannot...

Accéder en ligne
Informatique

Soutenue le 12-01-2012
thèse soutenue

..., Benjamin Grégoire, Yassine Lakhnech, and Santiago ZanellaBéguelin. Beyond provable security verifiable ind...

Accéder en ligne

...vulnerabil-ities encompass practical attacks as well as provable security shortcomings. First, we showthat HB...

Accéder en ligne
Cryptographie (informatique)

En préparation depuis le 01-10-2009
 thèse en cours de préparation

Résultats 1 à 10