Décider de l'autorité par ce que vous détenez, non par qui vous êtes : l'architecture de sécurité basée sur les capacités
Catégories
74 pages
Informatique
Anatomie complète du problème P vs NP : Le summum de la théorie de la complexité et un abîme non résolu
Le théorème des quatre couleurs et la révolution des mathématiques assistées par ordinateur : Un problème centenaire et la philosophie de la preuve par machine
Théorie des types et isomorphisme de Curry-Howard : la profonde harmonie entre propositions = types et preuves = programmes
Principes fondamentaux de l'informatique quantique : Superposition quantique et algorithme de Shor
La mathématique de la cryptographie à clé publique : Du RSA à la cryptographie sur les courbes elliptiques (ECC)
Blockchain et Algorithmes de Consensus
Histoire de l'évolution du Garbage Collection (GC)
La philosophie de MapReduce : Le traitement distribué de Google qui a changé le monde
Le coût du changement de contexte et du traitement asynchrone (async/await)
Résistance aux collisions des fonctions de hachage et SHA-3 (Keccak)
Techniques d'optimisation de compilateur : Qu'est-ce que la SSA (Assignation Unique Statique) ?
B-Tree et B+ Tree : Pourquoi les index de bases de données sont-ils si rapides ?
Le théorème CAP et le théorème PACELC : Le dilemme des bases de données distribuées
Moteurs d'expressions régulières et automates finis
Programmation Dynamique (DP) et Équation de Bellman
Structures de données probabilistes : Bloom Filter et HyperLogLog
Histoire de la cryptographie : De la bataille d'Enigma à la naissance de la cryptographie à clé publique (RSA)
Le Théorème des Nombres Premiers : La Belle Loi Cachée dans la Distribution Apparemment Aléatoire des Nombres Premiers
Les débuts de la théorie des graphes : Les ponts de Königsberg et les mathématiques du tracé continu
