Martin Abadi – Computer security

March 18th, 2003 Butler Lampson, one of the pioneers in computer security, once wrote: « What people want from computer security is to be as secure with computers as they are in the real world ». Increasingly, however, the « real world » is full of interconnected computers in critical roles. Accordingly, computer security…

Continue reading

Philippe Flajolet – Entre mathématiques et informatique : l’analyse des algorithmes

13 janvier 2003 Jusqu’au dix-neuvième siècle, les mathématiques sont de nature largement algorithmique, mais les problèmes de complexité, s’ils sont présents, restent souvent subliminaux. L’avènement de l’informatique pose, dès les années 1950, de nombreuses questions dès lors que l’on cherche à comprendre, prédire, et quantifier les performances des algorithmes. Donald…

Continue reading