icon searchbar icon arrow
FR
navigation icon menu icon
navigation icon Accueil navigation icon Catalogue
navigation icon
icon language Langues navigation icon menu
icon close
icon close

Catalogue

icon menu

Catalogue

icon arrow Univers

Univers

Voir tout
icon arrow Ebooks

Ebooks

Voir tout
icon arrow Livres audio

Livres audio

Voir tout
icon arrow Presse

Presse

Voir tout
icon arrow Podcasts

Podcasts

Voir tout
icon arrow BD

BD

Voir tout
icon arrow Documents

Documents

Voir tout
icon arrow Romance

Romance

Voir tout
icon arrow Romans et nouvelles

Romans et nouvelles

Voir tout
icon arrow Scolaire

Scolaire

Voir tout
icon arrow Polar

Polar

Voir tout
icon arrow Jeunesse

Jeunesse

Voir tout
icon arrow Développement Personnel

Développement Personnel

Voir tout
icon arrow Ressources professionnelles

Ressources professionnelles

Voir tout
icon arrow SF

SF

Voir tout
icon arrow Partitions

Partitions

Voir tout
icon arrow Jeunesse

Jeunesse

Voir tout
icon arrow Littérature

Littérature

Voir tout
icon arrow Ressources professionnelles

Ressources professionnelles

Voir tout
icon arrow Santé et bien-être

Santé et bien-être

Voir tout
icon arrow Savoirs

Savoirs

Voir tout
icon arrow Education

Education

Voir tout
icon arrow Loisirs et hobbies

Loisirs et hobbies

Voir tout
icon arrow Art, musique et cinéma

Art, musique et cinéma

Voir tout
icon arrow Actualité et débat de société

Actualité et débat de société

Voir tout
icon arrow Jeunesse

Jeunesse

Voir tout
icon arrow Littérature

Littérature

Voir tout
icon arrow Ressources professionnelles

Ressources professionnelles

Voir tout
icon arrow Santé et bien-être

Santé et bien-être

Voir tout
icon arrow Savoirs

Savoirs

Voir tout
icon arrow Education

Education

Voir tout
icon arrow Loisirs et hobbies

Loisirs et hobbies

Voir tout
icon arrow Art, musique et cinéma

Art, musique et cinéma

Voir tout
icon arrow Actualité et débat de société

Actualité et débat de société

Voir tout
icon arrow Actualités

Actualités

Voir tout
icon arrow Lifestyle

Lifestyle

Voir tout
icon arrow Presse jeunesse

Presse jeunesse

Voir tout
icon arrow Presse professionnelle

Presse professionnelle

Voir tout
icon arrow Pratique

Pratique

Voir tout
icon arrow Presse sportive

Presse sportive

Voir tout
icon arrow Presse internationale

Presse internationale

Voir tout
icon arrow Culture & Médias

Culture & Médias

Voir tout
icon arrow Fictions

Fictions

Voir tout
icon arrow Développement personnel

Développement personnel

Voir tout
icon arrow Témoignages

Témoignages

Voir tout
icon arrow Culture

Culture

Voir tout
icon arrow Enfants

Enfants

Voir tout
icon arrow Enjeux de société

Enjeux de société

Voir tout
icon arrow BD Humoristique

BD Humoristique

Voir tout
icon arrow Jeunesse

Jeunesse

Voir tout
icon arrow Action et Aventures

Action et Aventures

Voir tout
icon arrow Science-fiction et Fantasy

Science-fiction et Fantasy

Voir tout
icon arrow Mangas

Mangas

Voir tout
icon arrow Société

Société

Voir tout
icon arrow Comics

Comics

Voir tout
icon arrow BD adulte

BD adulte

Voir tout
icon arrow Jeunesse

Jeunesse

Voir tout
icon arrow Littérature

Littérature

Voir tout
icon arrow Ressources professionnelles

Ressources professionnelles

Voir tout
icon arrow Santé et bien-être

Santé et bien-être

Voir tout
icon arrow Savoirs

Savoirs

Voir tout
icon arrow Education

Education

Voir tout
icon arrow Loisirs et hobbies

Loisirs et hobbies

Voir tout
icon arrow Art, musique et cinéma

Art, musique et cinéma

Voir tout
icon arrow Actualité et débat de société

Actualité et débat de société

Voir tout
icon close
icon close
icon language

Langues

icon close

#blanchet

icon subthematics
icon setting

Affiner

icon arrow

0

Effacer tout
Langues
chevron
Durée
chevron
Premium
chevron
62 collections 62 auteurs 62 ouvrages trié(s) par
Plus lus
chevron
setting FILTRES

0
Enchantements - 1.L Initié
Category

Ebooks

Enchantements - 1.L'Initié

Anthony Blanchet

Enchantements - 1.L Initié Alternate Text
Category

Ebooks

SF et fantasy

Enchantements - 1.L'Initié

Anthony Blanchet

Book

128 pages

Flag

Français

icon play Lire
icon play Infos
Introduction Symbolic Model Computational Model Implementations Conclusion
Category

Documents

Introduction Symbolic Model Computational Model Implementations Conclusion

Bruno Blanchet

Introduction Symbolic Model Computational Model Implementations Conclusion Alternate Text
Category

Documents

Education

Introduction Symbolic Model Computational Model Implementations Conclusion

Bruno Blanchet

Book

53 pages

Flag

icon play Lire
icon play Infos
Université d Avignon et des Pays de Vaucluse
Category

Documents

Université d'Avignon et des Pays de Vaucluse

Albert Jacobs

Université d Avignon et des Pays de Vaucluse Alternate Text
Category

Documents

Rapports de stage

Université d'Avignon et des Pays de Vaucluse

Albert Jacobs

Book

269 pages

Flag

Français

icon play Lire
icon play Infos
Université des Antilles et de la Guyane UAG Convention de stage Initiation aux Fonctions Hospitalières
Category

Documents

Université des Antilles et de la Guyane UAG Convention de stage Initiation aux Fonctions Hospitalières

Pascal Saffache

Université des Antilles et de la Guyane UAG Convention de stage Initiation aux Fonctions Hospitalières Alternate Text
Category

Documents

Cours

Université des Antilles et de la Guyane UAG Convention de stage Initiation aux Fonctions Hospitalières

Pascal Saffache

Book

7 pages

Flag

Français

icon play Lire
icon play Infos
Université des Antilles et de la Guyane UAG Convention de stage Initiation aux Fonctions Hospitalières
Category

Documents

Université des Antilles et de la Guyane UAG Convention de stage Initiation aux Fonctions Hospitalières

Pascal Saffache

Université des Antilles et de la Guyane UAG Convention de stage Initiation aux Fonctions Hospitalières Alternate Text
Category

Documents

Cours

Université des Antilles et de la Guyane UAG Convention de stage Initiation aux Fonctions Hospitalières

Pascal Saffache

Book

7 pages

Flag

Français

icon play Lire
icon play Infos
Introduction Calculus Proof technique Example proof Conclusion
Category

Documents

Introduction Calculus Proof technique Example proof Conclusion

Bruno Blanchet

Introduction Calculus Proof technique Example proof Conclusion Alternate Text
Category

Documents

Education

Introduction Calculus Proof technique Example proof Conclusion

Bruno Blanchet

Book

39 pages

Flag

Français

icon play Lire
icon play Infos
Bruno Blanchet Equipe Interpretation abstraite
Category

Documents

Bruno Blanchet Equipe Interpretation abstraite

Bruno Blanchet

Bruno Blanchet Equipe Interpretation abstraite Alternate Text
Category

Documents

Cours

Bruno Blanchet Equipe Interpretation abstraite

Bruno Blanchet

Book

31 pages

Flag

Français

icon play Lire
icon play Infos
Université François Rabelais Institut Universitaire de Technologie de TOURS Département Génie Électrique et Informatique Industrielle
Category

Documents

Université François Rabelais Institut Universitaire de Technologie de TOURS Département Génie Électrique et Informatique Industrielle

Marc Poupi

Université François Rabelais Institut Universitaire de Technologie de TOURS Département Génie Électrique et Informatique Industrielle Alternate Text
Category

Documents

Etudes supérieures

Université François Rabelais Institut Universitaire de Technologie de TOURS Département Génie Électrique et Informatique Industrielle

Marc Poupi

Book

32 pages

Flag

Français

icon play Lire
icon play Infos
note intentions rois com
Category

Documents

Note intentions rois com

Dominique Ziegler

note intentions rois com Alternate Text
Category

Documents

Travaux de classe

Note intentions rois com

Dominique Ziegler

Book

6 pages

Flag

Français

icon play Lire
icon play Infos
Merise : 60 affaires classées - Index of
Category

Documents

Merise : 60 affaires classées - Index of

Merise : 60 affaires classées - Index of Alternate Text
Category

Documents

Travaux de classe

Merise : 60 affaires classées - Index of

Book

291 pages

Flag

Français

icon play Lire
icon play Infos
Automated Formal Analysis of a Protocol for Secure File Sharing on Untrusted Storage
Category

Documents

Automated Formal Analysis of a Protocol for Secure File Sharing on Untrusted Storage

Bruno Blanchet

Automated Formal Analysis of a Protocol for Secure File Sharing on Untrusted Storage Alternate Text
Category

Documents

Rapports de stage

Automated Formal Analysis of a Protocol for Secure File Sharing on Untrusted Storage

Bruno Blanchet

Book

15 pages

Flag

English

icon play Lire
icon play Infos
Automated Verification of Selected Equivalences for Security Protocols
Category

Documents

Automated Verification of Selected Equivalences for Security Protocols

Bruno Blanchet

Automated Verification of Selected Equivalences for Security Protocols Alternate Text
Category

Documents

Rapports de stage

Automated Verification of Selected Equivalences for Security Protocols

Bruno Blanchet

Book

72 pages

Flag

English

icon play Lire
icon play Infos
Computationally Sound Mechanized Proofs of Correspondence Assertions
Category

Documents

Computationally Sound Mechanized Proofs of Correspondence Assertions

Bruno Blanchet

Computationally Sound Mechanized Proofs of Correspondence Assertions Alternate Text
Category

Documents

Rapports de stage

Computationally Sound Mechanized Proofs of Correspondence Assertions

Bruno Blanchet

Book

15 pages

Flag

English

icon play Lire
icon play Infos
Automatically Verified Mechanized Proof of One Encryption Key Exchange
Category

Documents

Automatically Verified Mechanized Proof of One Encryption Key Exchange

Bruno Blanchet

Automatically Verified Mechanized Proof of One Encryption Key Exchange Alternate Text
Category

Documents

Rapports de stage

Automatically Verified Mechanized Proof of One Encryption Key Exchange

Bruno Blanchet

Book

15 pages

Flag

English

icon play Lire
icon play Infos
Mechanizing Game Based Proofs of Security Protocols
Category

Documents

Mechanizing Game Based Proofs of Security Protocols

Bruno Blanchet

Mechanizing Game Based Proofs of Security Protocols Alternate Text
Category

Documents

Rapports de stage

Mechanizing Game Based Proofs of Security Protocols

Bruno Blanchet

Book

25 pages

Flag

English

icon play Lire
icon play Infos
A Calculus for Secure Mobility
Category

Documents

A Calculus for Secure Mobility

Bruno Blanchet

A Calculus for Secure Mobility Alternate Text
Category

Documents

Cours

A Calculus for Secure Mobility

Bruno Blanchet

Book

26 pages

Flag

English

icon play Lire
icon play Infos
Introduction Indirect approach Direct approach Lessons learned
Category

Documents

Introduction Indirect approach Direct approach Lessons learned

Bruno Blanchet

Introduction Indirect approach Direct approach Lessons learned Alternate Text
Category

Documents

Education

Introduction Indirect approach Direct approach Lessons learned

Bruno Blanchet

Book

11 pages

Flag

English

icon play Lire
icon play Infos
Introduction ProVerif CryptoVerif Conclusion
Category

Documents

Introduction ProVerif CryptoVerif Conclusion

Bruno Blanchet

Introduction ProVerif CryptoVerif Conclusion Alternate Text
Category

Documents

Education

Introduction ProVerif CryptoVerif Conclusion

Bruno Blanchet

Book

42 pages

Flag

English

icon play Lire
icon play Infos
Introduction Assumptions On Shoup s lemma The proof Conclusion
Category

Documents

Introduction Assumptions On Shoup's lemma The proof Conclusion

Bruno Blanchet

Introduction Assumptions On Shoup s lemma The proof Conclusion Alternate Text
Category

Documents

Education

Introduction Assumptions On Shoup's lemma The proof Conclusion

Bruno Blanchet

Book

43 pages

Flag

English

icon play Lire
icon play Infos
Introduction OEKE Assumptions The proof Conclusion
Category

Documents

Introduction OEKE Assumptions The proof Conclusion

Bruno Blanchet

Introduction OEKE Assumptions The proof Conclusion Alternate Text
Category

Documents

Education

Introduction OEKE Assumptions The proof Conclusion

Bruno Blanchet

Book

37 pages

Flag

English

icon play Lire
icon play Infos
Reconstruction of Attacks against Cryptographic Protocols
Category

Documents

Reconstruction of Attacks against Cryptographic Protocols

Xavier Allamigeon

Reconstruction of Attacks against Cryptographic Protocols Alternate Text
Category

Documents

Etudes supérieures

Reconstruction of Attacks against Cryptographic Protocols

Xavier Allamigeon

Book

15 pages

Flag

English

icon play Lire
icon play Infos
Basic DDH Basic CDH Need for extension Extended CDH Extended DDH Conclusion
Category

Documents

Basic DDH Basic CDH Need for extension Extended CDH Extended DDH Conclusion

Bruno Blanchet And David Pointcheval

Basic DDH Basic CDH Need for extension Extended CDH Extended DDH Conclusion Alternate Text
Category

Documents

Education

Basic DDH Basic CDH Need for extension Extended CDH Extended DDH Conclusion

Bruno Blanchet And David Pointcheval

Book

22 pages

Flag

English

icon play Lire
icon play Infos
Automated Security Proofs with Sequences of Games
Category

Documents

Automated Security Proofs with Sequences of Games

Bruno Blanchet And David Pointcheval Cnrs, Département D'Informatique, Ecole Normale Supérieure

Automated Security Proofs with Sequences of Games Alternate Text
Category

Documents

Cours

Automated Security Proofs with Sequences of Games

Bruno Blanchet And David Pointcheval Cnrs, Département D'Informatique, Ecole Normale Supérieure

Book

24 pages

Flag

English

icon play Lire
icon play Infos
Introduction Calculus Proof technique Example proof Conclusion
Category

Documents

Introduction Calculus Proof technique Example proof Conclusion

Bruno Blanchet

Introduction Calculus Proof technique Example proof Conclusion Alternate Text
Category

Documents

Education

Introduction Calculus Proof technique Example proof Conclusion

Bruno Blanchet

Book

42 pages

Flag

English

icon play Lire
icon play Infos
Introduction Formal Model Computational Model Conclusion
Category

Documents

Introduction Formal Model Computational Model Conclusion

Bruno Blanchet

Introduction Formal Model Computational Model Conclusion Alternate Text
Category

Documents

Education

Introduction Formal Model Computational Model Conclusion

Bruno Blanchet

Book

145 pages

Flag

English

icon play Lire
icon play Infos
Introduction Shoup s lemma Secrecy OEKE Conclusion
Category

Documents

Introduction Shoup's lemma Secrecy OEKE Conclusion

Bruno Blanchet

Introduction Shoup s lemma Secrecy OEKE Conclusion Alternate Text
Category

Documents

Education

Introduction Shoup's lemma Secrecy OEKE Conclusion

Bruno Blanchet

Book

23 pages

Flag

English

icon play Lire
icon play Infos
Introduction to cryptographic protocols
Category

Documents

Introduction to cryptographic protocols

Bruno Blanchet

Introduction to cryptographic protocols Alternate Text
Category

Documents

Education

Introduction to cryptographic protocols

Bruno Blanchet

Book

14 pages

Flag

English

icon play Lire
icon play Infos
Motivation The CryptoVerif input language Language annotations Code generation Conclusion
Category

Documents

Motivation The CryptoVerif input language Language annotations Code generation Conclusion

David Cade

Motivation The CryptoVerif input language Language annotations Code generation Conclusion Alternate Text
Category

Documents

Education

Motivation The CryptoVerif input language Language annotations Code generation Conclusion

David Cade

Book

20 pages

Flag

English

icon play Lire
icon play Infos
Introduction Using CryptoVerif Proof technique Enc then MAC example FDH example Conclusion
Category

Documents

Introduction Using CryptoVerif Proof technique Enc then MAC example FDH example Conclusion

Bruno Blanchet

Introduction Using CryptoVerif Proof technique Enc then MAC example FDH example Conclusion Alternate Text
Category

Documents

Cours

Introduction Using CryptoVerif Proof technique Enc then MAC example FDH example Conclusion

Bruno Blanchet

Book

78 pages

Flag

English

icon play Lire
icon play Infos
Introduction Calculus Proof technique Example proof Conclusion
Category

Documents

Introduction Calculus Proof technique Example proof Conclusion

Bruno Blanchet

Introduction Calculus Proof technique Example proof Conclusion Alternate Text
Category

Documents

Education

Introduction Calculus Proof technique Example proof Conclusion

Bruno Blanchet

Book

39 pages

Flag

Français

icon play Lire
icon play Infos
Alternate Text
Category

Book

Book

icon play
icon play Infos