indexo.dev

reasoningaboutfinancialsystems.org

.org crawl

First seen 2026-04-13 · Last seen 2026-05-20 · ok HTTP/1.1 200 382 ms crawled 2026-05-06

FR · 45.67.139.137 · AS213535 YottaSrc

Reputation 87/100 weak security headers no dmarc policy

Classifying

HTML metadata

Title
Formal Reasoning about Financial Systems | Workshop at Gates 403, Stanford Computer Science
Language
en-ZA

Technology

Server
LiteSpeed
Fonts
  • Google Fonts

Third-party hosts loaded (1)

  • fonts.gstatic.com×1

Contact

Email

Registration

Registrar
HOSTINGER operations, UAB
Created
2026-02-23
Expires
2027-02-23 278 days left
Updated
2026-03-03
Name servers
  • ns1.cielcloud.top
  • ns2.cielcloud.top

DNS records live

NS
  • ns1.cielcloud.top
  • ns2.cielcloud.top
MX
  • 0 mail.reasoningaboutfinancialsystems.org

Email authentication partial

SPF
v=spf1 a mx ~all
softfail (~all)
DMARC
not published
DKIM
no key found at common selectors

Certificate (current)

R12
from 2026-03-03 to 2026-06-01
Expires in 11 days

Full certificate history on crt.sh ↗

HTTP security headers

Header hygiene 30/100 Checked live page: https://reasoningaboutfinancialsystems.org/

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

Linked from (1)