-
Portail de l'Informatique théorique
https://fr.wikipedia.org/wiki/Portail:Informatique_théorique Langages et automates
langages-automates-
Langages formels grammaires et automates
https://fr.wikipedia.org/wiki/Modèle:Palette_Langages_formels_grammaires_et_automates -
Automata theory
https://en.wikipedia.org/wiki/Automata_theory -
Langage formel
https://fr.wikipedia.org/wiki/Langage_formel -
Langages et expressions rationnelles - Option info MP, Petrus
http://www.mp2-chato.fr/wp-content/uploads/2015/07/LangagesTransp.pdf -
Automates finis - Option info MP, Petrus
http://www.mp2-chato.fr/wp-content/uploads/2015/07/AutomatesTransp-total-2.pdf
-
Calculabilité & Algorithmique théorique
calcul-algo-
Sujets de la Théorie de la complexité
https://fr.wikipedia.org/wiki/Modèle:Palette_Théorie_de_la_complexité -
Computability and complexity topics
https://en.wikipedia.org/wiki/List_of_computability_and_complexity_topics -
Theory of computation
https://en.wikipedia.org/wiki/Theory_of_computation -
Algorithmic paradigm
https://en.wikipedia.org/wiki/Algorithmic_paradigm -
Calculabilité et Thèse de Church, Pour la Science, Janvier 95, p102
-
Thèse de Church
https://fr.wikipedia.org/wiki/Thèse_de_Church -
Dynamic programming
https://en.wikipedia.org/wiki/Dynamic_programming -
Problème SAT
https://fr.wikipedia.org/wiki/Problème_SAT
-
Information & Cryptologie
info-crypto-
Portail de la cryptologie
https://fr.wikipedia.org/wiki/Portail:Cryptologie -
Théorie des nombres & Arithmétique
Codage
codage-
Code de Hamming
https://fr.wikipedia.org/wiki/Code_de_Hamming
-
Cryptographie à clé publique
cryptographie-à-clé-publique-
Public-key cryptography topics
https://en.wikipedia.org/wiki/Template:Cryptography_public-key Courbes elliptiques
courbes-elliptiques-
Courbes Elliptiques : Application à la Cryptographie, Polytech, 32p
http://alexis.bonnecaze.perso.luminy.univ-amu.fr/CryptoAvancee.pdf -
Courbes elliptiques et applications en cryptographie, Hägler Michael, 46p
http://math.univ-bpclermont.fr/~rebolledo/page-fichiers/projetMichael.pdf
-
-
Cryptographie à clé privée
cryptographie-à-clé-privée-
Chiffrement homomorphe
https://fr.wikipedia.org/wiki/Chiffrement_homomorphe -
By-design Backdooring of Encryption System (BEA-1) : vulnérabilité mathématique volontaire, pourtant passe tous les tests de sécurité - Bannier & Filiol
https://www.blackhat.com/docs/eu-17/materials/eu-17-Filiol-By-Design-Backdooring-Of-Encryption-System-Can-We-Trust-Foreign-Encryption-Algorithms.pdf
-
Virologie
virologie-
L’évolution des idées en virologie informatique
http://www.aconit.org/histoire/colloques/colloque_2004/filiol.pdf -
Mémoire de virologie - Matthieu Kaczmarek, 2007
https://hal.inria.fr/inria-00176232/file/kaczmarek.memoire_virologie_informatique.pdf -
Eric Filiol - Les virus informatiques : Théorie, pratique et applications
-
Eric Filiol - Techniques virales avancées
-
-
Structures, Algorithmes, Systèmes
structs-algos-sys-
Théorie des graphes
théorie-des-graphes -
Rope (data structure)
https://en.wikipedia.org/wiki/Rope_%28data_structure%29 -
-
Architectural Synthesis : graph theory, combinatorial optimization, scheduling/resource-sharing algorithm, integer linear programming, … - Lecture slides, G. Constantinides
http://cas.ee.ic.ac.uk/people/gac1/Synthesis/
-
-
Subset sum problem
https://en.wikipedia.org/wiki/Subset_sum_problem -
16 Sorts Algorithms Visualized (disparity loop)