lip6.fr - Secure (SSL) - est EN LIGNE

Résultats de la vérification pour : lip6.fr

lip6.fr est EN LIGNE

Vous ne pouvez pas vous connecter ? Vérifiez cela

Info supplémentaires pour https://lip6.fr

Informations Techniques

Code de Statut HTTP	200
Version HTTP	HTTP/1.1
HTTPS	✔ Disponible
Adresse IP	132.227.104.41
Logiciel Serveur	Apache
Compression	gzip

Code de Statut HTTP 200
Version HTTP HTTP/1.1
HTTPS ✔ Disponible
Adresse IP 132.227.104.41
Logiciel Serveur Apache
Compression gzip

Chaîne de Redirection

#	URL	Code de Statut HTTP	Statut
1	https://lip6.fr:443	302	HTTP/1.1 302 Found
2	https://www.lip6.fr/	200	HTTP/1.1 200 OK

#1 URL https://lip6.fr:443
Code de Statut HTTP 302
Statut HTTP/1.1 302 Found

#2 URL https://www.lip6.fr/
Code de Statut HTTP 200
Statut HTTP/1.1 200 OK

Performance

Résolution DNS	4.1 ms
Connexion TCP	5.6 ms
Négociation TLS	4.6 ms
Temps Jusqu'au Premier Octet (TTFB)	140.9 ms
Téléchargement du Contenu	2 ms
Temps de Réponse Total	142.9 ms

Résolution DNS 4.1 ms
Connexion TCP 5.6 ms
Négociation TLS 4.6 ms
Temps Jusqu'au Premier Octet (TTFB) 140.9 ms
Téléchargement du Contenu 2 ms
Temps de Réponse Total 142.9 ms

Sécurité

HTTPS	✔ Activé
HSTS	✔ max-age=63072000
CSP	✔ Configuré
X-Frame-Options	✔ DENY
X-Content-Type-Options	✔ nosniff
HTTP/2	⚠ HTTP/1.1

HTTPS ✔ Activé
HSTS ✔ max-age=63072000
CSP ✔ Configuré
X-Frame-Options ✔ DENY
X-Content-Type-Options ✔ nosniff
HTTP/2 ⚠ HTTP/1.1

Vérification SEO Rapide

Titre	Home
Meta Description	LIP6: UMR7606 - Laboratoire de recherche en informatique de Sorbonne Université
Image Open Graph	https://www.lip6.fr/images/logo/LIP6.png

Titre Home
Meta Description LIP6: UMR7606 - Laboratoire de recherche en informatique de Sorbonne Université
Image Open Graph https://www.lip6.fr/images/logo/LIP6.png

Technologies Détectées

Technologie	Bootstrap jQuery Google Analytics Cloudflare Apache PHP

Technologie Bootstrap jQuery Google Analytics Cloudflare Apache PHP

En-têtes HTTP

Date	Thu, 13 Aug 2026 06:57:03 GMT
Server	Apache
X-Content-Type-Options	nosniff
Expires	Thu, 19 Nov 1981 08:52:00 GMT
Cache-Control	no-store, no-cache, must-revalidate
Pragma	no-cache
Vary	Accept-Encoding
Content-Encoding	gzip
X-Frame-Options	DENY
X-XSS-Protection	1; mode=block
Strict-Transport-Security	max-age=63072000
Content-Security-Policy	default-src 'self' https://www.lip6.fr; style-src 'unsafe-inline' 'self' https://www.lip6.fr https://maxcdn.bootstrapcdn.com https://fonts.googleapis.com https://perso.lip6.fr ; font-src 'self' https://lip6.fr https://maxcdn.bootstrapcdn.com https://fonts.googleapis.com https://fonts.gstatic.com https://perso.lip6.fr ; object-src 'self' blob:; base-uri https://perso.lip6.fr ; img-src 'self' data: https://nuage.lip6.fr https://perso.lip6.fr ; frame-src https://www.dailymotion.com/embed/video/ https://www.youtube.com/embed/ https://sorbonne-universite.cloud.panopto.eu ; script-src 'unsafe-inline' 'self' 'nonce-R4nd0m-mail' 'nonce-R4nd0m-pub' 'nonce-R4nd0m-twitter' 'nonce-R4nd0m-2x' 'nonce-R4nd0m-showhidediv' https://www.lip6.fr https://perso.lip6.fr https://cdnjs.cloudflare.com ;
Content-Length	35274
Content-Type	text/html; charset=UTF-8

Balises Meta

Content-type	text/html;charset=utf-8
Language	en
Description	LIP6: UMR7606 - Laboratoire de recherche en informatique de Sorbonne Université
Viewport	width=device-width, initial-scale=1, viewport-fit=cover
Keywords	sécurité, cryptographie, cryptanalyse system on chip, multiprocessors, manycores, SIMD, GPU, embedded floating point format, embedded operating system, test, verification, compilation, code optimization, SDF Random Sampling, Combinatorial Structures, Analysis of Algorithms, Models and Applications, Design and implementation of Programming Languages, Static analysis, typechecking, Abstract Interpretation, Concurrency, Parallel Programming, Language and Computation big data, data streams, distributed data, data filtering and recommendation, semantic web, social media, JSON, RDF, Apache Spark AMS circuits, FPGA, ASIC, Full Custom, RF Interface, Circuit Reuse, Intellectual Property (AMS IP), Electronic Design Automation (EDA), Analog to Digital Converters (DAC and ADC, SOC Clocks graphs, link streams, graph models, algorithmics, social networks, infrastructure networks Decision-making under uncertainty and risk, multicriteria decision-making, group decision-making, preference modeling, optimization, graphs and algorithms, heuristic search, Bayesian nets, GAI nets Distributed systems, Distributed Algorithms, Fault Tolerance, Replication, Failure detection, OS Virtualization Computational intelligence, Fuzzy Logic, Machine Learning, Knowledge and model of reasoning, Explainable Artificial Intelligence (XAI) Technology Enhanced learning, Artificial intelligence in education, Learning analytics, E-Learning, cognitive diagnosis, learner modeling, adaptive feedback, serious gaming, authoring tools, metadata Model engineering, Modeling, Petri nets, Model checking, Program generation, meta-modeling Computer arithmetic, Rounding errors, Numerical validation, Numerical quality, Heterogeneous and multimodal data, Distributed numerical computing, Linear algebra algorithms in mixed precision, Reliable results, Symbolic/numerical algorithms Computer Algebra, Polynomial System Solving, Gröbner Bases, Complexity, Real roots, Parametric systems, Cryptology, Algebraic Cryptanalysis, Algebraic Computational Geometry, Applications, Symbolic/Numeric Interaction, Software, High performance Linear Algebra Quantum Information, quantum cryptography and cryptology, quantum networks, delegated quantum computing, quantum verification, quantum optics, silicon photonics for quantum technologies, foundations of quantum mechanics operations research, scheduling, combinatorial optimization, black-box optimization, exact and approximation algorithm, complexity Multi-Agent Systems : coordination, interaction, learning, languages and multi-agent platforms embedded systems, heterogeneous systems, performances, energy consumption, signal integrity, wireless sensor networks, communicating objects, aeronautics, health

Date Thu, 13 Aug 2026 06:57:03 GMT
Server Apache
X-Content-Type-Options nosniff
Expires Thu, 19 Nov 1981 08:52:00 GMT
Cache-Control no-store, no-cache, must-revalidate
Pragma no-cache
Vary Accept-Encoding
Content-Encoding gzip
X-Frame-Options DENY
X-XSS-Protection 1; mode=block
Strict-Transport-Security max-age=63072000
Content-Security-Policy default-src 'self' https://www.lip6.fr; style-src 'unsafe-inline' 'self' https://www.lip6.fr https://maxcdn.bootstrapcdn.com https://fonts.googleapis.com https://perso.lip6.fr ; font-src 'self' https://lip6.fr https://maxcdn.bootstrapcdn.com https://fonts.googleapis.com https://fonts.gstatic.com https://perso.lip6.fr ; object-src 'self' blob:; base-uri https://perso.lip6.fr ; img-src 'self' data: https://nuage.lip6.fr https://perso.lip6.fr ; frame-src https://www.dailymotion.com/embed/video/ https://www.youtube.com/embed/ https://sorbonne-universite.cloud.panopto.eu ; script-src 'unsafe-inline' 'self' 'nonce-R4nd0m-mail' 'nonce-R4nd0m-pub' 'nonce-R4nd0m-twitter' 'nonce-R4nd0m-2x' 'nonce-R4nd0m-showhidediv' https://www.lip6.fr https://perso.lip6.fr https://cdnjs.cloudflare.com ;
Content-Length 35274
Content-Type text/html; charset=UTF-8

Content-type text/html;charset=utf-8
Language en
Description LIP6: UMR7606 - Laboratoire de recherche en informatique de Sorbonne Université
Viewport width=device-width, initial-scale=1, viewport-fit=cover
Og:image

Twitter:dnt on
Twitter:widgets:csp on
Keywords sécurité, cryptographie, cryptanalyse system on chip, multiprocessors, manycores, SIMD, GPU, embedded floating point format, embedded operating system, test, verification, compilation, code optimization, SDF Random Sampling, Combinatorial Structures, Analysis of Algorithms, Models and Applications, Design and implementation of Programming Languages, Static analysis, typechecking, Abstract Interpretation, Concurrency, Parallel Programming, Language and Computation big data, data streams, distributed data, data filtering and recommendation, semantic web, social media, JSON, RDF, Apache Spark AMS circuits, FPGA, ASIC, Full Custom, RF Interface, Circuit Reuse, Intellectual Property (AMS IP), Electronic Design Automation (EDA), Analog to Digital Converters (DAC and ADC, SOC Clocks graphs, link streams, graph models, algorithmics, social networks, infrastructure networks Decision-making under uncertainty and risk, multicriteria decision-making, group decision-making, preference modeling, optimization, graphs and algorithms, heuristic search, Bayesian nets, GAI nets Distributed systems, Distributed Algorithms, Fault Tolerance, Replication, Failure detection, OS Virtualization Computational intelligence, Fuzzy Logic, Machine Learning, Knowledge and model of reasoning, Explainable Artificial Intelligence (XAI) Technology Enhanced learning, Artificial intelligence in education, Learning analytics, E-Learning, cognitive diagnosis, learner modeling, adaptive feedback, serious gaming, authoring tools, metadata Model engineering, Modeling, Petri nets, Model checking, Program generation, meta-modeling Computer arithmetic, Rounding errors, Numerical validation, Numerical quality, Heterogeneous and multimodal data, Distributed numerical computing, Linear algebra algorithms in mixed precision, Reliable results, Symbolic/numerical algorithms Computer Algebra, Polynomial System Solving, Gröbner Bases, Complexity, Real roots, Parametric systems, Cryptology, Algebraic Cryptanalysis, Algebraic Computational Geometry, Applications, Symbolic/Numeric Interaction, Software, High performance Linear Algebra Quantum Information, quantum cryptography and cryptology, quantum networks, delegated quantum computing, quantum verification, quantum optics, silicon photonics for quantum technologies, foundations of quantum mechanics operations research, scheduling, combinatorial optimization, black-box optimization, exact and approximation algorithm, complexity Multi-Agent Systems : coordination, interaction, learning, languages and multi-agent platforms embedded systems, heterogeneous systems, performances, energy consumption, signal integrity, wireless sensor networks, communicating objects, aeronautics, health

Vous ne pouvez pas vous connecter ? Vérifiez cela

Offre limitée, ne tardez pas !:

Utiliser l’offre
3 mois gratuits + 70% de réduction !

Résultats de la vérification pour : lip6.fr

lip6.fr est EN LIGNE