pragmaticsofsat.org

HTML metadata

Technology

Server

nginx

Fonts

• Font Awesome

Third-party hosts loaded (1)

• use.fontawesome.com×1

DNS records

MX

• 10 mx.online.net
• 20 mx-cache.online.net

Email authentication weak

SPF

not published

DMARC

not published

DKIM

no key found at common selectors

Certificate (current)

Full certificate history on crt.sh ↗

HTTP security headers

Header hygiene 35/100 Checked over plain HTTP: http://pragmaticsofsat.org/

findings

• checked over plain HTTP
• missing Content Security Policy
• missing frame protection
• missing content type protection
• missing Referrer Policy
• missing Permissions Policy

Links to (11)

• uni-freiburg.de×1
• satisfiability.org×1
• inesc-id.pt×1
• helsinki.fi×1
• github.io×1
• easychair.org×1
• dominikschreiber.de×1
• cvut.cz×1
• cril.fr×1
• ceur-ws.org×1
• bartbogaerts.eu×1

Linked from (1)

• satlive.org×1