schurr.io
HTML metadata
Technology
- Server
- nginx
Social
DNS records live
- NS
-
- ns-12-a.gandi.net
- ns-175-c.gandi.net
- ns-91-b.gandi.net
- MX
-
- 10 spool.mail.gandi.net
- 50 fb.mail.gandi.net
- TXT
-
v=spf1 include:_mailcust.gandi.net ?all
Certificate (current)
E8
Expires in 16 days
HTTP security headers
- present
-
- strict-transport-security
- x-frame-options
- x-content-type-options
- findings
-
- missing Content Security Policy
- missing Referrer Policy
- missing Permissions Policy
Header values
- x-frame-options
deny- x-content-type-options
nosniff- strict-transport-security
max-age=31536000; includeSubdomains; preload
Links to (28)
- arxiv.org×1
- atva-conference.org×1
- bartbogaerts.eu×1
- ceur-ws.org×1
- dagstuhl.de×1
- dblp.org×1
- easychair.org×1
- easyconferences.eu×1
- etaps.org×1
- github.com×1
- github.io×1
- google.com×1
- hanielbarbosa.com×1
- i-cav.org×1
- inria.fr×1
- lmu.de×1
- loria.fr×1
- marmamorphism.com×1
- nanis.fr×1
- sciencedirect.com×1
- sigplan.org×1
- smt-lib.org×1
- springer.com×1
- tum.de×1
- uni-luebeck.de×1
- univ-lorraine.fr×1
- verit-solver.org×1
- zenodo.org×1