setoid.com
HTML metadata
Technology
- CDN
- Fastly
- Server
- GitHub.com
Third-party hosts loaded (4)
- avatars3.githubusercontent.com×2
- avatars0.githubusercontent.com×1
- bootswatch.com×1
- maxcdn.bootstrapcdn.com×1
Social
Registration
- Registrar
- Ascio Technologies, Inc. Danmark - Filial af Ascio technologies, Inc. USA
- Created
- 2010-02-23
- Expires
- 2027-02-23 279 days left
- Updated
- 2026-01-15
- Name servers
-
- ns1.loopia.se
- ns2.loopia.se
DNS records live
- NS
-
- ns1.loopia.se
- ns2.loopia.se
Email authentication no MX
- SPF
- not published
- DMARC
- not published
- DKIM
- no key found at common selectors
Certificate (current)
R13
Expires in 72 days
HTTP security headers
- findings
-
- missing HSTS
- missing Content Security Policy
- missing frame protection
- missing content type protection
- missing Referrer Policy
- missing Permissions Policy
Links to (21)
- sigplan.org×4
- archives-ouvertes.fr×3
- arxiv.org×3
- dagstuhl.de×3
- dblp.org×3
- distributedcomponents.net×3
- doi.org×3
- github.com×3
- github.io×3
- gitlab.io×3
- google.com×3
- hol-theorem-prover.org×3
- linkedin.com×3
- ocaml.org×3
- orcid.org×3
- proofengineering.org×3
- rocq-prover.org×3
- acm.org×3
- sml-family.org×3
- strategiska.se×1
- kth.se×1