STEPHANE.GLONDU.NET HOST
We diagnosed that a single page on stephane.glondu.net took one thousand three hundred and seventy-five milliseconds to download. Our parsers could not find a SSL certificate, so our web crawlers consider stephane.glondu.net not secure.
Internet Address
138.231.136.1
SERVER OPERATING SYSTEM
I detected that this domain is utilizing the Apache/2.4.10 (Debian) operating system.TITLE
Page personnelle de Stéphane GlonduDESCRIPTION
Ingénieur de recherche - Inria. En informatique Université Paris Diderot - Paris 7. De l ENS Cachan. Mél prenomnom.net, Prenom.Nomin,loria.fr. Formalisation de lextraction de Coq en Coq. Certifying confluence in a timed process calculus. Distributed ElGamal a la Pedersen - Application to Helios. Stéphane Glondu and Malika Izabachene. In Proceedings of the 12th annual ACM workshop on Privacy in the Electronic Society, WPES 2013, Berlin, Germany 2013 131-142. Stéphane Glondu, Sylvain Le Gall.CONTENT
This site has the following on the homepage, "En informatique Université Paris Diderot - Paris 7." Our analyzers noticed that the web page also said " Formalisation de lextraction de Coq en Coq." The Website also stated " Certifying confluence in a timed process calculus. Distributed ElGamal a la Pedersen - Application to Helios. Stéphane Glondu and Malika Izabachene. In Proceedings of the 12th annual ACM workshop on Privacy in the Electronic Society, WPES 2013, Berlin, Germany 2013 131-142. Stéphane Glondu, Sylvain Le Gall."