Derrière l’idée de cacher le contenu d’un programme informatique se dissimule une notion cryptographique puissante : l’obfuscation. Longtemps cantonnée au "bricolage" informatique ou à l’ingénierie logicielle, cette technique a été étudiée rigoureusement il y a 20 ans, mais des preuves de sécurité tangibles ont été trouvées depuis seulement un an. Les informaticiens étudient désormais ce qui pourrait advenir en pratique. L’engouement est fort, car le potentiel est énorme : on peut reconstruire presque toute la cryptographie actuelle à l’aide de ce modèle et imaginer de nouvelles applications.