indexo.dev

syntcomp.org

.org crawl

First seen 2026-04-29 · Last seen 2026-05-07 · ok HTTP/1.1 200 2503 ms crawled 2026-05-07

AT · 129.27.142.90 · AS1113 Technische Universitaet Graz

Reputation 100/100

Classifying

HTML metadata

Title
The Reactive Synthesis Competition | www.syntcomp.org
Language
en-US
Generator
WordPress 6.8.3
Canonical
https://www.syntcomp.org/
Feeds

Technology

Server
Apache
CMS
WordPress

Third-party hosts loaded (1)

  • gmpg.org×1

Social

Registration

Registrar
Ledl.net GmbH & Co KG
Created
2013-05-08
Updated
2025-06-22
Name servers
  • ns1.domaintechnik.at
  • ns2.domaintechnik.at
  • ns3.domaintechnik.at
  • ns4.domaintechnik.at

DNS records live

NS
  • ns1.domaintechnik.at
  • ns2.domaintechnik.at
  • ns3.domaintechnik.at
  • ns4.domaintechnik.at

Email authentication no MX

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

Certificate (current)

R13
from 2026-04-26 to 2026-07-25
Expires in 67 days

Full certificate history on crt.sh ↗

HTTP security headers

Header hygiene 50/100 Checked live page: https://www.syntcomp.org/

present
  • strict-transport-security
findings
  • missing Content Security Policy
  • missing frame protection
  • missing content type protection
  • missing Referrer Policy
  • missing Permissions Policy
Header values
strict-transport-security
max-age=31536000

Links to (6)

Linked from (1)