| Hostnames |
ec2-52-14-164-252.us-east-2.compute.amazonaws.com komet.runtimeverification.com |
| Domains | amazonaws.com runtimeverification.com |
| Cloud Provider | Amazon |
| Cloud Region | us-east-2 |
| Cloud Service | EC2 |
| Country | United States |
| City | Columbus |
| Organization | Amazon Technologies Inc. |
| ISP | Amazon.com, Inc. |
| ASN | AS16509 |
HTTP/1.1 200 OK Server: nginx/1.27.1 Date: Sat, 29 Mar 2025 14:23:50 GMT Content-Type: text/html; charset=utf-8 Content-Length: 26544 Connection: keep-alive X-Powered-By: Next.js Cache-Control: private, no-cache, no-store, max-age=0, must-revalidate ETag: "fnc442cck9kh3" Vary: Accept-Encoding X-Frame-Options: SAMEORIGIN
Certificate:
Data:
Version: 3 (0x2)
Serial Number:
06:27:d6:6c:96:24:e6:a4:18:03:32:9f:35:7e:a6:db:c8:9b
Signature Algorithm: ecdsa-with-SHA384
Issuer: C=US, O=Let's Encrypt, CN=E5
Validity
Not Before: Mar 16 05:05:22 2025 GMT
Not After : Jun 14 05:05:21 2025 GMT
Subject: CN=komet.runtimeverification.com
Subject Public Key Info:
Public Key Algorithm: id-ecPublicKey
Public-Key: (256 bit)
pub:
04:a3:77:87:0e:d7:86:68:08:fd:32:07:fd:25:40:
2b:d9:10:38:ac:ab:1b:cd:ec:c8:1e:6f:3d:17:a8:
94:d1:4b:67:05:38:6c:a9:84:d7:1a:e3:f3:55:6d:
6f:b1:42:bf:c4:f8:b0:33:fc:65:3b:d3:33:cd:8f:
71:38:3b:ac:c4
ASN1 OID: prime256v1
NIST CURVE: P-256
X509v3 extensions:
X509v3 Key Usage: critical
Digital Signature
X509v3 Extended Key Usage:
TLS Web Server Authentication, TLS Web Client Authentication
X509v3 Basic Constraints: critical
CA:FALSE
X509v3 Subject Key Identifier:
16:79:5E:0F:F1:FE:B2:65:07:93:54:2A:BA:C3:5F:31:DC:79:89:41
X509v3 Authority Key Identifier:
9F:2B:5F:CF:3C:21:4F:9D:04:B7:ED:2B:2C:C4:C6:70:8B:D2:D7:0D
Authority Information Access:
OCSP - URI:http://e5.o.lencr.org
CA Issuers - URI:http://e5.i.lencr.org/
X509v3 Subject Alternative Name:
DNS:komet.runtimeverification.com
X509v3 Certificate Policies:
Policy: 2.23.140.1.2.1
X509v3 CRL Distribution Points:
Full Name:
URI:http://e5.c.lencr.org/28.crl
CT Precertificate SCTs:
Signed Certificate Timestamp:
Version : v1 (0x0)
Log ID : CC:FB:0F:6A:85:71:09:65:FE:95:9B:53:CE:E9:B2:7C:
22:E9:85:5C:0D:97:8D:B6:A9:7E:54:C0:FE:4C:0D:B0
Timestamp : Mar 16 06:03:52.484 2025 GMT
Extensions: none
Signature : ecdsa-with-SHA256
30:46:02:21:00:FE:48:DB:05:E0:A8:DD:26:C8:29:1A:
F6:EA:66:95:89:8E:87:55:F2:88:E0:2C:92:F5:38:74:
F8:DD:8D:98:A2:02:21:00:9B:39:7C:7A:BB:2F:9B:A3:
AF:BC:0E:23:AF:03:98:45:78:E5:4F:06:71:15:3E:3B:
E0:5D:41:D2:00:1A:B9:84
Signed Certificate Timestamp:
Version : v1 (0x0)
Log ID : DE:85:81:D7:50:24:7C:6B:CD:CB:AF:56:37:C5:E7:81:
C6:4C:E4:6E:D6:17:63:9F:8F:34:A7:26:C9:E2:BD:37
Timestamp : Mar 16 06:03:52.498 2025 GMT
Extensions: none
Signature : ecdsa-with-SHA256
30:45:02:20:31:86:CD:9B:A7:6E:11:7F:FE:12:E2:44:
CE:42:92:52:3E:3C:F4:B7:7D:2C:D8:55:3A:DB:EA:C9:
D6:37:09:28:02:21:00:B8:70:F8:4A:D0:E9:1A:77:F8:
E4:01:70:41:4F:93:B5:82:22:33:78:E5:F2:40:B9:3F:
73:5C:8A:17:6F:04:4B
Signature Algorithm: ecdsa-with-SHA384
Signature Value:
30:65:02:31:00:ad:74:66:8a:c4:7b:56:03:c4:38:ac:a1:2d:
ab:6a:c3:84:ac:f2:12:18:69:16:18:d9:0f:6d:31:f4:85:45:
89:9d:58:44:be:94:96:fb:93:e5:8b:fb:29:58:d1:4d:80:02:
30:6e:ff:95:ec:41:b8:ca:09:e3:86:de:e5:7c:a3:17:b5:b1:
82:dd:73:87:95:b0:cb:82:61:82:93:7d:27:55:3d:27:49:92:
d7:b9:f1:f4:bd:47:56:6b:17:05:fc:13:d1