| Hostnames |
ec2-18-218-52-201.us-east-2.compute.amazonaws.com 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 |
1835730213 | 2024-06-10T03:13:50.24763422 / tcp
-143986412 | 2024-06-14T12:08:27.58154180 / tcp
-785021251 | 2024-06-14T12:08:31.572022443 / tcp
HTTP/1.1 200 OK Server: nginx/1.25.1 Date: Fri, 14 Jun 2024 12:08:31 GMT Content-Type: text/html; charset=utf-8 Content-Length: 241068 Connection: keep-alive x-nextjs-cache: STALE X-Powered-By: Next.js ETag: "6zghxkjnss55l2" Cache-Control: s-maxage=30, stale-while-revalidate Vary: Accept-Encoding
Certificate:
Data:
Version: 3 (0x2)
Serial Number:
04:bf:77:db:da:4d:04:80:f8:14:20:91:98:ce:f5:15:9b:22
Signature Algorithm: sha256WithRSAEncryption
Issuer: C=US, O=Let's Encrypt, CN=R3
Validity
Not Before: Jun 1 05:03:45 2024 GMT
Not After : Aug 30 05:03:44 2024 GMT
Subject: CN=runtimeverification.com
Subject Public Key Info:
Public Key Algorithm: id-ecPublicKey
Public-Key: (256 bit)
pub:
04:72:11:30:d8:3d:db:c8:74:95:61:07:dd:31:08:
5d:23:f3:ce:04:c3:e5:ad:00:03:1a:1d:2f:27:f5:
b7:5b:6c:6a:d9:04:bb:f1:ab:a0:e4:48:ec:fc:d3:
19:b7:8b:39:6b:27:7c:d9:a2:b3:c1:32:d4:4f:86:
c5:64:aa:68:e9
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:
D9:E1:72:BB:9B:C6:83:7C:B1:22:18:B8:71:C0:2D:DC:A2:79:36:4E
X509v3 Authority Key Identifier:
14:2E:B3:17:B7:58:56:CB:AE:50:09:40:E6:1F:AF:9D:8B:14:C2:C6
Authority Information Access:
OCSP - URI:http://r3.o.lencr.org
CA Issuers - URI:http://r3.i.lencr.org/
X509v3 Subject Alternative Name:
DNS:runtimeverification.com
X509v3 Certificate Policies:
Policy: 2.23.140.1.2.1
CT Precertificate SCTs:
Signed Certificate Timestamp:
Version : v1 (0x0)
Log ID : 48:B0:E3:6B:DA:A6:47:34:0F:E5:6A:02:FA:9D:30:EB:
1C:52:01:CB:56:DD:2C:81:D9:BB:BF:AB:39:D8:84:73
Timestamp : Jun 1 06:03:45.636 2024 GMT
Extensions: none
Signature : ecdsa-with-SHA256
30:45:02:20:2F:9E:AC:BB:4A:7A:B3:84:00:0E:03:C2:
BA:3E:38:A7:D9:39:8A:7D:F7:1B:F8:40:B2:31:9F:53:
A3:A9:8D:FD:02:21:00:E8:B4:E7:5D:08:13:2B:46:28:
6E:93:A6:87:E2:D6:A7:B2:AD:E6:6A:6E:56:62:6D:05:
9F:D7:5E:AB:31:57:F0
Signed Certificate Timestamp:
Version : v1 (0x0)
Log ID : 76:FF:88:3F:0A:B6:FB:95:51:C2:61:CC:F5:87:BA:34:
B4:A4:CD:BB:29:DC:68:42:0A:9F:E6:67:4C:5A:3A:74
Timestamp : Jun 1 06:03:45.675 2024 GMT
Extensions: none
Signature : ecdsa-with-SHA256
30:45:02:20:44:A6:36:79:49:1C:3B:81:59:50:C3:F4:
EF:66:FE:9F:9D:A2:5E:33:FB:4A:FB:71:7A:6F:0E:02:
10:58:D2:E6:02:21:00:80:DF:C6:A8:79:39:FA:FE:91:
76:D3:C4:62:DA:A8:6A:9C:C0:C0:F2:53:17:6A:93:5B:
D6:3D:6F:AF:A6:FF:90
Signature Algorithm: sha256WithRSAEncryption
Signature Value:
96:25:67:dc:31:38:4b:25:3e:4f:36:ea:53:ac:87:6f:2e:13:
4a:62:9f:ff:ec:34:fc:31:c1:c6:63:b3:22:98:05:74:70:ef:
f9:7a:54:91:f7:2a:15:ae:b0:34:b9:0b:96:08:10:f4:0f:bb:
e1:bf:84:43:7c:3a:46:c4:6e:16:aa:ae:68:23:10:24:2d:15:
f5:93:cb:bd:db:fb:ec:af:36:08:50:ec:51:cf:6e:5a:6b:06:
96:9f:ec:87:f9:01:50:e9:18:c4:1a:fd:00:a8:28:52:02:79:
fb:df:2d:9f:ee:86:43:54:53:5d:3a:24:b4:ed:de:f0:68:1a:
14:06:6f:4f:f9:f5:3d:9f:32:8b:a6:97:45:8e:67:cc:86:8d:
1d:fa:06:2e:ec:60:87:ed:92:4e:2d:9f:41:40:06:30:b2:cd:
32:72:f7:20:75:a4:68:83:49:7b:cb:32:49:22:d1:b0:30:da:
1a:e8:37:12:d3:b8:a6:94:ff:13:b6:d6:90:79:70:74:a6:f3:
13:3c:5c:4a:7e:a6:fd:fa:d4:9f:0c:48:74:10:57:86:86:aa:
25:03:1e:e4:6b:46:f3:70:86:6d:de:29:7d:db:91:ed:61:39:
a5:66:21:a4:b9:6c:16:33:32:bd:1b:b4:e7:68:1c:14:c2:60:
91:b6:fe:86