indexo.dev

isa-afp.org

.org crawl

First seen 2026-04-16 · Last seen 2026-05-11 · ok HTTP/1.1 200 2219 ms crawled 2026-05-11

DE · 131.159.46.158 · AS209335 Technical University of Munich

Reputation 95/100 weak security headers

sector tech type blog

HTML metadata

Title
Archive of Formal Proofs
Description
A collection of proof libraries, examples, and larger scientific developments, mechanically checked in the theorem prover Isabelle.
Language
en
Generator
Hugo 0.152.0
Feeds

Technology

Server
Caddy
CMS
Hugo

Registration

Registrar
united-domains GmbH
Created
2015-07-20
Expires
2026-07-20 60 days left
Updated
2026-04-04
Name servers
  • ns.udag.org
  • ns.udag.de
  • ns.udag.net

DNS records live

NS
  • ns.udag.de
  • ns.udag.net
  • ns.udag.org

Email authentication no MX

SPF
not published
DMARC
not published
DKIM
no key found at common selectors

Certificate (current)

E7
from 2026-05-01 to 2026-07-30
Expires in 70 days

Full certificate history on crt.sh ↗

HTTP security headers

Header hygiene 30/100 Checked live page: https://isa-afp.org/

findings
  • missing HSTS
  • missing Content Security Policy
  • missing frame protection
  • missing content type protection
  • missing Referrer Policy
  • missing Permissions Policy

Links to (2)

Linked from (1)