Tla Plus Foundation Domain Security

Domain security

Domain security posture for TLA Plus Foundation, probed live across 3 host(s) and 2 registrable domain(s). 2 host(s) serve HTTPS (up to TLSv1.3); 0 advertise HSTS. Email/DNS controls: DNSSEC absent, SPF present, DMARC absent.

Formal MethodsLinux FoundationSpecificationsVerificationDistributed SystemsConcurrency

Transport & Host Security

foundation.tlapl.us

HTTPS: yes · TLS: TLSv1.3 · HSTS: no · cert expires: Sep 17 12:47:48 2026 GMT

tla.msr-inria.inria.fr

HTTPS: no · HSTS: no

marketplace.visualstudio.com

HTTPS: yes · TLS: TLSv1.3 · HSTS: no · cert expires: Sep 6 13:38:08 2026 GMT

Domain (DNS/Email) Security

tlapl.us

DNSSEC: no · SPF: yes · DMARC: no · CAA: yes

inria.fr

DNSSEC: no · SPF: yes · DMARC: yes (p=none) · CAA: none

Source

Domain Security

generated: '2026-07-11'
method: probed
source: live DNS/TLS/HTTP probes of apis.yml + OpenAPI hosts
hosts:
- host: foundation.tlapl.us
  https: true
  tls_version: TLSv1.3
  cert_expires: Sep 17 12:47:48 2026 GMT
  hsts: false
- host: tla.msr-inria.inria.fr
  https: false
- host: marketplace.visualstudio.com
  https: true
  tls_version: TLSv1.3
  cert_expires: Sep  6 13:38:08 2026 GMT
  hsts: null
domains:
- domain: tlapl.us
  dnssec: false
  caa:
  - 0 issue "letsencrypt.org"
  spf: true
  dmarc: false
- domain: inria.fr
  dnssec: false
  caa: []
  spf: true
  dmarc: true
  dmarc_policy: none