Envoyer un message à
Laurent Bloch
Laurent Bloch
Garanties de sûreté : le minimum exigible
Dans le numéro de décembre 2011 des Communications of the ACM Xavier Leroy introduit un article de Jean Yang et Chris Hawblitzel, Safe to the Last (…)
Article mis en ligne le 31 décembre 2011
Article mis en ligne le 30 décembre 2011
Un livre d’informatique peut être passionnant, instructif, élégant : il est rare de pouvoir dire, comme de l’ouvrage de Pascal Manoury aux Éditions Paracamplus, qu’il est, en plus, délicieux. (…)
Article mis en ligne le 31 octobre 2011
La nouvelle édition, actualisée et très largement augmentée, de mon livre de programmation, Initiation à la programmation avec Scheme, aux Éditions Technip, est disponible en librairie. Voici, en (…)
Article mis en ligne le 30 octobre 2011
Note de lecture d’un rapport de Martin C. Libicki, de la Rand Corporation, Cyberdeterrence and Cyberwar.
Sommaire-
Cyberguerre stratégique, cyberguerre opérationnelle
Un des problèmes posé (…)
Article mis en ligne le 30 octobre 2011