indexo.dev

satassociation.org

.org crawl

First seen 2026-05-21 · Last seen 2026-05-27 · ok HTTP/1.1 200 820 ms crawled 2026-05-27

DE · 217.160.0.112 · AS8560 IONOS SE

Reputation 89/100 weak security headers dmarc monitor-only

Classifying

HTML metadata

Title
The SAT Association
Description
The aim of the Association is to promote science and research, in particular with regard to the Satisfiability Problem and related areas.
Language
en-us
Generator
Hugo 0.145.0
Feeds

Open Graph

url
https://satassociation.org/
title
The SAT Association
locale
en_us
site name
The SAT Association
description
2025 SAT conference, August 10–15 2025, Glasgow, Scotland Purpose The aim of the Association is to promote science and research, in particular with regard to the Satisfiability Problem and related areas such as Formal Verification and other applications of SAT, Proof Complexity, Serial and Parallel SAT Solvers, Satisfiability Modulo Theories, Quantified Boolean Formulas, SAT Algorithms, MAX-SAT, MUS Extraction, and SAT Encodings. This is realized by overseeing the organization and location of the series of annual conferences known as the International Conference on the Theory and Applications of Satisfiability Testing, promoting research in the design and analysis of algorithms for Satisfiability that should significantly impact one or more practical applications, publishing the online version of the Journal on Satisfiability, Boolean Modeling, and Computation (known as JSAT), and representing the SAT community in other scientific forums.

Technology

Server
Apache
CMS
Hugo 0.145.0

Registration

Registrar
IONOS SE
Created
2014-03-12
Expires
2027-03-12 282 days left
Updated
2026-04-26
Name servers
  • ns1026.ui-dns.org
  • ns1073.ui-dns.biz
  • ns1085.ui-dns.com
  • ns1106.ui-dns.de

DNS records live

NS
  • ns1026.ui-dns.org
  • ns1073.ui-dns.biz
  • ns1085.ui-dns.com
  • ns1106.ui-dns.de
MX
  • 10 mx00.ionos.de
  • 10 mx01.ionos.de

Email authentication partial

SPF
v=spf1 include:_spf-eu.ionos.com ~all
softfail (~all)
DMARC
v=DMARC1; p=none;
policy: none (monitoring only)
DKIM
no key found at common selectors

Certificate (current)

Sectigo Public Server Authentication CA DV R36
from 2026-04-16 to 2026-10-28
Expires in 147 days

Full certificate history on crt.sh ↗

HTTP security headers

Header hygiene 30/100 Checked live page: https://satassociation.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 (3)