This page has been moved to
http://www.lix.polytechnique.fr/Labo/Catuscia.Palamidessi/
You will be redirected automatically, if this doesn't happen click on the link above.