AdaCore · Domain Security

Adacore Domain Security

Domain security

Domain security posture for AdaCore, probed live across 1 host(s) and 1 registrable domain(s). 1 host(s) serve HTTPS (up to TLSv1.3); 1 advertise HSTS. Email/DNS controls: DNSSEC present, SPF present, DMARC present (p=quarantine).

CompanyAdaSPARKRustCompilersStatic AnalysisFormal VerificationDeveloper ToolsSafety-Critical

Transport & Host Security

www.adacore.com
HTTPS: yes · TLS: TLSv1.3 · HSTS: yes · cert expires: Sep 2 05:49:57 2026 GMT

Domain (DNS/Email) Security

adacore.com
DNSSEC: yes · SPF: yes · DMARC: yes (p=quarantine) · CAA: none

Source

Domain Security

adacore-domain-security.yml Raw ↑ 
generated: '2026-07-17'
method: probed
source: live DNS/TLS/HTTP probes of apis.yml + OpenAPI hosts
hosts:
- host: www.adacore.com
  https: true
  tls_version: TLSv1.3
  cert_expires: Sep  2 05:49:57 2026 GMT
  hsts: true
  hsts_max_age: 31536000
domains:
- domain: adacore.com
  dnssec: true
  caa: []
  spf: true
  dmarc: true
  dmarc_policy: quarantine