formalmethods.dk
Last scanned: 2026-08-27 19:40:34  ·  745ms total
⬇ Zone File 📜 Record History ⚡ Scan Now
🖥️ Nameservers2 records   39ms
🌍 A Records1 records   34ms
IPTTLPTRASNISP / OrgCIDRCountryCity
130.225.68.7 3600s www4.compute.dtu.dk AS1835 IDDQD-AS 130.225.0.0/16 🇩🇰 Denmark
📧 MX Records4 records   39ms
🔷 AAAA Records (IPv6)
✗ No AAAA records — IPv6 not configured
🔐 HTTPS Records
✗ No HTTPS RR — no SVCB/HTTPS service binding
📝 TXT Records
📝
No TXT records found
✉️ SPF
✗ No SPF record — mail spoofing not restricted
📨 DMARC
✗ No DMARC record — mail spoofing not restricted
📬 MTA-STS
✗ No MTA-STS policy — SMTP TLS not enforced
📈 TLSRPT
✗ No TLSRPT record — no SMTP TLS failure reporting
📜 CAA Records
✗ No CAA records — any CA may issue certificates
🔗 TLSA / DANE4 records   100ms
Service / OwnerTypeCert association
SMTP _25._tcp.mx1.pub.mailpod11-cph3.one.com DANE-EE · SPKI · SHA-256 068A81EDC98C58D5D494EDF2924D5F50…
SMTP _25._tcp.mx2.pub.mailpod11-cph3.one.com DANE-EE · SPKI · SHA-256 068A81EDC98C58D5D494EDF2924D5F50…
SMTP _25._tcp.mx3.pub.mailpod11-cph3.one.com DANE-EE · SPKI · SHA-256 068A81EDC98C58D5D494EDF2924D5F50…
SMTP _25._tcp.mx4.pub.mailpod11-cph3.one.com DANE-EE · SPKI · SHA-256 068A81EDC98C58D5D494EDF2924D5F50…
🔐 DNSSEC91ms
CheckResult
Validation Status🔓 Insecure
AD Flag (resolver validates)✗ Not set
DS Record✗ Not found
DNSKEY Record✗ Not found
Flagsunsigned answer
🏷️ SOA0ms
FieldValue
Serial2026032401
Primary NS (MNAME)ns01.one.com
Responsible (RNAME)hostmaster@one.com
Refresh14400s
Retry3600s
Expire1209600s
Minimum (neg-cache TTL)600s
📋 Registration
✗ No registration data — collected automatically when SOA serial changes
📋 WHOIS
⏱️ Lookup Timing
NS
39ms
A
34ms
MX
39ms
AAAA
48ms
TXT
181ms
CAA
40ms
HTTPS
45ms
TLSA
100ms
SOA
0ms
MTA-STS
63ms
DNSSEC
91ms
SRV
65ms
Total
745ms
🕐 Scan History
Scanned AtDurationRecordsDNSSEC
2026-08-27 19:40:34 745ms 2 NS 1 A 4 MX 🔓 Insecure View
2026-08-26 13:15:20 9589ms 2 NS 1 A 4 MX 🔓 Insecure View
2026-06-17 10:08:16 9453ms 2 NS 1 A 4 MX 🔓 Insecure View
dhd.dk [/] search Domains, Hosts & DNS — .dk zone