verit-solver.org
HTML metadata
Technology
- Fonts
-
- Google Fonts
Third-party hosts loaded (1)
- fonts.googleapis.com×3
Social
Registration
- Registrar
- easyDNS Technologies Inc.
- Created
- 2009-05-14
- Expires
- 2027-05-14 359 days left
- Updated
- 2026-02-20
- Name servers
-
- motorhead.easydns.org
- nirvana.easydns.net
- rush.easydns.com
DNS records live
- NS
-
- motorhead.easydns.org
- nirvana.easydns.net
- rush.easydns.com
- MX
-
- 0 mx-caprica.easydns.com
Email authentication weak
- SPF
- not published
- DMARC
- not published
- DKIM
- no key found at common selectors
Certificate (current)
R13
Expires in 80 days
HTTP security headers
- present
-
- permissions-policy
- findings
-
- missing HSTS
- missing Content Security Policy
- missing frame protection
- missing content type protection
- missing Referrer Policy
Header values
- permissions-policy
interest-cohort=()
Links to (37)
- ceur-ws.org×1
- clearsy.com×1
- debian.org×1
- dhbw-stuttgart.de×1
- doi.org×1
- eprover.org×1
- event-b.org×1
- fbk.eu×1
- github.com×1
- github.io×1
- gmplib.org×1
- gnu.org×1
- inria.fr×1
- jku.at×1
- linkedin.com×1
- loria.fr×1
- lri.fr×1
- mathworks.fr×1
- minisat.se×1
- minkeyrink.com×1
- ocamlpro.com×1
- opensource.org×1
- reduce-algebra.com×1
- rwth-aachen.de×1
- schurr.io×1
- smtcomp.org×1
- smtlib.org×1
- sri.com×1
- tum.de×1
- twitter.com×1
- uliege.be×1
- uni-freiburg.de×1
- uni-rostock.de×1
- univ-lorraine.fr×1
- usi.ch×1
- vu.nl×1
- york.ac.uk×1