urlscan.io logo urlscan.io
SecurityTrails logo

cacm.acm.org Open in urlscan Pro
104.17.79.30  Public Scan

Go To Rescan Add Verdict Report
URL: https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
Submission: On October 11 via manual from US — Scanned from DE
 Behaviour Indicators
Similar DOM Content API
Verdicts

Summary

This website contacted 13 IPs in 3 countries across 12 domains to perform 61 HTTP transactions. The main IP is 104.17.79.30, located in and belongs to CLOUDFLARENET, US. The main domain is cacm.acm.org.
TLS certificate: Issued by DigiCert SHA2 High Assurance Server CA on March 3rd 2020. Valid for: 2 years.
This is the only time cacm.acm.org was scanned on urlscan.io!

urlscan.io Verdict: No classification

Domain & IP information

IP Address AS Autonomous System
40 104.17.79.30 13335 (CLOUDFLAR...)
1 142.250.185.138 15169 (GOOGLE)
4 184.30.24.121 16625 (AKAMAI-AS)
1 142.250.185.232 15169 (GOOGLE)
2 104.18.16.13 13335 (CLOUDFLAR...)
1 2.18.235.40 16625 (AKAMAI-AS)
3 151.101.64.143 54113 (FASTLY)
1 195.181.175.49 60068 (CDN77 ^_^)
3 142.250.185.174 15169 (GOOGLE)
2 216.58.212.142 15169 (GOOGLE)
1 66.102.1.157 15169 (GOOGLE)
1 169.48.219.66 36351 (SOFTLAYER)
61 13
40    104.17.79.30 (None, )

ASN13335 (CLOUDFLARENET, US)
cacm.acm.org
1    142.250.185.138 (United States)

ASN15169 (GOOGLE, US)
PTR: fra16s50-in-f10.1e100.net
ajax.googleapis.com
4    184.30.24.121 (Frankfurt am Main, Germany)

ASN16625 (AKAMAI-AS, US)
PTR: a184-30-24-121.deploy.static.akamaitechnologies.com
s7.addthis.com
v1.addthisedge.com
m.addthis.com
1    142.250.185.232 (United States)

ASN15169 (GOOGLE, US)
PTR: fra16s53-in-f8.1e100.net
www.googletagmanager.com
2    104.18.16.13 (None, )

ASN13335 (CLOUDFLARENET, US)
dl.acm.org
1    2.18.235.40 (Frankfurt am Main, Germany)

ASN16625 (AKAMAI-AS, US)
PTR: a2-18-235-40.deploy.static.akamaitechnologies.com
z.moatads.com
3    151.101.64.143 (United States)

ASN54113 (FASTLY, US)
s.swiftypecdn.com
1    195.181.175.49 (Frankfurt am Main, Germany)

ASN60068 (CDN77 ^_^, GB)
PTR: frankfurt-47.cdn77.com
img.icons8.com
3    142.250.185.174 (United States)

ASN15169 (GOOGLE, US)
PTR: fra16s51-in-f14.1e100.net
www.google-analytics.com
2    216.58.212.142 (Mountain View, United States)

ASN15169 (GOOGLE, US)
PTR: ams15s21-in-f142.1e100.net
apis.google.com
1    66.102.1.157 (United States)

ASN15169 (GOOGLE, US)
PTR: wb-in-f157.1e100.net
stats.g.doubleclick.net
1    169.48.219.66 (United States)

ASN36351 (SOFTLAYER, US)
PTR: 42.db.30a9.ip4.static.sl-reverse.com
cc.swiftype.com
Domain Requested by
40 cacm.acm.org cacm.acm.org
3 www.google-analytics.com www.googletagmanager.com
www.google-analytics.com
cacm.acm.org
3 s.swiftypecdn.com cacm.acm.org
s.swiftypecdn.com
2 apis.google.com cacm.acm.org
apis.google.com
2 dl.acm.org cacm.acm.org
2 s7.addthis.com cacm.acm.org
s7.addthis.com
1 cc.swiftype.com cacm.acm.org
1 stats.g.doubleclick.net www.google-analytics.com
1 m.addthis.com s7.addthis.com
1 v1.addthisedge.com s7.addthis.com
1 img.icons8.com cacm.acm.org
1 z.moatads.com s7.addthis.com
1 www.googletagmanager.com cacm.acm.org
1 ajax.googleapis.com cacm.acm.org
61 14
Subject Issuer Validity Valid
*.acm.org
DigiCert SHA2 High Assurance Server CA		 2020-03-03 -
2022-04-27		 2 years crt.sh
upload.video.google.com
GTS CA 1C3		 2021-09-13 -
2021-11-20		 2 months crt.sh
odc-addthis-prod-01.oracle.com
DigiCert SHA2 Secure Server CA		 2021-04-25 -
2022-04-27		 a year crt.sh
*.google-analytics.com
GTS CA 1C3		 2021-09-13 -
2021-11-20		 2 months crt.sh
moatads.com
DigiCert SHA2 Secure Server CA		 2021-01-21 -
2022-01-25		 a year crt.sh
s.swiftypecdn.com
GlobalSign Atlas R3 DV TLS CA 2020		 2021-03-22 -
2022-04-23		 a year crt.sh
*.icons8.com
Sectigo RSA Domain Validation Secure Server CA		 2020-05-13 -
2022-05-13		 2 years crt.sh
*.apis.google.com
GTS CA 1C3		 2021-09-13 -
2021-11-20		 2 months crt.sh
*.g.doubleclick.net
GTS CA 1C3		 2021-09-13 -
2021-11-20		 2 months crt.sh
*.google.com
GTS CA 1C3		 2021-09-13 -
2021-11-20		 2 months crt.sh
*.swiftype.com
DigiCert SHA2 Secure Server CA		 2020-06-25 -
2022-06-30		 2 years crt.sh

This page contains 3 frames:

Primary Page: https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
Frame ID: EF37088D3204EB1FE1E97AA6F4F94BAF
Requests: 59 HTTP requests in this frame

Frame: https://s7.addthis.com/static/sh.f48a1a04fe8dbf021b4cda1d.html
Frame ID: 8AA61B60CB50A8285DD0BD5F778F8B77
Requests: 1 HTTP requests in this frame

Frame: https://s7.addthis.com/static/sh.f48a1a04fe8dbf021b4cda1d.html
Frame ID: C5399EE805F1522F3D48BEA89EA6ED2F
Requests: 1 HTTP requests in this frame

Screenshot
Live screenshot
Full Image

Page Title

How Amazon Web Services Uses Formal Methods | April 2015 | Communications of the ACMAddThis

Detected technologies

Overall confidence: 100%
Detected patterns
  • addthis\.com/js/
Overall confidence: 100%
Detected patterns
  • google-analytics\.com/(?:ga|urchin|analytics)\.js
Overall confidence: 100%
Detected patterns
  • apis\.google\.com/js/[a-z]*\.js
Overall confidence: 100%
Detected patterns
  • googletagmanager\.com/gtag/js
Overall confidence: 100%
Detected patterns
  • moatads\.com
Overall confidence: 100%
Detected patterns
  • ([\d.]+)?/modernizr(?:\.([\d.]+))?.*\.js
Overall confidence: 100%
Detected patterns
  • /([\d.]+)/jquery(?:\.min)?\.js
  • jquery.*\.js(?:\?ver(?:sion)?=([\d.]+))?

Page Statistics

61
Requests

98 %
HTTPS

0 %
IPv6

12
Domains

14
Subdomains

13
IPs

3
Countries

637 kB
Transfer

1781 kB
Size

10
Cookies

Redirected requests

There were HTTP redirect chains for the following requests:

61 HTTP transactions

Resource
Path		 Size
x-fer		 Type
MIME-Type
Primary Request fulltext
cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/ 		65 KB
23 KB 		Document
General
Check archive.org
Download Go to
Full URL
https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
104.17.79.30 -, , ASN13335 (CLOUDFLARENET, US),
Reverse DNS
Software
cloudflare / Phusion Passenger
Resource Hash
d1c79343054972d40f8b0e0e05164d7c485d821b4c8adc0923444f6c9618746c

Request headers

:method
GET
:authority
cacm.acm.org
:scheme
https
:path
/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
pragma
no-cache
cache-control
no-cache
upgrade-insecure-requests
1
user-agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36
accept-language
de-DE,de;q=0.9
accept
text/html,application/xhtml+xml,application/xml;q=0.9,image/avif,image/webp,image/apng,*/*;q=0.8,application/signed-exchange;v=b3;q=0.9
sec-fetch-site
none
sec-fetch-mode
navigate
sec-fetch-user
?1
sec-fetch-dest
document
accept-encoding
gzip, deflate, br
Upgrade-Insecure-Requests
1
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36
Accept-Language
de-DE,de;q=0.9

Response headers

date
Mon, 11 Oct 2021 14:22:14 GMT
content-type
text/html; charset=utf-8
cf-ray
69c8bd3dca0e4e26-FRA
cache-control
private, max-age=0, must-revalidate
set-cookie
format=full; domain=acm.org; path=/ _cacm_acm_session=BAh7CEkiCmZsYXNoBjoGRUZJQzonQWN0aW9uQ29udHJvbGxlcjo6Rmxhc2g6%250AOkZsYXNoSGFzaHsABjoKQHVzZWR7ADoLb3JhY2xlVToUT3JhY2xlOjpTZXNz%250AaW9uWw4iFDIxNi4xMzEuMTE0LjIyM0YwMDBJdToJVGltZQ1uZR6Ac5nIWAk6%250ADW5hbm9fbnVtaQI1AToNbmFub19kZW5pBjoNc3VibWljcm8iBzCQOgtvZmZz%250AZXRp%252FsDHMDAwOhRjdXJyZW50X2FydGljbGVpA33RAg%253D%253D--be2d7c81e22524460fa29dce3488b8a1853e9b35; domain=acm.org; path=/
vary
Accept-Encoding
cf-cache-status
DYNAMIC
expect-ct
max-age=604800, report-uri="https://report-uri.cloudflare.com/cdn-cgi/beacon/expect-ct"
status
200 OK
x-powered-by
Phusion Passenger
x-runtime
2.34691
server
cloudflare
content-encoding
gzip
nLYIPopMPWKseIlIthEH-UJkbT0.js
cacm.acm.org/cdn-cgi/apps/head/ 		4 KB
2 KB 		Script
General
Check archive.org
Download Go to
Full URL
https://cacm.acm.org/cdn-cgi/apps/head/nLYIPopMPWKseIlIthEH-UJkbT0.js
Requested by
Host: cacm.acm.org
URL: https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
104.17.79.30 -, , ASN13335 (CLOUDFLARENET, US),
Reverse DNS
Software
cloudflare /
Resource Hash
f6c4d8bb73ed81364f290fd1b205acc1aee565b25389632004efb6417472df6d

Request headers

:path
/cdn-cgi/apps/head/nLYIPopMPWKseIlIthEH-UJkbT0.js
pragma
no-cache
cookie
format=full; _cacm_acm_session=BAh7CEkiCmZsYXNoBjoGRUZJQzonQWN0aW9uQ29udHJvbGxlcjo6Rmxhc2g6%250AOkZsYXNoSGFzaHsABjoKQHVzZWR7ADoLb3JhY2xlVToUT3JhY2xlOjpTZXNz%250AaW9uWw4iFDIxNi4xMzEuMTE0LjIyM0YwMDBJdToJVGltZQ1uZR6Ac5nIWAk6%250ADW5hbm9fbnVtaQI1AToNbmFub19kZW5pBjoNc3VibWljcm8iBzCQOgtvZmZz%250AZXRp%252FsDHMDAwOhRjdXJyZW50X2FydGljbGVpA33RAg%253D%253D--be2d7c81e22524460fa29dce3488b8a1853e9b35
accept-encoding
gzip, deflate, br
accept-language
de-DE,de;q=0.9
user-agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36
sec-fetch-mode
no-cors
accept
*/*
cache-control
no-cache
sec-fetch-dest
script
:authority
cacm.acm.org
referer
https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
:scheme
https
sec-fetch-site
same-origin
:method
GET
Accept-Language
de-DE,de;q=0.9
Referer
https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36

Response headers

date
Mon, 11 Oct 2021 14:22:15 GMT
content-encoding
gzip
cf-cache-status
HIT
age
8379576
cf-ray
69c8bd4fcc474e26-FRA
content-length
1341
x-amz-id-2
QaGEYaL2H9/rc6O1vqhplZAHSwP4TyOarcsxAPO5OU6x9sBiXjQuTxZ6Cy1xO5ZugM5kar8C/wg=
last-modified
Tue, 06 Jul 2021 14:41:05 GMT
server
cloudflare
etag
"ad9a08df8145b89acc5217bc00514e7a"
expect-ct
max-age=604800, report-uri="https://report-uri.cloudflare.com/cdn-cgi/beacon/expect-ct"
vary
Accept-Encoding
x-amz-request-id
YZR2TPZ9631FAZVX
cache-control
public, max-age=31536000
x-amz-version-id
nVlNLgDyEfZjbTQWQ2XpLxa.csI7Y2Ps
accept-ranges
bytes
content-type
application/javascript; charset=utf-8
expires
Tue, 11 Oct 2022 14:22:15 GMT
all.css
cacm.acm.org/stylesheets/ 		53 KB
11 KB 		Stylesheet
General
Check archive.org
Download Go to
Full URL
https://cacm.acm.org/stylesheets/all.css
Requested by
Host: cacm.acm.org
URL: https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
104.17.79.30 -, , ASN13335 (CLOUDFLARENET, US),
Reverse DNS
Software
cloudflare /
Resource Hash
e253448b2fb9bba2b2538a4222eca28330d48a0f8919a1956ea91840f1cd3d61

Request headers

:path
/stylesheets/all.css
pragma
no-cache
cookie
format=full; _cacm_acm_session=BAh7CEkiCmZsYXNoBjoGRUZJQzonQWN0aW9uQ29udHJvbGxlcjo6Rmxhc2g6%250AOkZsYXNoSGFzaHsABjoKQHVzZWR7ADoLb3JhY2xlVToUT3JhY2xlOjpTZXNz%250AaW9uWw4iFDIxNi4xMzEuMTE0LjIyM0YwMDBJdToJVGltZQ1uZR6Ac5nIWAk6%250ADW5hbm9fbnVtaQI1AToNbmFub19kZW5pBjoNc3VibWljcm8iBzCQOgtvZmZz%250AZXRp%252FsDHMDAwOhRjdXJyZW50X2FydGljbGVpA33RAg%253D%253D--be2d7c81e22524460fa29dce3488b8a1853e9b35
accept-encoding
gzip, deflate, br
accept-language
de-DE,de;q=0.9
user-agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36
sec-fetch-mode
no-cors
accept
text/css,*/*;q=0.1
cache-control
no-cache
sec-fetch-dest
style
:authority
cacm.acm.org
referer
https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
:scheme
https
sec-fetch-site
same-origin
:method
GET
Accept-Language
de-DE,de;q=0.9
Referer
https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36

Response headers

date
Mon, 11 Oct 2021 14:22:15 GMT
content-encoding
gzip
cf-cache-status
HIT
last-modified
Thu, 13 Jun 2019 18:48:56 GMT
server
cloudflare
age
1841879
etag
W/"5d029a98-f340"
expect-ct
max-age=604800, report-uri="https://report-uri.cloudflare.com/cdn-cgi/beacon/expect-ct"
vary
Accept-Encoding
content-type
text/css
expires
Wed, 10 Nov 2021 14:22:15 GMT
cache-control
public, max-age=2592000
cf-polished
origSize=62272
cf-ray
69c8bd4fcc484e26-FRA
cf-bgj
minify
jquery.min.js
ajax.googleapis.com/ajax/libs/jquery/1.8.3/ 		91 KB
34 KB 		Script
General
Check archive.org
Download Go to
Full URL
https://ajax.googleapis.com/ajax/libs/jquery/1.8.3/jquery.min.js
Requested by
Host: cacm.acm.org
URL: https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
142.250.185.138 , United States, ASN15169 (GOOGLE, US),
Reverse DNS
fra16s50-in-f10.1e100.net
Software
sffe /
Resource Hash
61c6caebd23921741fb5ffe6603f16634fca9840c2bf56ac8201e9264d6daccf
Security Headers
Name Value
X-Content-Type-Options nosniff
X-Xss-Protection 0

Request headers

Accept-Language
de-DE,de;q=0.9
Referer
https://cacm.acm.org/
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36

Response headers

date
Thu, 07 Oct 2021 14:53:20 GMT
content-encoding
gzip
x-content-type-options
nosniff
age
343735
content-security-policy-report-only
require-trusted-types-for 'script'; report-uri https://csp.withgoogle.com/csp/hosted-libraries-pushers
cross-origin-resource-policy
cross-origin
alt-svc
h3=":443"; ma=2592000,h3-29=":443"; ma=2592000,h3-T051=":443"; ma=2592000,h3-Q050=":443"; ma=2592000,h3-Q046=":443"; ma=2592000,h3-Q043=":443"; ma=2592000,quic=":443"; ma=2592000; v="46,43"
content-length
33593
x-xss-protection
0
last-modified
Tue, 03 Mar 2020 19:15:00 GMT
server
sffe
vary
Accept-Encoding
report-to
{"group":"hosted-libraries-pushers","max_age":2592000,"endpoints":[{"url":"https://csp.withgoogle.com/csp/report-to/hosted-libraries-pushers"}]}
content-type
text/javascript; charset=UTF-8
access-control-allow-origin
*
cache-control
public, max-age=31536000, stale-while-revalidate=2592000
accept-ranges
bytes
timing-allow-origin
*
cross-origin-opener-policy-report-only
same-origin; report-to="hosted-libraries-pushers"
expires
Fri, 07 Oct 2022 14:53:20 GMT
jplayer.pink.flag.css
cacm.acm.org/stylesheets/ 		10 KB
2 KB 		Stylesheet
General
Check archive.org
Download Go to
Full URL
https://cacm.acm.org/stylesheets/jplayer.pink.flag.css
Requested by
Host: cacm.acm.org
URL: https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
104.17.79.30 -, , ASN13335 (CLOUDFLARENET, US),
Reverse DNS
Software
cloudflare /
Resource Hash
8fc395817360493362de244eb4cc1ab59e2472c357b049f0c261e0807cb33531

Request headers

:path
/stylesheets/jplayer.pink.flag.css
pragma
no-cache
cookie
format=full; _cacm_acm_session=BAh7CEkiCmZsYXNoBjoGRUZJQzonQWN0aW9uQ29udHJvbGxlcjo6Rmxhc2g6%250AOkZsYXNoSGFzaHsABjoKQHVzZWR7ADoLb3JhY2xlVToUT3JhY2xlOjpTZXNz%250AaW9uWw4iFDIxNi4xMzEuMTE0LjIyM0YwMDBJdToJVGltZQ1uZR6Ac5nIWAk6%250ADW5hbm9fbnVtaQI1AToNbmFub19kZW5pBjoNc3VibWljcm8iBzCQOgtvZmZz%250AZXRp%252FsDHMDAwOhRjdXJyZW50X2FydGljbGVpA33RAg%253D%253D--be2d7c81e22524460fa29dce3488b8a1853e9b35
accept-encoding
gzip, deflate, br
accept-language
de-DE,de;q=0.9
user-agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36
sec-fetch-mode
no-cors
accept
text/css,*/*;q=0.1
cache-control
no-cache
sec-fetch-dest
style
:authority
cacm.acm.org
referer
https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
:scheme
https
sec-fetch-site
same-origin
:method
GET
Accept-Language
de-DE,de;q=0.9
Referer
https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36

Response headers

date
Mon, 11 Oct 2021 14:22:15 GMT
content-encoding
gzip
cf-cache-status
HIT
last-modified
Fri, 09 Feb 2018 16:38:39 GMT
server
cloudflare
age
1841879
etag
W/"5a7dce8f-3515"
expect-ct
max-age=604800, report-uri="https://report-uri.cloudflare.com/cdn-cgi/beacon/expect-ct"
vary
Accept-Encoding
content-type
text/css
expires
Wed, 10 Nov 2021 14:22:15 GMT
cache-control
public, max-age=2592000
cf-polished
origSize=13589
cf-ray
69c8bd4fcc4a4e26-FRA
cf-bgj
minify
videos.css
cacm.acm.org/stylesheets/sections/ 		1 KB
654 B 		Stylesheet
General
Check archive.org
Download Go to
Full URL
https://cacm.acm.org/stylesheets/sections/videos.css
Requested by
Host: cacm.acm.org
URL: https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
104.17.79.30 -, , ASN13335 (CLOUDFLARENET, US),
Reverse DNS
Software
cloudflare /
Resource Hash
417c741922ad07337422f5df257f227af53735153208b81714381469b137be09

Request headers

:path
/stylesheets/sections/videos.css
pragma
no-cache
cookie
format=full; _cacm_acm_session=BAh7CEkiCmZsYXNoBjoGRUZJQzonQWN0aW9uQ29udHJvbGxlcjo6Rmxhc2g6%250AOkZsYXNoSGFzaHsABjoKQHVzZWR7ADoLb3JhY2xlVToUT3JhY2xlOjpTZXNz%250AaW9uWw4iFDIxNi4xMzEuMTE0LjIyM0YwMDBJdToJVGltZQ1uZR6Ac5nIWAk6%250ADW5hbm9fbnVtaQI1AToNbmFub19kZW5pBjoNc3VibWljcm8iBzCQOgtvZmZz%250AZXRp%252FsDHMDAwOhRjdXJyZW50X2FydGljbGVpA33RAg%253D%253D--be2d7c81e22524460fa29dce3488b8a1853e9b35
accept-encoding
gzip, deflate, br
accept-language
de-DE,de;q=0.9
user-agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36
sec-fetch-mode
no-cors
accept
text/css,*/*;q=0.1
cache-control
no-cache
sec-fetch-dest
style
:authority
cacm.acm.org
referer
https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
:scheme
https
sec-fetch-site
same-origin
:method
GET
Accept-Language
de-DE,de;q=0.9
Referer
https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36

Response headers

date
Mon, 11 Oct 2021 14:22:15 GMT
content-encoding
gzip
cf-cache-status
HIT
last-modified
Fri, 09 Feb 2018 16:38:39 GMT
server
cloudflare
age
1841879
etag
W/"5a7dce8f-563"
expect-ct
max-age=604800, report-uri="https://report-uri.cloudflare.com/cdn-cgi/beacon/expect-ct"
vary
Accept-Encoding
content-type
text/css
expires
Wed, 10 Nov 2021 14:22:15 GMT
cache-control
public, max-age=2592000
cf-polished
origSize=1379
cf-ray
69c8bd4fcc4c4e26-FRA
cf-bgj
minify
tipsy.css
cacm.acm.org/stylesheets/ 		923 B
443 B 		Stylesheet
General
Check archive.org
Download Go to
Full URL
https://cacm.acm.org/stylesheets/tipsy.css
Requested by
Host: cacm.acm.org
URL: https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
104.17.79.30 -, , ASN13335 (CLOUDFLARENET, US),
Reverse DNS
Software
cloudflare /
Resource Hash
ca4c97f5c708d36ce591866bbdc8dc78d2b59b60a959486595e10cb81741cf35

Request headers

:path
/stylesheets/tipsy.css
pragma
no-cache
cookie
format=full; _cacm_acm_session=BAh7CEkiCmZsYXNoBjoGRUZJQzonQWN0aW9uQ29udHJvbGxlcjo6Rmxhc2g6%250AOkZsYXNoSGFzaHsABjoKQHVzZWR7ADoLb3JhY2xlVToUT3JhY2xlOjpTZXNz%250AaW9uWw4iFDIxNi4xMzEuMTE0LjIyM0YwMDBJdToJVGltZQ1uZR6Ac5nIWAk6%250ADW5hbm9fbnVtaQI1AToNbmFub19kZW5pBjoNc3VibWljcm8iBzCQOgtvZmZz%250AZXRp%252FsDHMDAwOhRjdXJyZW50X2FydGljbGVpA33RAg%253D%253D--be2d7c81e22524460fa29dce3488b8a1853e9b35
accept-encoding
gzip, deflate, br
accept-language
de-DE,de;q=0.9
user-agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36
sec-fetch-mode
no-cors
accept
text/css,*/*;q=0.1
cache-control
no-cache
sec-fetch-dest
style
:authority
cacm.acm.org
referer
https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
:scheme
https
sec-fetch-site
same-origin
:method
GET
Accept-Language
de-DE,de;q=0.9
Referer
https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36

Response headers

date
Mon, 11 Oct 2021 14:22:15 GMT
content-encoding
gzip
cf-cache-status
HIT
last-modified
Fri, 09 Feb 2018 16:38:39 GMT
server
cloudflare
age
1841879
etag
W/"5a7dce8f-449"
expect-ct
max-age=604800, report-uri="https://report-uri.cloudflare.com/cdn-cgi/beacon/expect-ct"
vary
Accept-Encoding
content-type
text/css
expires
Wed, 10 Nov 2021 14:22:15 GMT
cache-control
public, max-age=2592000
cf-polished
origSize=1097
cf-ray
69c8bd4fcc4e4e26-FRA
cf-bgj
minify
colorbox.css
cacm.acm.org/stylesheets/ 		1 KB
605 B 		Stylesheet
General
Check archive.org
Download Go to
Full URL
https://cacm.acm.org/stylesheets/colorbox.css
Requested by
Host: cacm.acm.org
URL: https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
104.17.79.30 -, , ASN13335 (CLOUDFLARENET, US),
Reverse DNS
Software
cloudflare /
Resource Hash
9add8f7f0c9b19230b7f262bfee29a1ad2f1ee32a7375566892b26f4318fc142

Request headers

:path
/stylesheets/colorbox.css
pragma
no-cache
cookie
format=full; _cacm_acm_session=BAh7CEkiCmZsYXNoBjoGRUZJQzonQWN0aW9uQ29udHJvbGxlcjo6Rmxhc2g6%250AOkZsYXNoSGFzaHsABjoKQHVzZWR7ADoLb3JhY2xlVToUT3JhY2xlOjpTZXNz%250AaW9uWw4iFDIxNi4xMzEuMTE0LjIyM0YwMDBJdToJVGltZQ1uZR6Ac5nIWAk6%250ADW5hbm9fbnVtaQI1AToNbmFub19kZW5pBjoNc3VibWljcm8iBzCQOgtvZmZz%250AZXRp%252FsDHMDAwOhRjdXJyZW50X2FydGljbGVpA33RAg%253D%253D--be2d7c81e22524460fa29dce3488b8a1853e9b35
accept-encoding
gzip, deflate, br
accept-language
de-DE,de;q=0.9
user-agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36
sec-fetch-mode
no-cors
accept
text/css,*/*;q=0.1
cache-control
no-cache
sec-fetch-dest
style
:authority
cacm.acm.org
referer
https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
:scheme
https
sec-fetch-site
same-origin
:method
GET
Accept-Language
de-DE,de;q=0.9
Referer
https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36

Response headers

date
Mon, 11 Oct 2021 14:22:15 GMT
content-encoding
gzip
cf-cache-status
HIT
last-modified
Fri, 09 Feb 2018 16:38:39 GMT
server
cloudflare
age
1843665
etag
W/"5a7dce8f-783"
expect-ct
max-age=604800, report-uri="https://report-uri.cloudflare.com/cdn-cgi/beacon/expect-ct"
vary
Accept-Encoding
content-type
text/css
expires
Wed, 10 Nov 2021 14:22:15 GMT
cache-control
public, max-age=2592000
cf-polished
origSize=1923
cf-ray
69c8bd4fcc4f4e26-FRA
cf-bgj
minify
cookie.js
cacm.acm.org/javascripts/ 		629 B
395 B 		Script
General
Check archive.org
Download Go to
Full URL
https://cacm.acm.org/javascripts/cookie.js
Requested by
Host: cacm.acm.org
URL: https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
104.17.79.30 -, , ASN13335 (CLOUDFLARENET, US),
Reverse DNS
Software
cloudflare /
Resource Hash
4266836dd987923025457b10c6c98cc04a681a30365f0d2bb8a557c5edd562dc

Request headers

:path
/javascripts/cookie.js
pragma
no-cache
cookie
format=full; _cacm_acm_session=BAh7CEkiCmZsYXNoBjoGRUZJQzonQWN0aW9uQ29udHJvbGxlcjo6Rmxhc2g6%250AOkZsYXNoSGFzaHsABjoKQHVzZWR7ADoLb3JhY2xlVToUT3JhY2xlOjpTZXNz%250AaW9uWw4iFDIxNi4xMzEuMTE0LjIyM0YwMDBJdToJVGltZQ1uZR6Ac5nIWAk6%250ADW5hbm9fbnVtaQI1AToNbmFub19kZW5pBjoNc3VibWljcm8iBzCQOgtvZmZz%250AZXRp%252FsDHMDAwOhRjdXJyZW50X2FydGljbGVpA33RAg%253D%253D--be2d7c81e22524460fa29dce3488b8a1853e9b35
accept-encoding
gzip, deflate, br
accept-language
de-DE,de;q=0.9
user-agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36
sec-fetch-mode
no-cors
accept
*/*
cache-control
no-cache
sec-fetch-dest
script
:authority
cacm.acm.org
referer
https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
:scheme
https
sec-fetch-site
same-origin
:method
GET
Accept-Language
de-DE,de;q=0.9
Referer
https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36

Response headers

date
Mon, 11 Oct 2021 14:22:15 GMT
content-encoding
gzip
cf-cache-status
HIT
last-modified
Thu, 14 Jun 2018 19:42:29 GMT
server
cloudflare
age
1841879
etag
W/"5b22c525-275"
expect-ct
max-age=604800, report-uri="https://report-uri.cloudflare.com/cdn-cgi/beacon/expect-ct"
vary
Accept-Encoding
content-type
application/javascript
cache-control
public, max-age=2592000
cf-ray
69c8bd4fcc504e26-FRA
expires
Wed, 10 Nov 2021 14:22:15 GMT
modernizr.js
cacm.acm.org/javascripts/ 		8 KB
4 KB 		Script
General
Check archive.org
Download Go to
Full URL
https://cacm.acm.org/javascripts/modernizr.js
Requested by
Host: cacm.acm.org
URL: https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
104.17.79.30 -, , ASN13335 (CLOUDFLARENET, US),
Reverse DNS
Software
cloudflare /
Resource Hash
aacd45e84bf658d6bafeef0c5c78711bab77691c9383439b1edf903e47145e18

Request headers

:path
/javascripts/modernizr.js
pragma
no-cache
cookie
format=full; _cacm_acm_session=BAh7CEkiCmZsYXNoBjoGRUZJQzonQWN0aW9uQ29udHJvbGxlcjo6Rmxhc2g6%250AOkZsYXNoSGFzaHsABjoKQHVzZWR7ADoLb3JhY2xlVToUT3JhY2xlOjpTZXNz%250AaW9uWw4iFDIxNi4xMzEuMTE0LjIyM0YwMDBJdToJVGltZQ1uZR6Ac5nIWAk6%250ADW5hbm9fbnVtaQI1AToNbmFub19kZW5pBjoNc3VibWljcm8iBzCQOgtvZmZz%250AZXRp%252FsDHMDAwOhRjdXJyZW50X2FydGljbGVpA33RAg%253D%253D--be2d7c81e22524460fa29dce3488b8a1853e9b35
accept-encoding
gzip, deflate, br
accept-language
de-DE,de;q=0.9
user-agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36
sec-fetch-mode
no-cors
accept
*/*
cache-control
no-cache
sec-fetch-dest
script
:authority
cacm.acm.org
referer
https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
:scheme
https
sec-fetch-site
same-origin
:method
GET
Accept-Language
de-DE,de;q=0.9
Referer
https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36

Response headers

date
Mon, 11 Oct 2021 14:22:15 GMT
content-encoding
gzip
cf-cache-status
HIT
last-modified
Fri, 09 Feb 2018 16:38:39 GMT
server
cloudflare
age
1594698
etag
W/"5a7dce8f-2188"
expect-ct
max-age=604800, report-uri="https://report-uri.cloudflare.com/cdn-cgi/beacon/expect-ct"
vary
Accept-Encoding
content-type
application/javascript
cache-control
public, max-age=2592000
cf-ray
69c8bd4fcc514e26-FRA
expires
Wed, 10 Nov 2021 14:22:15 GMT
addthis_widget.js
s7.addthis.com/js/250/ 		353 KB
114 KB 		Script
General
Check archive.org
Download Go to
Full URL
https://s7.addthis.com/js/250/addthis_widget.js
Requested by
Host: cacm.acm.org
URL: https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
Protocol
H2
Security
TLS 1.3, , AES_256_GCM
Server
184.30.24.121 Frankfurt am Main, Germany, ASN16625 (AKAMAI-AS, US),
Reverse DNS
a184-30-24-121.deploy.static.akamaitechnologies.com
Software
nginx/1.15.8 /
Resource Hash
acd2f7ad78edeebad4b6b0fdd17ff57d81c3726c60fd5435ee8c5a0115d29403
Security Headers
Name Value
Strict-Transport-Security max-age=15724800; includeSubDomains

Request headers

Accept-Language
de-DE,de;q=0.9
Referer
https://cacm.acm.org/
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36

Response headers

strict-transport-security
max-age=15724800; includeSubDomains
content-encoding
gzip
last-modified
Mon, 26 Oct 2020 18:11:48 GMT
server
nginx/1.15.8
etag
"5f971164-5834c"
vary
Accept-Encoding
x-distribution
99
content-type
application/javascript
cache-control
public, max-age=600
date
Mon, 11 Oct 2021 14:22:15 GMT
x-host
s7.addthis.com
content-length
116325
js
www.googletagmanager.com/gtag/ 		97 KB
39 KB 		Script
General
Check archive.org
Download Go to
Full URL
https://www.googletagmanager.com/gtag/js?id=UA-6995646-3
Requested by
Host: cacm.acm.org
URL: https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
142.250.185.232 , United States, ASN15169 (GOOGLE, US),
Reverse DNS
fra16s53-in-f8.1e100.net
Software
Google Tag Manager /
Resource Hash
22f506175ac8cf65a9db49e416aa72c9466d894fd56f54e90caa5fae2b83454a
Security Headers
Name Value
Strict-Transport-Security max-age=31536000; includeSubDomains
X-Xss-Protection 0

Request headers

Accept-Language
de-DE,de;q=0.9
Referer
https://cacm.acm.org/
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36

Response headers

date
Mon, 11 Oct 2021 14:22:15 GMT
content-encoding
br
vary
Accept-Encoding
cross-origin-resource-policy
cross-origin
alt-svc
h3=":443"; ma=2592000,h3-29=":443"; ma=2592000,h3-T051=":443"; ma=2592000,h3-Q050=":443"; ma=2592000,h3-Q046=":443"; ma=2592000,h3-Q043=":443"; ma=2592000,quic=":443"; ma=2592000; v="46,43"
content-length
39183
x-xss-protection
0
last-modified
Mon, 11 Oct 2021 12:00:00 GMT
server
Google Tag Manager
strict-transport-security
max-age=31536000; includeSubDomains
content-type
application/javascript; charset=UTF-8
access-control-allow-origin
*
cache-control
private, max-age=900
access-control-allow-credentials
true
access-control-allow-headers
Cache-Control
expires
Mon, 11 Oct 2021 14:22:15 GMT
acm_header.png
cacm.acm.org/images/icons/ 		1 KB
2 KB 		Image
General
Check archive.org
Download Go to Show image
Full URL
https://cacm.acm.org/images/icons/acm_header.png
Requested by
Host: cacm.acm.org
URL: https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
104.17.79.30 -, , ASN13335 (CLOUDFLARENET, US),
Reverse DNS
Software
cloudflare /
Resource Hash
ad86453751884c1b2055a466ef0d0c39407da68d0eced0daa250fc8ec23508fb

Request headers

:path
/images/icons/acm_header.png
pragma
no-cache
cookie
format=full; _cacm_acm_session=BAh7CEkiCmZsYXNoBjoGRUZJQzonQWN0aW9uQ29udHJvbGxlcjo6Rmxhc2g6%250AOkZsYXNoSGFzaHsABjoKQHVzZWR7ADoLb3JhY2xlVToUT3JhY2xlOjpTZXNz%250AaW9uWw4iFDIxNi4xMzEuMTE0LjIyM0YwMDBJdToJVGltZQ1uZR6Ac5nIWAk6%250ADW5hbm9fbnVtaQI1AToNbmFub19kZW5pBjoNc3VibWljcm8iBzCQOgtvZmZz%250AZXRp%252FsDHMDAwOhRjdXJyZW50X2FydGljbGVpA33RAg%253D%253D--be2d7c81e22524460fa29dce3488b8a1853e9b35
accept-encoding
gzip, deflate, br
accept-language
de-DE,de;q=0.9
user-agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36
sec-fetch-mode
no-cors
accept
image/avif,image/webp,image/apng,image/svg+xml,image/*,*/*;q=0.8
cache-control
no-cache
sec-fetch-dest
image
:authority
cacm.acm.org
referer
https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
:scheme
https
sec-fetch-site
same-origin
:method
GET
Accept-Language
de-DE,de;q=0.9
Referer
https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36

Response headers

date
Mon, 11 Oct 2021 14:22:15 GMT
cf-cache-status
HIT
age
1545032
cf-polished
origFmt=png, origSize=2279
content-disposition
inline; filename="acm_header.webp"
cf-bgj
imgq:100,h2pri
content-length
1446
last-modified
Fri, 09 Feb 2018 16:38:39 GMT
server
cloudflare
etag
"5a7dce8f-8e7"
expect-ct
max-age=604800, report-uri="https://report-uri.cloudflare.com/cdn-cgi/beacon/expect-ct"
vary
Accept, Accept-Encoding
content-type
image/webp
cache-control
public, max-age=2592000
accept-ranges
bytes
cf-ray
69c8bd51afde4e26-FRA
expires
Wed, 10 Nov 2021 14:22:15 GMT
facebook.png
cacm.acm.org/images/icons/ 		982 B
1 KB 		Image
General
Check archive.org
Download Go to Show image
Full URL
https://cacm.acm.org/images/icons/facebook.png
Requested by
Host: cacm.acm.org
URL: https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
104.17.79.30 -, , ASN13335 (CLOUDFLARENET, US),
Reverse DNS
Software
cloudflare /
Resource Hash
dde74ead311d940796c9fbb189f78adb8fff8b04d6491f750254df53a2c4bbad

Request headers

:path
/images/icons/facebook.png
pragma
no-cache
cookie
format=full; _cacm_acm_session=BAh7CEkiCmZsYXNoBjoGRUZJQzonQWN0aW9uQ29udHJvbGxlcjo6Rmxhc2g6%250AOkZsYXNoSGFzaHsABjoKQHVzZWR7ADoLb3JhY2xlVToUT3JhY2xlOjpTZXNz%250AaW9uWw4iFDIxNi4xMzEuMTE0LjIyM0YwMDBJdToJVGltZQ1uZR6Ac5nIWAk6%250ADW5hbm9fbnVtaQI1AToNbmFub19kZW5pBjoNc3VibWljcm8iBzCQOgtvZmZz%250AZXRp%252FsDHMDAwOhRjdXJyZW50X2FydGljbGVpA33RAg%253D%253D--be2d7c81e22524460fa29dce3488b8a1853e9b35
accept-encoding
gzip, deflate, br
accept-language
de-DE,de;q=0.9
user-agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36
sec-fetch-mode
no-cors
accept
image/avif,image/webp,image/apng,image/svg+xml,image/*,*/*;q=0.8
cache-control
no-cache
sec-fetch-dest
image
:authority
cacm.acm.org
referer
https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
:scheme
https
sec-fetch-site
same-origin
:method
GET
Accept-Language
de-DE,de;q=0.9
Referer
https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36

Response headers

date
Mon, 11 Oct 2021 14:22:15 GMT
cf-cache-status
HIT
age
336080
cf-polished
origFmt=png, origSize=1208
content-disposition
inline; filename="facebook.webp"
cf-bgj
imgq:100,h2pri
content-length
982
last-modified
Fri, 09 Feb 2018 16:38:39 GMT
server
cloudflare
etag
"5a7dce8f-4b8"
expect-ct
max-age=604800, report-uri="https://report-uri.cloudflare.com/cdn-cgi/beacon/expect-ct"
vary
Accept, Accept-Encoding
content-type
image/webp
cache-control
public, max-age=2592000
accept-ranges
bytes
cf-ray
69c8bd51afe04e26-FRA
expires
Wed, 10 Nov 2021 14:22:15 GMT
twitter.png
cacm.acm.org/images/icons/ 		834 B
1010 B 		Image
General
Check archive.org
Download Go to Show image
Full URL
https://cacm.acm.org/images/icons/twitter.png
Requested by
Host: cacm.acm.org
URL: https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
104.17.79.30 -, , ASN13335 (CLOUDFLARENET, US),
Reverse DNS
Software
cloudflare /
Resource Hash
0d3aafa1e982e759b50f61b6bc3b1b80ed44d904591eeb1330561201ee4f6bbe

Request headers

:path
/images/icons/twitter.png
pragma
no-cache
cookie
format=full; _cacm_acm_session=BAh7CEkiCmZsYXNoBjoGRUZJQzonQWN0aW9uQ29udHJvbGxlcjo6Rmxhc2g6%250AOkZsYXNoSGFzaHsABjoKQHVzZWR7ADoLb3JhY2xlVToUT3JhY2xlOjpTZXNz%250AaW9uWw4iFDIxNi4xMzEuMTE0LjIyM0YwMDBJdToJVGltZQ1uZR6Ac5nIWAk6%250ADW5hbm9fbnVtaQI1AToNbmFub19kZW5pBjoNc3VibWljcm8iBzCQOgtvZmZz%250AZXRp%252FsDHMDAwOhRjdXJyZW50X2FydGljbGVpA33RAg%253D%253D--be2d7c81e22524460fa29dce3488b8a1853e9b35
accept-encoding
gzip, deflate, br
accept-language
de-DE,de;q=0.9
user-agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36
sec-fetch-mode
no-cors
accept
image/avif,image/webp,image/apng,image/svg+xml,image/*,*/*;q=0.8
cache-control
no-cache
sec-fetch-dest
image
:authority
cacm.acm.org
referer
https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
:scheme
https
sec-fetch-site
same-origin
:method
GET
Accept-Language
de-DE,de;q=0.9
Referer
https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36

Response headers

date
Mon, 11 Oct 2021 14:22:15 GMT
cf-cache-status
HIT
age
333986
cf-polished
origFmt=png, origSize=1034
content-disposition
inline; filename="twitter.webp"
cf-bgj
imgq:100,h2pri
content-length
834
last-modified
Fri, 09 Feb 2018 16:38:39 GMT
server
cloudflare
etag
"5a7dce8f-40a"
expect-ct
max-age=604800, report-uri="https://report-uri.cloudflare.com/cdn-cgi/beacon/expect-ct"
vary
Accept, Accept-Encoding
content-type
image/webp
cache-control
public, max-age=2592000
accept-ranges
bytes
cf-ray
69c8bd51afe24e26-FRA
expires
Wed, 10 Nov 2021 14:22:15 GMT
rss.png
cacm.acm.org/images/icons/ 		1 KB
1 KB 		Image
General
Check archive.org
Download Go to Show image
Full URL
https://cacm.acm.org/images/icons/rss.png
Requested by
Host: cacm.acm.org
URL: https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
104.17.79.30 -, , ASN13335 (CLOUDFLARENET, US),
Reverse DNS
Software
cloudflare /
Resource Hash
20d1a244e3d6dc18e4a92cee4470d46e2de1d757e4a7256a652804b65803c5d0

Request headers

:path
/images/icons/rss.png
pragma
no-cache
cookie
format=full; _cacm_acm_session=BAh7CEkiCmZsYXNoBjoGRUZJQzonQWN0aW9uQ29udHJvbGxlcjo6Rmxhc2g6%250AOkZsYXNoSGFzaHsABjoKQHVzZWR7ADoLb3JhY2xlVToUT3JhY2xlOjpTZXNz%250AaW9uWw4iFDIxNi4xMzEuMTE0LjIyM0YwMDBJdToJVGltZQ1uZR6Ac5nIWAk6%250ADW5hbm9fbnVtaQI1AToNbmFub19kZW5pBjoNc3VibWljcm8iBzCQOgtvZmZz%250AZXRp%252FsDHMDAwOhRjdXJyZW50X2FydGljbGVpA33RAg%253D%253D--be2d7c81e22524460fa29dce3488b8a1853e9b35
accept-encoding
gzip, deflate, br
accept-language
de-DE,de;q=0.9
user-agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36
sec-fetch-mode
no-cors
accept
image/avif,image/webp,image/apng,image/svg+xml,image/*,*/*;q=0.8
cache-control
no-cache
sec-fetch-dest
image
:authority
cacm.acm.org
referer
https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
:scheme
https
sec-fetch-site
same-origin
:method
GET
Accept-Language
de-DE,de;q=0.9
Referer
https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36

Response headers

date
Mon, 11 Oct 2021 14:22:15 GMT
cf-cache-status
HIT
age
29931
cf-polished
origFmt=png, origSize=1551
content-disposition
inline; filename="rss.webp"
cf-bgj
imgq:100,h2pri
content-length
1198
last-modified
Fri, 09 Feb 2018 16:38:39 GMT
server
cloudflare
etag
"5a7dce8f-60f"
expect-ct
max-age=604800, report-uri="https://report-uri.cloudflare.com/cdn-cgi/beacon/expect-ct"
vary
Accept, Accept-Encoding
content-type
image/webp
cache-control
public, max-age=2592000
accept-ranges
bytes
cf-ray
69c8bd51afe34e26-FRA
expires
Wed, 10 Nov 2021 14:22:15 GMT
October2021.500x669.large.jpg
cacm.acm.org/system/assets/0004/1093/ 		48 KB
48 KB 		Image
General
Check archive.org
Download Go to Show image
Full URL
https://cacm.acm.org/system/assets/0004/1093/October2021.500x669.large.jpg?1632324569&1632324569
Requested by
Host: cacm.acm.org
URL: https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
104.17.79.30 -, , ASN13335 (CLOUDFLARENET, US),
Reverse DNS
Software
cloudflare /
Resource Hash
95399361bd5421169f25d0437c2d913fa5dcba86e59b5dcf39da5bead137cf5c

Request headers

:path
/system/assets/0004/1093/October2021.500x669.large.jpg?1632324569&1632324569
pragma
no-cache
cookie
format=full; _cacm_acm_session=BAh7CEkiCmZsYXNoBjoGRUZJQzonQWN0aW9uQ29udHJvbGxlcjo6Rmxhc2g6%250AOkZsYXNoSGFzaHsABjoKQHVzZWR7ADoLb3JhY2xlVToUT3JhY2xlOjpTZXNz%250AaW9uWw4iFDIxNi4xMzEuMTE0LjIyM0YwMDBJdToJVGltZQ1uZR6Ac5nIWAk6%250ADW5hbm9fbnVtaQI1AToNbmFub19kZW5pBjoNc3VibWljcm8iBzCQOgtvZmZz%250AZXRp%252FsDHMDAwOhRjdXJyZW50X2FydGljbGVpA33RAg%253D%253D--be2d7c81e22524460fa29dce3488b8a1853e9b35
accept-encoding
gzip, deflate, br
accept-language
de-DE,de;q=0.9
user-agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36
sec-fetch-mode
no-cors
accept
image/avif,image/webp,image/apng,image/svg+xml,image/*,*/*;q=0.8
cache-control
no-cache
sec-fetch-dest
image
:authority
cacm.acm.org
referer
https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
:scheme
https
sec-fetch-site
same-origin
:method
GET
Accept-Language
de-DE,de;q=0.9
Referer
https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36

Response headers

date
Mon, 11 Oct 2021 14:22:15 GMT
cf-cache-status
HIT
age
1634574
cf-polished
origSize=56031, status=webp_bigger
cf-bgj
imgq:100,h2pri
content-length
48766
last-modified
Wed, 22 Sep 2021 15:29:29 GMT
server
cloudflare
etag
"614b4bd9-dadf"
expect-ct
max-age=604800, report-uri="https://report-uri.cloudflare.com/cdn-cgi/beacon/expect-ct"
vary
Accept-Encoding
content-type
image/jpeg
cache-control
public, max-age=2592000
accept-ranges
bytes
cf-ray
69c8bd51afe54e26-FRA
expires
Wed, 10 Nov 2021 14:22:15 GMT
032015_CACMpg67_How-Amazon-Web1.large.jpg
cacm.acm.org/system/assets/0001/9188/ 		17 KB
17 KB 		Image
General
Check archive.org
Download Go to Show image
Full URL
https://cacm.acm.org/system/assets/0001/9188/032015_CACMpg67_How-Amazon-Web1.large.jpg?1476779462&1426857401
Requested by
Host: cacm.acm.org
URL: https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
104.17.79.30 -, , ASN13335 (CLOUDFLARENET, US),
Reverse DNS
Software
cloudflare /
Resource Hash
6c9111d08c19ed9c836ed723c23a56ec88c9fe1c1bddffcb2df18bc7b8758c9a

Request headers

:path
/system/assets/0001/9188/032015_CACMpg67_How-Amazon-Web1.large.jpg?1476779462&1426857401
pragma
no-cache
cookie
format=full; _cacm_acm_session=BAh7CEkiCmZsYXNoBjoGRUZJQzonQWN0aW9uQ29udHJvbGxlcjo6Rmxhc2g6%250AOkZsYXNoSGFzaHsABjoKQHVzZWR7ADoLb3JhY2xlVToUT3JhY2xlOjpTZXNz%250AaW9uWw4iFDIxNi4xMzEuMTE0LjIyM0YwMDBJdToJVGltZQ1uZR6Ac5nIWAk6%250ADW5hbm9fbnVtaQI1AToNbmFub19kZW5pBjoNc3VibWljcm8iBzCQOgtvZmZz%250AZXRp%252FsDHMDAwOhRjdXJyZW50X2FydGljbGVpA33RAg%253D%253D--be2d7c81e22524460fa29dce3488b8a1853e9b35
accept-encoding
gzip, deflate, br
accept-language
de-DE,de;q=0.9
user-agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36
sec-fetch-mode
no-cors
accept
image/avif,image/webp,image/apng,image/svg+xml,image/*,*/*;q=0.8
cache-control
no-cache
sec-fetch-dest
image
:authority
cacm.acm.org
referer
https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
:scheme
https
sec-fetch-site
same-origin
:method
GET
Accept-Language
de-DE,de;q=0.9
Referer
https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36

Response headers

date
Mon, 11 Oct 2021 14:22:15 GMT
cf-cache-status
HIT
age
99251
cf-polished
origSize=17519, status=webp_bigger
cf-bgj
imgq:100,h2pri
content-length
16937
last-modified
Tue, 18 Oct 2016 08:31:02 GMT
server
cloudflare
etag
"5805ddc6-446f"
expect-ct
max-age=604800, report-uri="https://report-uri.cloudflare.com/cdn-cgi/beacon/expect-ct"
vary
Accept-Encoding
content-type
image/jpeg
cache-control
public, max-age=2592000
accept-ranges
bytes
cf-ray
69c8bd51afe74e26-FRA
expires
Wed, 10 Nov 2021 14:22:15 GMT
ins01.gif
dl.acm.org/cms/attachment/64c85049-ce5f-4fc5-b8bd-5bbd82bc2d84/ 		6 KB
6 KB 		Image
General
Check archive.org
Download Go to Show image
Full URL
https://dl.acm.org/cms/attachment/64c85049-ce5f-4fc5-b8bd-5bbd82bc2d84/ins01.gif
Requested by
Host: cacm.acm.org
URL: https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
104.18.16.13 -, , ASN13335 (CLOUDFLARENET, US),
Reverse DNS
Software
cloudflare /
Resource Hash
df37fe3a598dda19812ec0a9f28a678e5331639d9216eaea47ebb3ce6b7c4a63
Security Headers
Name Value
Strict-Transport-Security max-age=15552000
X-Content-Type-Options nosniff
X-Frame-Options SAMEORIGIN
X-Xss-Protection 1; mode=block

Request headers

Accept-Language
de-DE,de;q=0.9
Referer
https://cacm.acm.org/
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36

Response headers

date
Mon, 11 Oct 2021 14:22:16 GMT
x-content-type-options
nosniff
cf-cache-status
MISS
content-disposition
inline; filename=ins01.gif
alt-svc
h3=":443"; ma=86400, h3-29=":443"; ma=86400, h3-28=":443"; ma=86400, h3-27=":443"; ma=86400
content-length
5954
x-xss-protection
1; mode=block
pragma
no-cache
last-modified
Thu, 31 Jan 2019 08:24:42 GMT
server
cloudflare
x-frame-options
SAMEORIGIN
etag
"5GYorEJ2LW7"
expect-ct
max-age=604800, report-uri="https://report-uri.cloudflare.com/cdn-cgi/beacon/expect-ct"
strict-transport-security
max-age=15552000
content-type
image/gif; charset=UTF-8
vary
Accept-Encoding
cache-control
no-cache
accept-ranges
bytes
cf-ray
69c8bd51ce2f4ac3-FRA
x-webstats-respid
432d21cb2d3134ced4aad4e2027a2dfa
ut1.jpg
dl.acm.org/cms/attachment/a1e99ad9-f295-48b8-8c11-518de1bd61fb/ 		2 KB
2 KB 		Image
General
Check archive.org
Download Go to Show image
Full URL
https://dl.acm.org/cms/attachment/a1e99ad9-f295-48b8-8c11-518de1bd61fb/ut1.jpg
Requested by
Host: cacm.acm.org
URL: https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
104.18.16.13 -, , ASN13335 (CLOUDFLARENET, US),
Reverse DNS
Software
cloudflare /
Resource Hash
00a8f37ca0045b1c9409d582c478a488aeabe310370cdfb51fa09a441e500cd7
Security Headers
Name Value
Strict-Transport-Security max-age=15552000
X-Content-Type-Options nosniff
X-Frame-Options SAMEORIGIN
X-Xss-Protection 1; mode=block

Request headers

Accept-Language
de-DE,de;q=0.9
Referer
https://cacm.acm.org/
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36

Response headers

date
Mon, 11 Oct 2021 14:22:15 GMT
x-content-type-options
nosniff
cf-cache-status
MISS
content-disposition
inline; filename=ut1.jpg
alt-svc
h3=":443"; ma=86400, h3-29=":443"; ma=86400, h3-28=":443"; ma=86400, h3-27=":443"; ma=86400
content-length
1937
x-xss-protection
1; mode=block
pragma
no-cache
last-modified
Sat, 30 Nov 2019 09:16:22 GMT
server
cloudflare
x-frame-options
SAMEORIGIN
etag
"8y1xrC6bylq"
expect-ct
max-age=604800, report-uri="https://report-uri.cloudflare.com/cdn-cgi/beacon/expect-ct"
strict-transport-security
max-age=15552000
content-type
image/jpeg; charset=UTF-8
vary
Accept-Encoding
cache-control
no-cache
accept-ranges
bytes
cf-ray
69c8bd51ce314ac3-FRA
x-webstats-respid
65dc445d6444ad012c52c54469129f33
new_page.png
cacm.acm.org/images/icons/ 		74 B
204 B 		Image
General
Check archive.org
Download Go to Show image
Full URL
https://cacm.acm.org/images/icons/new_page.png
Requested by
Host: cacm.acm.org
URL: https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
104.17.79.30 -, , ASN13335 (CLOUDFLARENET, US),
Reverse DNS
Software
cloudflare /
Resource Hash
5c66922367c936995e4d12e9f88b9f3cfa8cc6f70c53a9145a764a82e978c3ac

Request headers

:path
/images/icons/new_page.png
pragma
no-cache
cookie
format=full; _cacm_acm_session=BAh7CEkiCmZsYXNoBjoGRUZJQzonQWN0aW9uQ29udHJvbGxlcjo6Rmxhc2g6%250AOkZsYXNoSGFzaHsABjoKQHVzZWR7ADoLb3JhY2xlVToUT3JhY2xlOjpTZXNz%250AaW9uWw4iFDIxNi4xMzEuMTE0LjIyM0YwMDBJdToJVGltZQ1uZR6Ac5nIWAk6%250ADW5hbm9fbnVtaQI1AToNbmFub19kZW5pBjoNc3VibWljcm8iBzCQOgtvZmZz%250AZXRp%252FsDHMDAwOhRjdXJyZW50X2FydGljbGVpA33RAg%253D%253D--be2d7c81e22524460fa29dce3488b8a1853e9b35
accept-encoding
gzip, deflate, br
accept-language
de-DE,de;q=0.9
user-agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36
sec-fetch-mode
no-cors
accept
image/avif,image/webp,image/apng,image/svg+xml,image/*,*/*;q=0.8
cache-control
no-cache
sec-fetch-dest
image
:authority
cacm.acm.org
referer
https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
:scheme
https
sec-fetch-site
same-origin
:method
GET
Accept-Language
de-DE,de;q=0.9
Referer
https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36

Response headers

date
Mon, 11 Oct 2021 14:22:15 GMT
cf-cache-status
HIT
age
508670
cf-polished
origFmt=png, origSize=200
content-disposition
inline; filename="new_page.webp"
cf-bgj
imgq:100,h2pri
content-length
74
last-modified
Fri, 09 Feb 2018 16:38:39 GMT
server
cloudflare
etag
"5a7dce8f-c8"
expect-ct
max-age=604800, report-uri="https://report-uri.cloudflare.com/cdn-cgi/beacon/expect-ct"
vary
Accept, Accept-Encoding
content-type
image/webp
cache-control
public, max-age=2592000
accept-ranges
bytes
cf-ray
69c8bd51afe94e26-FRA
expires
Wed, 10 Nov 2021 14:22:15 GMT
jquery.jplayer.js
cacm.acm.org/javascripts/lib/ 		84 KB
20 KB 		Script
General
Check archive.org
Download Go to
Full URL
https://cacm.acm.org/javascripts/lib/jquery.jplayer.js
Requested by
Host: cacm.acm.org
URL: https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
104.17.79.30 -, , ASN13335 (CLOUDFLARENET, US),
Reverse DNS
Software
cloudflare /
Resource Hash
4afe5f7c9c4f3c7cf51b593cade6376b49eded37a193d1ead843a0d5aaa696a4

Request headers

:path
/javascripts/lib/jquery.jplayer.js
pragma
no-cache
cookie
format=full; _cacm_acm_session=BAh7CEkiCmZsYXNoBjoGRUZJQzonQWN0aW9uQ29udHJvbGxlcjo6Rmxhc2g6%250AOkZsYXNoSGFzaHsABjoKQHVzZWR7ADoLb3JhY2xlVToUT3JhY2xlOjpTZXNz%250AaW9uWw4iFDIxNi4xMzEuMTE0LjIyM0YwMDBJdToJVGltZQ1uZR6Ac5nIWAk6%250ADW5hbm9fbnVtaQI1AToNbmFub19kZW5pBjoNc3VibWljcm8iBzCQOgtvZmZz%250AZXRp%252FsDHMDAwOhRjdXJyZW50X2FydGljbGVpA33RAg%253D%253D--be2d7c81e22524460fa29dce3488b8a1853e9b35
accept-encoding
gzip, deflate, br
accept-language
de-DE,de;q=0.9
user-agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36
sec-fetch-mode
no-cors
accept
*/*
cache-control
no-cache
sec-fetch-dest
script
:authority
cacm.acm.org
referer
https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
:scheme
https
sec-fetch-site
same-origin
:method
GET
Accept-Language
de-DE,de;q=0.9
Referer
https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36

Response headers

date
Mon, 11 Oct 2021 14:22:15 GMT
content-encoding
gzip
cf-cache-status
HIT
last-modified
Fri, 09 Feb 2018 16:38:39 GMT
server
cloudflare
age
1841879
etag
W/"5a7dce8f-14f6a"
expect-ct
max-age=604800, report-uri="https://report-uri.cloudflare.com/cdn-cgi/beacon/expect-ct"
vary
Accept-Encoding
content-type
application/javascript
cache-control
public, max-age=2592000
cf-ray
69c8bd504d474e26-FRA
expires
Wed, 10 Nov 2021 14:22:15 GMT
jquery.infieldlabel.min.js
cacm.acm.org/javascripts/ 		2 KB
849 B 		Script
General
Check archive.org
Download Go to
Full URL
https://cacm.acm.org/javascripts/jquery.infieldlabel.min.js
Requested by
Host: cacm.acm.org
URL: https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
104.17.79.30 -, , ASN13335 (CLOUDFLARENET, US),
Reverse DNS
Software
cloudflare /
Resource Hash
15c390fc54814643250ccf0ab0530dcf3c0b86e6293b46c3e55fa861c4bd394e

Request headers

:path
/javascripts/jquery.infieldlabel.min.js
pragma
no-cache
cookie
format=full; _cacm_acm_session=BAh7CEkiCmZsYXNoBjoGRUZJQzonQWN0aW9uQ29udHJvbGxlcjo6Rmxhc2g6%250AOkZsYXNoSGFzaHsABjoKQHVzZWR7ADoLb3JhY2xlVToUT3JhY2xlOjpTZXNz%250AaW9uWw4iFDIxNi4xMzEuMTE0LjIyM0YwMDBJdToJVGltZQ1uZR6Ac5nIWAk6%250ADW5hbm9fbnVtaQI1AToNbmFub19kZW5pBjoNc3VibWljcm8iBzCQOgtvZmZz%250AZXRp%252FsDHMDAwOhRjdXJyZW50X2FydGljbGVpA33RAg%253D%253D--be2d7c81e22524460fa29dce3488b8a1853e9b35
accept-encoding
gzip, deflate, br
accept-language
de-DE,de;q=0.9
user-agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36
sec-fetch-mode
no-cors
accept
*/*
cache-control
no-cache
sec-fetch-dest
script
:authority
cacm.acm.org
referer
https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
:scheme
https
sec-fetch-site
same-origin
:method
GET
Accept-Language
de-DE,de;q=0.9
Referer
https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36

Response headers

date
Mon, 11 Oct 2021 14:22:15 GMT
content-encoding
gzip
cf-cache-status
HIT
last-modified
Fri, 09 Feb 2018 16:38:39 GMT
server
cloudflare
age
1841879
etag
W/"5a7dce8f-6c8"
expect-ct
max-age=604800, report-uri="https://report-uri.cloudflare.com/cdn-cgi/beacon/expect-ct"
vary
Accept-Encoding
content-type
application/javascript
cache-control
public, max-age=2592000
cf-ray
69c8bd50ae0c4e26-FRA
expires
Wed, 10 Nov 2021 14:22:15 GMT
cufon.js
cacm.acm.org/javascripts/ 		18 KB
7 KB 		Script
General
Check archive.org
Download Go to
Full URL
https://cacm.acm.org/javascripts/cufon.js
Requested by
Host: cacm.acm.org
URL: https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
104.17.79.30 -, , ASN13335 (CLOUDFLARENET, US),
Reverse DNS
Software
cloudflare /
Resource Hash
9193ccbf585cfe06cf6f5e1d50d85f2ca14622cc32cb013504f391dd4b49b417

Request headers

:path
/javascripts/cufon.js
pragma
no-cache
cookie
format=full; _cacm_acm_session=BAh7CEkiCmZsYXNoBjoGRUZJQzonQWN0aW9uQ29udHJvbGxlcjo6Rmxhc2g6%250AOkZsYXNoSGFzaHsABjoKQHVzZWR7ADoLb3JhY2xlVToUT3JhY2xlOjpTZXNz%250AaW9uWw4iFDIxNi4xMzEuMTE0LjIyM0YwMDBJdToJVGltZQ1uZR6Ac5nIWAk6%250ADW5hbm9fbnVtaQI1AToNbmFub19kZW5pBjoNc3VibWljcm8iBzCQOgtvZmZz%250AZXRp%252FsDHMDAwOhRjdXJyZW50X2FydGljbGVpA33RAg%253D%253D--be2d7c81e22524460fa29dce3488b8a1853e9b35
accept-encoding
gzip, deflate, br
accept-language
de-DE,de;q=0.9
user-agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36
sec-fetch-mode
no-cors
accept
*/*
cache-control
no-cache
sec-fetch-dest
script
:authority
cacm.acm.org
referer
https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
:scheme
https
sec-fetch-site
same-origin
:method
GET
Accept-Language
de-DE,de;q=0.9
Referer
https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36

Response headers

date
Mon, 11 Oct 2021 14:22:15 GMT
content-encoding
gzip
cf-cache-status
HIT
last-modified
Fri, 09 Feb 2018 16:38:39 GMT
server
cloudflare
age
1841879
etag
W/"5a7dce8f-4752"
expect-ct
max-age=604800, report-uri="https://report-uri.cloudflare.com/cdn-cgi/beacon/expect-ct"
vary
Accept-Encoding
content-type
application/javascript
cache-control
public, max-age=2592000
cf-ray
69c8bd510eda4e26-FRA
expires
Wed, 10 Nov 2021 14:22:15 GMT
proxima_400.font.js
cacm.acm.org/javascripts/ 		21 KB
7 KB 		Script
General
Check archive.org
Download Go to
Full URL
https://cacm.acm.org/javascripts/proxima_400.font.js
Requested by
Host: cacm.acm.org
URL: https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
104.17.79.30 -, , ASN13335 (CLOUDFLARENET, US),
Reverse DNS
Software
cloudflare /
Resource Hash
cdede75dcb7e419b283eadaeebdc793dee61d5b1c718994a9c23b5a7473bbd79

Request headers

:path
/javascripts/proxima_400.font.js
pragma
no-cache
cookie
format=full; _cacm_acm_session=BAh7CEkiCmZsYXNoBjoGRUZJQzonQWN0aW9uQ29udHJvbGxlcjo6Rmxhc2g6%250AOkZsYXNoSGFzaHsABjoKQHVzZWR7ADoLb3JhY2xlVToUT3JhY2xlOjpTZXNz%250AaW9uWw4iFDIxNi4xMzEuMTE0LjIyM0YwMDBJdToJVGltZQ1uZR6Ac5nIWAk6%250ADW5hbm9fbnVtaQI1AToNbmFub19kZW5pBjoNc3VibWljcm8iBzCQOgtvZmZz%250AZXRp%252FsDHMDAwOhRjdXJyZW50X2FydGljbGVpA33RAg%253D%253D--be2d7c81e22524460fa29dce3488b8a1853e9b35
accept-encoding
gzip, deflate, br
accept-language
de-DE,de;q=0.9
user-agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36
sec-fetch-mode
no-cors
accept
*/*
cache-control
no-cache
sec-fetch-dest
script
:authority
cacm.acm.org
referer
https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
:scheme
https
sec-fetch-site
same-origin
:method
GET
Accept-Language
de-DE,de;q=0.9
Referer
https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36

Response headers

date
Mon, 11 Oct 2021 14:22:15 GMT
content-encoding
gzip
cf-cache-status
HIT
last-modified
Fri, 09 Feb 2018 16:38:39 GMT
server
cloudflare
age
1841879
etag
W/"5a7dce8f-53b3"
expect-ct
max-age=604800, report-uri="https://report-uri.cloudflare.com/cdn-cgi/beacon/expect-ct"
vary
Accept-Encoding
content-type
application/javascript
cache-control
public, max-age=2592000
cf-ray
69c8bd515f504e26-FRA
expires
Wed, 10 Nov 2021 14:22:15 GMT
jquery.tipsy.js
cacm.acm.org/javascripts/behaviors/ 		7 KB
2 KB 		Script
General
Check archive.org
Download Go to
Full URL
https://cacm.acm.org/javascripts/behaviors/jquery.tipsy.js
Requested by
Host: cacm.acm.org
URL: https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
104.17.79.30 -, , ASN13335 (CLOUDFLARENET, US),
Reverse DNS
Software
cloudflare /
Resource Hash
6963301ce1c551417dbb540bbc5c41c2f70aae91731775ad4bd625d9a93224a3

Request headers

:path
/javascripts/behaviors/jquery.tipsy.js
pragma
no-cache
cookie
format=full; _cacm_acm_session=BAh7CEkiCmZsYXNoBjoGRUZJQzonQWN0aW9uQ29udHJvbGxlcjo6Rmxhc2g6%250AOkZsYXNoSGFzaHsABjoKQHVzZWR7ADoLb3JhY2xlVToUT3JhY2xlOjpTZXNz%250AaW9uWw4iFDIxNi4xMzEuMTE0LjIyM0YwMDBJdToJVGltZQ1uZR6Ac5nIWAk6%250ADW5hbm9fbnVtaQI1AToNbmFub19kZW5pBjoNc3VibWljcm8iBzCQOgtvZmZz%250AZXRp%252FsDHMDAwOhRjdXJyZW50X2FydGljbGVpA33RAg%253D%253D--be2d7c81e22524460fa29dce3488b8a1853e9b35
accept-encoding
gzip, deflate, br
accept-language
de-DE,de;q=0.9
user-agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36
sec-fetch-mode
no-cors
accept
*/*
cache-control
no-cache
sec-fetch-dest
script
:authority
cacm.acm.org
referer
https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
:scheme
https
sec-fetch-site
same-origin
:method
GET
Accept-Language
de-DE,de;q=0.9
Referer
https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36

Response headers

date
Mon, 11 Oct 2021 14:22:15 GMT
content-encoding
gzip
cf-cache-status
HIT
last-modified
Fri, 09 Feb 2018 16:38:39 GMT
server
cloudflare
age
41050
etag
W/"5a7dce8f-1cdc"
expect-ct
max-age=604800, report-uri="https://report-uri.cloudflare.com/cdn-cgi/beacon/expect-ct"
vary
Accept-Encoding
content-type
application/javascript
cache-control
public, max-age=2592000
cf-ray
69c8bd515f654e26-FRA
expires
Wed, 10 Nov 2021 14:22:15 GMT
jquery.colorbox-min.js
cacm.acm.org/javascripts/behaviors/ 		9 KB
4 KB 		Script
General
Check archive.org
Download Go to
Full URL
https://cacm.acm.org/javascripts/behaviors/jquery.colorbox-min.js
Requested by
Host: cacm.acm.org
URL: https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
104.17.79.30 -, , ASN13335 (CLOUDFLARENET, US),
Reverse DNS
Software
cloudflare /
Resource Hash
1e9070b1846168376914b1a06fb9dedd365e38ba120db9b048fe604d63045fca

Request headers

:path
/javascripts/behaviors/jquery.colorbox-min.js
pragma
no-cache
cookie
format=full; _cacm_acm_session=BAh7CEkiCmZsYXNoBjoGRUZJQzonQWN0aW9uQ29udHJvbGxlcjo6Rmxhc2g6%250AOkZsYXNoSGFzaHsABjoKQHVzZWR7ADoLb3JhY2xlVToUT3JhY2xlOjpTZXNz%250AaW9uWw4iFDIxNi4xMzEuMTE0LjIyM0YwMDBJdToJVGltZQ1uZR6Ac5nIWAk6%250ADW5hbm9fbnVtaQI1AToNbmFub19kZW5pBjoNc3VibWljcm8iBzCQOgtvZmZz%250AZXRp%252FsDHMDAwOhRjdXJyZW50X2FydGljbGVpA33RAg%253D%253D--be2d7c81e22524460fa29dce3488b8a1853e9b35
accept-encoding
gzip, deflate, br
accept-language
de-DE,de;q=0.9
user-agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36
sec-fetch-mode
no-cors
accept
*/*
cache-control
no-cache
sec-fetch-dest
script
:authority
cacm.acm.org
referer
https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
:scheme
https
sec-fetch-site
same-origin
:method
GET
Accept-Language
de-DE,de;q=0.9
Referer
https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36

Response headers

date
Mon, 11 Oct 2021 14:22:15 GMT
content-encoding
gzip
cf-cache-status
HIT
last-modified
Fri, 09 Feb 2018 16:38:39 GMT
server
cloudflare
age
1843665
etag
W/"5a7dce8f-252d"
expect-ct
max-age=604800, report-uri="https://report-uri.cloudflare.com/cdn-cgi/beacon/expect-ct"
vary
Accept-Encoding
content-type
application/javascript
cache-control
public, max-age=2592000
cf-ray
69c8bd51afd84e26-FRA
expires
Wed, 10 Nov 2021 14:22:15 GMT
application.js
cacm.acm.org/javascripts/ 		25 KB
6 KB 		Script
General
Check archive.org
Download Go to
Full URL
https://cacm.acm.org/javascripts/application.js
Requested by
Host: cacm.acm.org
URL: https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
104.17.79.30 -, , ASN13335 (CLOUDFLARENET, US),
Reverse DNS
Software
cloudflare /
Resource Hash
36a9c0629ac8ead5b21a1836a5777fbeaff80af47ca7c9440c995314f81e46b7

Request headers

:path
/javascripts/application.js
pragma
no-cache
cookie
format=full; _cacm_acm_session=BAh7CEkiCmZsYXNoBjoGRUZJQzonQWN0aW9uQ29udHJvbGxlcjo6Rmxhc2g6%250AOkZsYXNoSGFzaHsABjoKQHVzZWR7ADoLb3JhY2xlVToUT3JhY2xlOjpTZXNz%250AaW9uWw4iFDIxNi4xMzEuMTE0LjIyM0YwMDBJdToJVGltZQ1uZR6Ac5nIWAk6%250ADW5hbm9fbnVtaQI1AToNbmFub19kZW5pBjoNc3VibWljcm8iBzCQOgtvZmZz%250AZXRp%252FsDHMDAwOhRjdXJyZW50X2FydGljbGVpA33RAg%253D%253D--be2d7c81e22524460fa29dce3488b8a1853e9b35
accept-encoding
gzip, deflate, br
accept-language
de-DE,de;q=0.9
user-agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36
sec-fetch-mode
no-cors
accept
*/*
cache-control
no-cache
sec-fetch-dest
script
:authority
cacm.acm.org
referer
https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
:scheme
https
sec-fetch-site
same-origin
:method
GET
Accept-Language
de-DE,de;q=0.9
Referer
https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36

Response headers

date
Mon, 11 Oct 2021 14:22:15 GMT
content-encoding
gzip
cf-cache-status
HIT
last-modified
Fri, 29 Jun 2018 10:53:11 GMT
server
cloudflare
age
1843665
etag
W/"5b360f97-63f3"
expect-ct
max-age=604800, report-uri="https://report-uri.cloudflare.com/cdn-cgi/beacon/expect-ct"
vary
Accept-Encoding
content-type
application/javascript
cache-control
public, max-age=2592000
cf-ray
69c8bd51afdd4e26-FRA
expires
Wed, 10 Nov 2021 14:22:15 GMT
moatframe.js
z.moatads.com/addthismoatframe568911941483/ 		2 KB
1 KB 		Script
General
Check archive.org
Download Go to
Full URL
https://z.moatads.com/addthismoatframe568911941483/moatframe.js
Requested by
Host: s7.addthis.com
URL: https://s7.addthis.com/js/250/addthis_widget.js
Protocol
H2
Security
TLS 1.3, , AES_256_GCM
Server
2.18.235.40 Frankfurt am Main, Germany, ASN16625 (AKAMAI-AS, US),
Reverse DNS
a2-18-235-40.deploy.static.akamaitechnologies.com
Software
AmazonS3 /
Resource Hash
05090f9390f5bc0cd23fe5f432037cc92d7cbce1ced9bfe8faf3d1c9abae85cd

Request headers

Accept-Language
de-DE,de;q=0.9
Referer
https://cacm.acm.org/
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36

Response headers

date
Mon, 11 Oct 2021 14:22:15 GMT
content-encoding
gzip
last-modified
Fri, 08 Nov 2019 20:13:52 GMT
server
AmazonS3
x-amz-request-id
D5503D14AA2F06AA
etag
"f14b4e1f799b14f798a195f43cf58376"
vary
Accept-Encoding
content-type
application/x-javascript
cache-control
max-age=16501
accept-ranges
bytes
content-length
948
x-amz-id-2
JgalEtxvSAtZmM7+naGfrhsdf0JFS0gJW8lypWF8Tp90EkcPp4c3eAnpK+RDOIL1ltWgpx8wc3s=
st.js
s.swiftypecdn.com/install/v2/ 		415 KB
110 KB 		Script
General
Check archive.org
Download Go to
Full URL
https://s.swiftypecdn.com/install/v2/st.js
Requested by
Host: cacm.acm.org
URL: https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
Protocol
HTTP/1.1
Security
TLS 1.2, ECDHE_RSA, AES_128_GCM
Server
151.101.64.143 , United States, ASN54113 (FASTLY, US),
Reverse DNS
Software
/
Resource Hash
1d5d204d662ae2f90464bee6d1e1d645169851dfab39948b23a18da5a8584585

Request headers

Accept-Language
de-DE,de;q=0.9
Referer
https://cacm.acm.org/
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36

Response headers

Date
Mon, 11 Oct 2021 14:22:15 GMT
Content-Encoding
gzip
Age
188
X-Cache
HIT
Connection
keep-alive
Content-Length
112086
X-Served-By
cache-hhn4058-HHN
Access-Control-Allow-Origin
*
X-Timer
S1633962135.337549,VS0,VE0
ETag
"5fb57a29-1b5d6"
Vary
Accept-Encoding
Content-Type
text/javascript
Via
1.1 varnish
Cache-Control
max-age=300, public, max-age=300, public
Accept-Ranges
bytes
X-Cache-Hits
24
body_bg_2.png
cacm.acm.org/images/backgrounds/ 		48 B
247 B 		Image
General
Check archive.org
Download Go to Show image
Full URL
https://cacm.acm.org/images/backgrounds/body_bg_2.png
Requested by
Host: cacm.acm.org
URL: https://cacm.acm.org/stylesheets/all.css
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
104.17.79.30 -, , ASN13335 (CLOUDFLARENET, US),
Reverse DNS
Software
cloudflare /
Resource Hash
729f7625478f7b969ebe8329c0da00629c9c992c37f8b167811898a3dbc81d5b

Request headers

:path
/images/backgrounds/body_bg_2.png
pragma
no-cache
cookie
format=full; _cacm_acm_session=BAh7CEkiCmZsYXNoBjoGRUZJQzonQWN0aW9uQ29udHJvbGxlcjo6Rmxhc2g6%250AOkZsYXNoSGFzaHsABjoKQHVzZWR7ADoLb3JhY2xlVToUT3JhY2xlOjpTZXNz%250AaW9uWw4iFDIxNi4xMzEuMTE0LjIyM0YwMDBJdToJVGltZQ1uZR6Ac5nIWAk6%250ADW5hbm9fbnVtaQI1AToNbmFub19kZW5pBjoNc3VibWljcm8iBzCQOgtvZmZz%250AZXRp%252FsDHMDAwOhRjdXJyZW50X2FydGljbGVpA33RAg%253D%253D--be2d7c81e22524460fa29dce3488b8a1853e9b35
accept-encoding
gzip, deflate, br
accept-language
de-DE,de;q=0.9
user-agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36
sec-fetch-mode
no-cors
accept
image/avif,image/webp,image/apng,image/svg+xml,image/*,*/*;q=0.8
cache-control
no-cache
sec-fetch-dest
image
:authority
cacm.acm.org
referer
https://cacm.acm.org/stylesheets/all.css
:scheme
https
sec-fetch-site
same-origin
:method
GET
Accept-Language
de-DE,de;q=0.9
Referer
https://cacm.acm.org/stylesheets/all.css
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36

Response headers

date
Mon, 11 Oct 2021 14:22:15 GMT
cf-cache-status
HIT
age
338765
cf-polished
origFmt=png, origSize=124
content-disposition
inline; filename="body_bg_2.webp"
cf-bgj
imgq:100,h2pri
content-length
48
last-modified
Fri, 09 Feb 2018 16:38:39 GMT
server
cloudflare
etag
"5a7dce8f-7c"
expect-ct
max-age=604800, report-uri="https://report-uri.cloudflare.com/cdn-cgi/beacon/expect-ct"
vary
Accept, Accept-Encoding
content-type
image/webp
cache-control
public, max-age=2592000
accept-ranges
bytes
cf-ray
69c8bd51afea4e26-FRA
expires
Wed, 10 Nov 2021 14:22:15 GMT
head_bottom.png
cacm.acm.org/images/backgrounds/ 		42 B
183 B 		Image
General
Check archive.org
Download Go to Show image
Full URL
https://cacm.acm.org/images/backgrounds/head_bottom.png
Requested by
Host: cacm.acm.org
URL: https://cacm.acm.org/stylesheets/all.css
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
104.17.79.30 -, , ASN13335 (CLOUDFLARENET, US),
Reverse DNS
Software
cloudflare /
Resource Hash
74ab8da42898261afa4a7df4b9fe4997fa03c92842feced0563d7471125ce7f2

Request headers

:path
/images/backgrounds/head_bottom.png
pragma
no-cache
cookie
format=full; _cacm_acm_session=BAh7CEkiCmZsYXNoBjoGRUZJQzonQWN0aW9uQ29udHJvbGxlcjo6Rmxhc2g6%250AOkZsYXNoSGFzaHsABjoKQHVzZWR7ADoLb3JhY2xlVToUT3JhY2xlOjpTZXNz%250AaW9uWw4iFDIxNi4xMzEuMTE0LjIyM0YwMDBJdToJVGltZQ1uZR6Ac5nIWAk6%250ADW5hbm9fbnVtaQI1AToNbmFub19kZW5pBjoNc3VibWljcm8iBzCQOgtvZmZz%250AZXRp%252FsDHMDAwOhRjdXJyZW50X2FydGljbGVpA33RAg%253D%253D--be2d7c81e22524460fa29dce3488b8a1853e9b35
accept-encoding
gzip, deflate, br
accept-language
de-DE,de;q=0.9
user-agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36
sec-fetch-mode
no-cors
accept
image/avif,image/webp,image/apng,image/svg+xml,image/*,*/*;q=0.8
cache-control
no-cache
sec-fetch-dest
image
:authority
cacm.acm.org
referer
https://cacm.acm.org/stylesheets/all.css
:scheme
https
sec-fetch-site
same-origin
:method
GET
Accept-Language
de-DE,de;q=0.9
Referer
https://cacm.acm.org/stylesheets/all.css
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36

Response headers

date
Mon, 11 Oct 2021 14:22:15 GMT
cf-cache-status
HIT
age
1016255
cf-polished
origFmt=png, origSize=121
content-disposition
inline; filename="head_bottom.webp"
cf-bgj
imgq:100,h2pri
content-length
42
last-modified
Fri, 09 Feb 2018 16:38:39 GMT
server
cloudflare
etag
"5a7dce8f-79"
expect-ct
max-age=604800, report-uri="https://report-uri.cloudflare.com/cdn-cgi/beacon/expect-ct"
vary
Accept, Accept-Encoding
content-type
image/webp
cache-control
public, max-age=2592000
accept-ranges
bytes
cf-ray
69c8bd51afec4e26-FRA
expires
Wed, 10 Nov 2021 14:22:15 GMT
search_box_bg.png
cacm.acm.org/images/backgrounds/ 		5 KB
5 KB 		Image
General
Check archive.org
Download Go to Show image
Full URL
https://cacm.acm.org/images/backgrounds/search_box_bg.png
Requested by
Host: cacm.acm.org
URL: https://cacm.acm.org/stylesheets/all.css
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
104.17.79.30 -, , ASN13335 (CLOUDFLARENET, US),
Reverse DNS
Software
cloudflare /
Resource Hash
51fc4d722b57dbbe87d2f80a36775d508fa7341a9fb560dfecbf802c56205260

Request headers

:path
/images/backgrounds/search_box_bg.png
pragma
no-cache
cookie
format=full; _cacm_acm_session=BAh7CEkiCmZsYXNoBjoGRUZJQzonQWN0aW9uQ29udHJvbGxlcjo6Rmxhc2g6%250AOkZsYXNoSGFzaHsABjoKQHVzZWR7ADoLb3JhY2xlVToUT3JhY2xlOjpTZXNz%250AaW9uWw4iFDIxNi4xMzEuMTE0LjIyM0YwMDBJdToJVGltZQ1uZR6Ac5nIWAk6%250ADW5hbm9fbnVtaQI1AToNbmFub19kZW5pBjoNc3VibWljcm8iBzCQOgtvZmZz%250AZXRp%252FsDHMDAwOhRjdXJyZW50X2FydGljbGVpA33RAg%253D%253D--be2d7c81e22524460fa29dce3488b8a1853e9b35
accept-encoding
gzip, deflate, br
accept-language
de-DE,de;q=0.9
user-agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36
sec-fetch-mode
no-cors
accept
image/avif,image/webp,image/apng,image/svg+xml,image/*,*/*;q=0.8
cache-control
no-cache
sec-fetch-dest
image
:authority
cacm.acm.org
referer
https://cacm.acm.org/stylesheets/all.css
:scheme
https
sec-fetch-site
same-origin
:method
GET
Accept-Language
de-DE,de;q=0.9
Referer
https://cacm.acm.org/stylesheets/all.css
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36

Response headers

date
Mon, 11 Oct 2021 14:22:15 GMT
cf-cache-status
HIT
age
334783
cf-polished
origFmt=png, origSize=11006
content-disposition
inline; filename="search_box_bg.webp"
cf-bgj
imgq:100,h2pri
content-length
5484
last-modified
Fri, 09 Feb 2018 16:38:39 GMT
server
cloudflare
etag
"5a7dce8f-2afe"
expect-ct
max-age=604800, report-uri="https://report-uri.cloudflare.com/cdn-cgi/beacon/expect-ct"
vary
Accept, Accept-Encoding
content-type
image/webp
cache-control
public, max-age=2592000
accept-ranges
bytes
cf-ray
69c8bd51afed4e26-FRA
expires
Wed, 10 Nov 2021 14:22:15 GMT
empty.gif
cacm.acm.org/images/buttons/ 		34 B
234 B 		Image
General
Check archive.org
Download Go to Show image
Full URL
https://cacm.acm.org/images/buttons/empty.gif
Requested by
Host: cacm.acm.org
URL: https://cacm.acm.org/stylesheets/all.css
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
104.17.79.30 -, , ASN13335 (CLOUDFLARENET, US),
Reverse DNS
Software
cloudflare /
Resource Hash
1ebfb232be8f0669147ffd79ac8aebb42bc8f5b178f283d3bd6dc306e316a28e

Request headers

:path
/images/buttons/empty.gif
pragma
no-cache
cookie
format=full; _cacm_acm_session=BAh7CEkiCmZsYXNoBjoGRUZJQzonQWN0aW9uQ29udHJvbGxlcjo6Rmxhc2g6%250AOkZsYXNoSGFzaHsABjoKQHVzZWR7ADoLb3JhY2xlVToUT3JhY2xlOjpTZXNz%250AaW9uWw4iFDIxNi4xMzEuMTE0LjIyM0YwMDBJdToJVGltZQ1uZR6Ac5nIWAk6%250ADW5hbm9fbnVtaQI1AToNbmFub19kZW5pBjoNc3VibWljcm8iBzCQOgtvZmZz%250AZXRp%252FsDHMDAwOhRjdXJyZW50X2FydGljbGVpA33RAg%253D%253D--be2d7c81e22524460fa29dce3488b8a1853e9b35
accept-encoding
gzip, deflate, br
accept-language
de-DE,de;q=0.9
user-agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36
sec-fetch-mode
no-cors
accept
image/avif,image/webp,image/apng,image/svg+xml,image/*,*/*;q=0.8
cache-control
no-cache
sec-fetch-dest
image
:authority
cacm.acm.org
referer
https://cacm.acm.org/stylesheets/all.css
:scheme
https
sec-fetch-site
same-origin
:method
GET
Accept-Language
de-DE,de;q=0.9
Referer
https://cacm.acm.org/stylesheets/all.css
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36

Response headers

date
Mon, 11 Oct 2021 14:22:15 GMT
cf-cache-status
HIT
age
1016255
cf-polished
origFmt=gif, origSize=45
content-disposition
inline; filename="empty.webp"
cf-bgj
imgq:100,h2pri
content-length
34
last-modified
Fri, 09 Feb 2018 16:38:39 GMT
server
cloudflare
etag
"5a7dce8f-2d"
expect-ct
max-age=604800, report-uri="https://report-uri.cloudflare.com/cdn-cgi/beacon/expect-ct"
vary
Accept, Accept-Encoding
content-type
image/webp
cache-control
public, max-age=2592000
accept-ranges
bytes
cf-ray
69c8bd51afee4e26-FRA
expires
Wed, 10 Nov 2021 14:22:15 GMT
top_bar_bg.png
cacm.acm.org/images/backgrounds/ 		890 B
1 KB 		Image
General
Check archive.org
Download Go to Show image
Full URL
https://cacm.acm.org/images/backgrounds/top_bar_bg.png
Requested by
Host: cacm.acm.org
URL: https://cacm.acm.org/stylesheets/all.css
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
104.17.79.30 -, , ASN13335 (CLOUDFLARENET, US),
Reverse DNS
Software
cloudflare /
Resource Hash
53060b6b6886aa5c3f24335dc71d59af5b41af4f5dbbb7ac5b42890a83dae978

Request headers

:path
/images/backgrounds/top_bar_bg.png
pragma
no-cache
cookie
format=full; _cacm_acm_session=BAh7CEkiCmZsYXNoBjoGRUZJQzonQWN0aW9uQ29udHJvbGxlcjo6Rmxhc2g6%250AOkZsYXNoSGFzaHsABjoKQHVzZWR7ADoLb3JhY2xlVToUT3JhY2xlOjpTZXNz%250AaW9uWw4iFDIxNi4xMzEuMTE0LjIyM0YwMDBJdToJVGltZQ1uZR6Ac5nIWAk6%250ADW5hbm9fbnVtaQI1AToNbmFub19kZW5pBjoNc3VibWljcm8iBzCQOgtvZmZz%250AZXRp%252FsDHMDAwOhRjdXJyZW50X2FydGljbGVpA33RAg%253D%253D--be2d7c81e22524460fa29dce3488b8a1853e9b35
accept-encoding
gzip, deflate, br
accept-language
de-DE,de;q=0.9
user-agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36
sec-fetch-mode
no-cors
accept
image/avif,image/webp,image/apng,image/svg+xml,image/*,*/*;q=0.8
cache-control
no-cache
sec-fetch-dest
image
:authority
cacm.acm.org
referer
https://cacm.acm.org/stylesheets/all.css
:scheme
https
sec-fetch-site
same-origin
:method
GET
Accept-Language
de-DE,de;q=0.9
Referer
https://cacm.acm.org/stylesheets/all.css
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36

Response headers

date
Mon, 11 Oct 2021 14:22:15 GMT
cf-cache-status
HIT
age
1017216
cf-polished
origFmt=png, origSize=4351
content-disposition
inline; filename="top_bar_bg.webp"
cf-bgj
imgq:100,h2pri
content-length
890
last-modified
Fri, 09 Feb 2018 16:38:39 GMT
server
cloudflare
etag
"5a7dce8f-10ff"
expect-ct
max-age=604800, report-uri="https://report-uri.cloudflare.com/cdn-cgi/beacon/expect-ct"
vary
Accept, Accept-Encoding
content-type
image/webp
cache-control
public, max-age=2592000
accept-ranges
bytes
cf-ray
69c8bd51aff04e26-FRA
expires
Wed, 10 Nov 2021 14:22:15 GMT
main_logo_bg.png
cacm.acm.org/images/backgrounds/ 		1 KB
1 KB 		Image
General
Check archive.org
Download Go to Show image
Full URL
https://cacm.acm.org/images/backgrounds/main_logo_bg.png
Requested by
Host: cacm.acm.org
URL: https://cacm.acm.org/stylesheets/all.css
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
104.17.79.30 -, , ASN13335 (CLOUDFLARENET, US),
Reverse DNS
Software
cloudflare /
Resource Hash
d137596d5933ae9084935f244251a35477d55d3d52df3484b0ba05e6a8c4bdf1

Request headers

:path
/images/backgrounds/main_logo_bg.png
pragma
no-cache
cookie
format=full; _cacm_acm_session=BAh7CEkiCmZsYXNoBjoGRUZJQzonQWN0aW9uQ29udHJvbGxlcjo6Rmxhc2g6%250AOkZsYXNoSGFzaHsABjoKQHVzZWR7ADoLb3JhY2xlVToUT3JhY2xlOjpTZXNz%250AaW9uWw4iFDIxNi4xMzEuMTE0LjIyM0YwMDBJdToJVGltZQ1uZR6Ac5nIWAk6%250ADW5hbm9fbnVtaQI1AToNbmFub19kZW5pBjoNc3VibWljcm8iBzCQOgtvZmZz%250AZXRp%252FsDHMDAwOhRjdXJyZW50X2FydGljbGVpA33RAg%253D%253D--be2d7c81e22524460fa29dce3488b8a1853e9b35
accept-encoding
gzip, deflate, br
accept-language
de-DE,de;q=0.9
user-agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36
sec-fetch-mode
no-cors
accept
image/avif,image/webp,image/apng,image/svg+xml,image/*,*/*;q=0.8
cache-control
no-cache
sec-fetch-dest
image
:authority
cacm.acm.org
referer
https://cacm.acm.org/stylesheets/all.css
:scheme
https
sec-fetch-site
same-origin
:method
GET
Accept-Language
de-DE,de;q=0.9
Referer
https://cacm.acm.org/stylesheets/all.css
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36

Response headers

date
Mon, 11 Oct 2021 14:22:15 GMT
cf-cache-status
HIT
age
1539636
cf-polished
origFmt=png, origSize=2429
content-disposition
inline; filename="main_logo_bg.webp"
cf-bgj
imgq:100,h2pri
content-length
1190
last-modified
Fri, 09 Feb 2018 16:38:39 GMT
server
cloudflare
etag
"5a7dce8f-97d"
expect-ct
max-age=604800, report-uri="https://report-uri.cloudflare.com/cdn-cgi/beacon/expect-ct"
vary
Accept, Accept-Encoding
content-type
image/webp
cache-control
public, max-age=2592000
accept-ranges
bytes
cf-ray
69c8bd51aff34e26-FRA
expires
Wed, 10 Nov 2021 14:22:15 GMT
print.gif
cacm.acm.org/images/icons/ 		96 B
217 B 		Image
General
Check archive.org
Download Go to Show image
Full URL
https://cacm.acm.org/images/icons/print.gif
Requested by
Host: cacm.acm.org
URL: https://cacm.acm.org/stylesheets/all.css
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
104.17.79.30 -, , ASN13335 (CLOUDFLARENET, US),
Reverse DNS
Software
cloudflare /
Resource Hash
ad003627f006d81cb139ccc941dcf03df1274b59f277607b305026dc22aa9f1f

Request headers

:path
/images/icons/print.gif
pragma
no-cache
cookie
format=full; _cacm_acm_session=BAh7CEkiCmZsYXNoBjoGRUZJQzonQWN0aW9uQ29udHJvbGxlcjo6Rmxhc2g6%250AOkZsYXNoSGFzaHsABjoKQHVzZWR7ADoLb3JhY2xlVToUT3JhY2xlOjpTZXNz%250AaW9uWw4iFDIxNi4xMzEuMTE0LjIyM0YwMDBJdToJVGltZQ1uZR6Ac5nIWAk6%250ADW5hbm9fbnVtaQI1AToNbmFub19kZW5pBjoNc3VibWljcm8iBzCQOgtvZmZz%250AZXRp%252FsDHMDAwOhRjdXJyZW50X2FydGljbGVpA33RAg%253D%253D--be2d7c81e22524460fa29dce3488b8a1853e9b35
accept-encoding
gzip, deflate, br
accept-language
de-DE,de;q=0.9
user-agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36
sec-fetch-mode
no-cors
accept
image/avif,image/webp,image/apng,image/svg+xml,image/*,*/*;q=0.8
cache-control
no-cache
sec-fetch-dest
image
:authority
cacm.acm.org
referer
https://cacm.acm.org/stylesheets/all.css
:scheme
https
sec-fetch-site
same-origin
:method
GET
Accept-Language
de-DE,de;q=0.9
Referer
https://cacm.acm.org/stylesheets/all.css
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36

Response headers

date
Mon, 11 Oct 2021 14:22:15 GMT
cf-cache-status
HIT
age
1016255
cf-polished
origFmt=gif, origSize=118
content-disposition
inline; filename="print.webp"
cf-bgj
imgq:100,h2pri
content-length
96
last-modified
Fri, 09 Feb 2018 16:38:39 GMT
server
cloudflare
etag
"5a7dce8f-76"
expect-ct
max-age=604800, report-uri="https://report-uri.cloudflare.com/cdn-cgi/beacon/expect-ct"
vary
Accept, Accept-Encoding
content-type
image/webp
cache-control
public, max-age=2592000
accept-ranges
bytes
cf-ray
69c8bd51c8194e26-FRA
expires
Wed, 10 Nov 2021 14:22:15 GMT
generic.gif
cacm.acm.org/images/icons/ 		132 B
333 B 		Image
General
Check archive.org
Download Go to Show image
Full URL
https://cacm.acm.org/images/icons/generic.gif
Requested by
Host: cacm.acm.org
URL: https://cacm.acm.org/stylesheets/all.css
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
104.17.79.30 -, , ASN13335 (CLOUDFLARENET, US),
Reverse DNS
Software
cloudflare /
Resource Hash
46d09890ec578cfe232b17802385486e437b92df5a583b4ff5c9a53c9e4e40ea

Request headers

:path
/images/icons/generic.gif
pragma
no-cache
cookie
format=full; _cacm_acm_session=BAh7CEkiCmZsYXNoBjoGRUZJQzonQWN0aW9uQ29udHJvbGxlcjo6Rmxhc2g6%250AOkZsYXNoSGFzaHsABjoKQHVzZWR7ADoLb3JhY2xlVToUT3JhY2xlOjpTZXNz%250AaW9uWw4iFDIxNi4xMzEuMTE0LjIyM0YwMDBJdToJVGltZQ1uZR6Ac5nIWAk6%250ADW5hbm9fbnVtaQI1AToNbmFub19kZW5pBjoNc3VibWljcm8iBzCQOgtvZmZz%250AZXRp%252FsDHMDAwOhRjdXJyZW50X2FydGljbGVpA33RAg%253D%253D--be2d7c81e22524460fa29dce3488b8a1853e9b35
accept-encoding
gzip, deflate, br
accept-language
de-DE,de;q=0.9
user-agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36
sec-fetch-mode
no-cors
accept
image/avif,image/webp,image/apng,image/svg+xml,image/*,*/*;q=0.8
cache-control
no-cache
sec-fetch-dest
image
:authority
cacm.acm.org
referer
https://cacm.acm.org/stylesheets/all.css
:scheme
https
sec-fetch-site
same-origin
:method
GET
Accept-Language
de-DE,de;q=0.9
Referer
https://cacm.acm.org/stylesheets/all.css
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36

Response headers

date
Mon, 11 Oct 2021 14:22:15 GMT
cf-cache-status
HIT
age
1540351
cf-polished
origFmt=gif, origSize=296
content-disposition
inline; filename="generic.webp"
cf-bgj
imgq:100,h2pri
content-length
132
last-modified
Fri, 09 Feb 2018 16:38:39 GMT
server
cloudflare
etag
"5a7dce8f-128"
expect-ct
max-age=604800, report-uri="https://report-uri.cloudflare.com/cdn-cgi/beacon/expect-ct"
vary
Accept, Accept-Encoding
content-type
image/webp
cache-control
public, max-age=2592000
accept-ranges
bytes
cf-ray
69c8bd51c81d4e26-FRA
expires
Wed, 10 Nov 2021 14:22:15 GMT
acm_digital_library.gif
cacm.acm.org/images/icons/ 		320 B
480 B 		Image
General
Check archive.org
Download Go to Show image
Full URL
https://cacm.acm.org/images/icons/acm_digital_library.gif
Requested by
Host: cacm.acm.org
URL: https://cacm.acm.org/stylesheets/all.css
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
104.17.79.30 -, , ASN13335 (CLOUDFLARENET, US),
Reverse DNS
Software
cloudflare /
Resource Hash
9b8dbeeef41702843bdf657cb7144b3c12ad45db34d6723b8ddec9f4d370f795

Request headers

:path
/images/icons/acm_digital_library.gif
pragma
no-cache
cookie
format=full; _cacm_acm_session=BAh7CEkiCmZsYXNoBjoGRUZJQzonQWN0aW9uQ29udHJvbGxlcjo6Rmxhc2g6%250AOkZsYXNoSGFzaHsABjoKQHVzZWR7ADoLb3JhY2xlVToUT3JhY2xlOjpTZXNz%250AaW9uWw4iFDIxNi4xMzEuMTE0LjIyM0YwMDBJdToJVGltZQ1uZR6Ac5nIWAk6%250ADW5hbm9fbnVtaQI1AToNbmFub19kZW5pBjoNc3VibWljcm8iBzCQOgtvZmZz%250AZXRp%252FsDHMDAwOhRjdXJyZW50X2FydGljbGVpA33RAg%253D%253D--be2d7c81e22524460fa29dce3488b8a1853e9b35
accept-encoding
gzip, deflate, br
accept-language
de-DE,de;q=0.9
user-agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36
sec-fetch-mode
no-cors
accept
image/avif,image/webp,image/apng,image/svg+xml,image/*,*/*;q=0.8
cache-control
no-cache
sec-fetch-dest
image
:authority
cacm.acm.org
referer
https://cacm.acm.org/stylesheets/all.css
:scheme
https
sec-fetch-site
same-origin
:method
GET
Accept-Language
de-DE,de;q=0.9
Referer
https://cacm.acm.org/stylesheets/all.css
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36

Response headers

date
Mon, 11 Oct 2021 14:22:15 GMT
cf-cache-status
HIT
age
1542363
cf-polished
origFmt=gif, origSize=333
content-disposition
inline; filename="acm_digital_library.webp"
cf-bgj
imgq:100,h2pri
content-length
320
last-modified
Fri, 09 Feb 2018 16:38:39 GMT
server
cloudflare
etag
"5a7dce8f-14d"
expect-ct
max-age=604800, report-uri="https://report-uri.cloudflare.com/cdn-cgi/beacon/expect-ct"
vary
Accept, Accept-Encoding
content-type
image/webp
cache-control
public, max-age=2592000
accept-ranges
bytes
cf-ray
69c8bd51c81e4e26-FRA
expires
Wed, 10 Nov 2021 14:22:15 GMT
pdf.gif
cacm.acm.org/images/icons/ 		234 B
405 B 		Image
General
Check archive.org
Download Go to Show image
Full URL
https://cacm.acm.org/images/icons/pdf.gif
Requested by
Host: cacm.acm.org
URL: https://cacm.acm.org/stylesheets/all.css
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
104.17.79.30 -, , ASN13335 (CLOUDFLARENET, US),
Reverse DNS
Software
cloudflare /
Resource Hash
752a538b215b7765b91fa73c2e6b8db7b0439f3c4a8fd2274923568edb5a2504

Request headers

:path
/images/icons/pdf.gif
pragma
no-cache
cookie
format=full; _cacm_acm_session=BAh7CEkiCmZsYXNoBjoGRUZJQzonQWN0aW9uQ29udHJvbGxlcjo6Rmxhc2g6%250AOkZsYXNoSGFzaHsABjoKQHVzZWR7ADoLb3JhY2xlVToUT3JhY2xlOjpTZXNz%250AaW9uWw4iFDIxNi4xMzEuMTE0LjIyM0YwMDBJdToJVGltZQ1uZR6Ac5nIWAk6%250ADW5hbm9fbnVtaQI1AToNbmFub19kZW5pBjoNc3VibWljcm8iBzCQOgtvZmZz%250AZXRp%252FsDHMDAwOhRjdXJyZW50X2FydGljbGVpA33RAg%253D%253D--be2d7c81e22524460fa29dce3488b8a1853e9b35
accept-encoding
gzip, deflate, br
accept-language
de-DE,de;q=0.9
user-agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36
sec-fetch-mode
no-cors
accept
image/avif,image/webp,image/apng,image/svg+xml,image/*,*/*;q=0.8
cache-control
no-cache
sec-fetch-dest
image
:authority
cacm.acm.org
referer
https://cacm.acm.org/stylesheets/all.css
:scheme
https
sec-fetch-site
same-origin
:method
GET
Accept-Language
de-DE,de;q=0.9
Referer
https://cacm.acm.org/stylesheets/all.css
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36

Response headers

date
Mon, 11 Oct 2021 14:22:15 GMT
cf-cache-status
HIT
age
59662
cf-polished
origFmt=gif, origSize=297
content-disposition
inline; filename="pdf.webp"
cf-bgj
imgq:100,h2pri
content-length
234
last-modified
Fri, 09 Feb 2018 16:38:39 GMT
server
cloudflare
etag
"5a7dce8f-129"
expect-ct
max-age=604800, report-uri="https://report-uri.cloudflare.com/cdn-cgi/beacon/expect-ct"
vary
Accept, Accept-Encoding
content-type
image/webp
cache-control
public, max-age=2592000
accept-ranges
bytes
cf-ray
69c8bd51c81f4e26-FRA
expires
Wed, 10 Nov 2021 14:22:15 GMT
de.gif
cacm.acm.org/images/icons/ 		212 B
346 B 		Image
General
Check archive.org
Download Go to Show image
Full URL
https://cacm.acm.org/images/icons/de.gif
Requested by
Host: cacm.acm.org
URL: https://cacm.acm.org/stylesheets/all.css
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
104.17.79.30 -, , ASN13335 (CLOUDFLARENET, US),
Reverse DNS
Software
cloudflare /
Resource Hash
825b9fbf8458c03eed27d680c1fb60087e2c27a09791b27da36d583bafc761c1

Request headers

:path
/images/icons/de.gif
pragma
no-cache
cookie
format=full; _cacm_acm_session=BAh7CEkiCmZsYXNoBjoGRUZJQzonQWN0aW9uQ29udHJvbGxlcjo6Rmxhc2g6%250AOkZsYXNoSGFzaHsABjoKQHVzZWR7ADoLb3JhY2xlVToUT3JhY2xlOjpTZXNz%250AaW9uWw4iFDIxNi4xMzEuMTE0LjIyM0YwMDBJdToJVGltZQ1uZR6Ac5nIWAk6%250ADW5hbm9fbnVtaQI1AToNbmFub19kZW5pBjoNc3VibWljcm8iBzCQOgtvZmZz%250AZXRp%252FsDHMDAwOhRjdXJyZW50X2FydGljbGVpA33RAg%253D%253D--be2d7c81e22524460fa29dce3488b8a1853e9b35
accept-encoding
gzip, deflate, br
accept-language
de-DE,de;q=0.9
user-agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36
sec-fetch-mode
no-cors
accept
image/avif,image/webp,image/apng,image/svg+xml,image/*,*/*;q=0.8
cache-control
no-cache
sec-fetch-dest
image
:authority
cacm.acm.org
referer
https://cacm.acm.org/stylesheets/all.css
:scheme
https
sec-fetch-site
same-origin
:method
GET
Accept-Language
de-DE,de;q=0.9
Referer
https://cacm.acm.org/stylesheets/all.css
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36

Response headers

date
Mon, 11 Oct 2021 14:22:15 GMT
cf-cache-status
HIT
age
1359706
cf-polished
origFmt=gif, origSize=254
content-disposition
inline; filename="de.webp"
cf-bgj
imgq:100,h2pri
content-length
212
last-modified
Fri, 09 Feb 2018 16:38:39 GMT
server
cloudflare
etag
"5a7dce8f-fe"
expect-ct
max-age=604800, report-uri="https://report-uri.cloudflare.com/cdn-cgi/beacon/expect-ct"
vary
Accept, Accept-Encoding
content-type
image/webp
cache-control
public, max-age=2592000
accept-ranges
bytes
cf-ray
69c8bd51c8214e26-FRA
expires
Wed, 10 Nov 2021 14:22:15 GMT
mail.gif
cacm.acm.org/images/icons/ 		252 B
386 B 		Image
General
Check archive.org
Download Go to Show image
Full URL
https://cacm.acm.org/images/icons/mail.gif
Requested by
Host: cacm.acm.org
URL: https://cacm.acm.org/stylesheets/all.css
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
104.17.79.30 -, , ASN13335 (CLOUDFLARENET, US),
Reverse DNS
Software
cloudflare /
Resource Hash
fb582af437c5833f4aaef86428484f47a80f2c40dba6503d5face248cef90c8e

Request headers

:path
/images/icons/mail.gif
pragma
no-cache
cookie
format=full; _cacm_acm_session=BAh7CEkiCmZsYXNoBjoGRUZJQzonQWN0aW9uQ29udHJvbGxlcjo6Rmxhc2g6%250AOkZsYXNoSGFzaHsABjoKQHVzZWR7ADoLb3JhY2xlVToUT3JhY2xlOjpTZXNz%250AaW9uWw4iFDIxNi4xMzEuMTE0LjIyM0YwMDBJdToJVGltZQ1uZR6Ac5nIWAk6%250ADW5hbm9fbnVtaQI1AToNbmFub19kZW5pBjoNc3VibWljcm8iBzCQOgtvZmZz%250AZXRp%252FsDHMDAwOhRjdXJyZW50X2FydGljbGVpA33RAg%253D%253D--be2d7c81e22524460fa29dce3488b8a1853e9b35
accept-encoding
gzip, deflate, br
accept-language
de-DE,de;q=0.9
user-agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36
sec-fetch-mode
no-cors
accept
image/avif,image/webp,image/apng,image/svg+xml,image/*,*/*;q=0.8
cache-control
no-cache
sec-fetch-dest
image
:authority
cacm.acm.org
referer
https://cacm.acm.org/stylesheets/all.css
:scheme
https
sec-fetch-site
same-origin
:method
GET
Accept-Language
de-DE,de;q=0.9
Referer
https://cacm.acm.org/stylesheets/all.css
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36

Response headers

date
Mon, 11 Oct 2021 14:22:15 GMT
cf-cache-status
HIT
age
32438
cf-polished
origFmt=gif, origSize=307
content-disposition
inline; filename="mail.webp"
cf-bgj
imgq:100,h2pri
content-length
252
last-modified
Fri, 09 Feb 2018 16:38:39 GMT
server
cloudflare
etag
"5a7dce8f-133"
expect-ct
max-age=604800, report-uri="https://report-uri.cloudflare.com/cdn-cgi/beacon/expect-ct"
vary
Accept, Accept-Encoding
content-type
image/webp
cache-control
public, max-age=2592000
accept-ranges
bytes
cf-ray
69c8bd51c8234e26-FRA
expires
Wed, 10 Nov 2021 14:22:15 GMT
reddit.gif
cacm.acm.org/images/icons/ 		246 B
399 B 		Image
General
Check archive.org
Download Go to Show image
Full URL
https://cacm.acm.org/images/icons/reddit.gif
Requested by
Host: cacm.acm.org
URL: https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
104.17.79.30 -, , ASN13335 (CLOUDFLARENET, US),
Reverse DNS
Software
cloudflare /
Resource Hash
e1c5fd50bb60936f3c2741512c6f706f1d4cde0fefc3ab200f64796af328c895

Request headers

:path
/images/icons/reddit.gif
pragma
no-cache
cookie
format=full; _cacm_acm_session=BAh7CEkiCmZsYXNoBjoGRUZJQzonQWN0aW9uQ29udHJvbGxlcjo6Rmxhc2g6%250AOkZsYXNoSGFzaHsABjoKQHVzZWR7ADoLb3JhY2xlVToUT3JhY2xlOjpTZXNz%250AaW9uWw4iFDIxNi4xMzEuMTE0LjIyM0YwMDBJdToJVGltZQ1uZR6Ac5nIWAk6%250ADW5hbm9fbnVtaQI1AToNbmFub19kZW5pBjoNc3VibWljcm8iBzCQOgtvZmZz%250AZXRp%252FsDHMDAwOhRjdXJyZW50X2FydGljbGVpA33RAg%253D%253D--be2d7c81e22524460fa29dce3488b8a1853e9b35
accept-encoding
gzip, deflate, br
accept-language
de-DE,de;q=0.9
user-agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36
sec-fetch-mode
no-cors
accept
image/avif,image/webp,image/apng,image/svg+xml,image/*,*/*;q=0.8
cache-control
no-cache
sec-fetch-dest
image
:authority
cacm.acm.org
referer
https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
:scheme
https
sec-fetch-site
same-origin
:method
GET
Accept-Language
de-DE,de;q=0.9
Referer
https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36

Response headers

date
Mon, 11 Oct 2021 14:22:15 GMT
cf-cache-status
HIT
age
334782
cf-polished
origFmt=gif, origSize=414
content-disposition
inline; filename="reddit.webp"
cf-bgj
imgq:100,h2pri
content-length
246
last-modified
Fri, 09 Feb 2018 16:38:39 GMT
server
cloudflare
etag
"5a7dce8f-19e"
expect-ct
max-age=604800, report-uri="https://report-uri.cloudflare.com/cdn-cgi/beacon/expect-ct"
vary
Accept, Accept-Encoding
content-type
image/webp
cache-control
public, max-age=2592000
accept-ranges
bytes
cf-ray
69c8bd51c8254e26-FRA
expires
Wed, 10 Nov 2021 14:22:15 GMT
su.gif
cacm.acm.org/images/icons/ 		498 B
693 B 		Image
General
Check archive.org
Download Go to Show image
Full URL
https://cacm.acm.org/images/icons/su.gif
Requested by
Host: cacm.acm.org
URL: https://cacm.acm.org/stylesheets/all.css
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
104.17.79.30 -, , ASN13335 (CLOUDFLARENET, US),
Reverse DNS
Software
cloudflare /
Resource Hash
1d031f40cdfa41716a26131d0989b66ef8f80d38f172b32122f66b18ef72cdb7

Request headers

:path
/images/icons/su.gif
pragma
no-cache
cookie
format=full; _cacm_acm_session=BAh7CEkiCmZsYXNoBjoGRUZJQzonQWN0aW9uQ29udHJvbGxlcjo6Rmxhc2g6%250AOkZsYXNoSGFzaHsABjoKQHVzZWR7ADoLb3JhY2xlVToUT3JhY2xlOjpTZXNz%250AaW9uWw4iFDIxNi4xMzEuMTE0LjIyM0YwMDBJdToJVGltZQ1uZR6Ac5nIWAk6%250ADW5hbm9fbnVtaQI1AToNbmFub19kZW5pBjoNc3VibWljcm8iBzCQOgtvZmZz%250AZXRp%252FsDHMDAwOhRjdXJyZW50X2FydGljbGVpA33RAg%253D%253D--be2d7c81e22524460fa29dce3488b8a1853e9b35
accept-encoding
gzip, deflate, br
accept-language
de-DE,de;q=0.9
user-agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36
sec-fetch-mode
no-cors
accept
image/avif,image/webp,image/apng,image/svg+xml,image/*,*/*;q=0.8
cache-control
no-cache
sec-fetch-dest
image
:authority
cacm.acm.org
referer
https://cacm.acm.org/stylesheets/all.css
:scheme
https
sec-fetch-site
same-origin
:method
GET
Accept-Language
de-DE,de;q=0.9
Referer
https://cacm.acm.org/stylesheets/all.css
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36

Response headers

date
Mon, 11 Oct 2021 14:22:15 GMT
cf-cache-status
HIT
age
1294998
cf-polished
origFmt=gif, origSize=648
content-disposition
inline; filename="su.webp"
cf-bgj
imgq:100,h2pri
content-length
498
last-modified
Fri, 09 Feb 2018 16:38:39 GMT
server
cloudflare
etag
"5a7dce8f-288"
expect-ct
max-age=604800, report-uri="https://report-uri.cloudflare.com/cdn-cgi/beacon/expect-ct"
vary
Accept, Accept-Encoding
content-type
image/webp
cache-control
public, max-age=2592000
accept-ranges
bytes
cf-ray
69c8bd51c8274e26-FRA
expires
Wed, 10 Nov 2021 14:22:15 GMT
hacker-news.png
img.icons8.com/color/48/000000/ 		513 B
1 KB 		Image
General
Check archive.org
Download Go to Show image
Full URL
https://img.icons8.com/color/48/000000/hacker-news.png
Requested by
Host: cacm.acm.org
URL: https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
Protocol
H2
Security
TLS 1.3, , AES_256_GCM
Server
195.181.175.49 Frankfurt am Main, Germany, ASN60068 (CDN77 ^_^, GB),
Reverse DNS
frankfurt-47.cdn77.com
Software
CDN77-Turbo /
Resource Hash
0e5899d787e474fb64735f58146efbec71dcaa5a026fc0830abbf7de34063bb3
Security Headers
Name Value
Strict-Transport-Security max-age=15552000; includeSubDomains
X-Content-Type-Options nosniff
X-Xss-Protection 1; mode=block

Request headers

Accept-Language
de-DE,de;q=0.9
Referer
https://cacm.acm.org/
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36

Response headers

x-77-pop
frankfurtDE
date
Mon, 11 Oct 2021 14:22:15 GMT
icon-size
48
x-content-type-options
nosniff
memory-svg-cache
true
access-control-allow-origin
*
from-cache
false
from-svg-cache
true
icon-format
png
x-cache
HIT
x-age
183290
x-dns-prefetch-control
off
content-length
513
x-xss-protection
1; mode=block
x-77-nzt
AcO1ry8KcYTv+ssCAA==
x-accel-expires
@1634081245
not-found-platform
false
last-modified
Sat, 09 Oct 2021 05:23:53 GMT
server
CDN77-Turbo
x-77-nzt-ray
rxVUqcPH1CA=
x-download-options
noopen
x-77-cache
HIT
strict-transport-security
max-age=15552000; includeSubDomains
content-type
image/png
memory-cache
false
access-control-expose-headers
Content-Disposition
cache-control
public, max-age=302400
icon-id
20999
accept-ranges
bytes
version
0.1.0-SNAPSHOT.20211007170157765
twitter.gif
cacm.acm.org/images/icons/ 		284 B
423 B 		Image
General
Check archive.org
Download Go to Show image
Full URL
https://cacm.acm.org/images/icons/twitter.gif
Requested by
Host: cacm.acm.org
URL: https://cacm.acm.org/stylesheets/all.css
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
104.17.79.30 -, , ASN13335 (CLOUDFLARENET, US),
Reverse DNS
Software
cloudflare /
Resource Hash
032894f7f53a6c90e20466bb2f00b7d3393cfbbf649eed8de07213fe305d725f

Request headers

:path
/images/icons/twitter.gif
pragma
no-cache
cookie
format=full; _cacm_acm_session=BAh7CEkiCmZsYXNoBjoGRUZJQzonQWN0aW9uQ29udHJvbGxlcjo6Rmxhc2g6%250AOkZsYXNoSGFzaHsABjoKQHVzZWR7ADoLb3JhY2xlVToUT3JhY2xlOjpTZXNz%250AaW9uWw4iFDIxNi4xMzEuMTE0LjIyM0YwMDBJdToJVGltZQ1uZR6Ac5nIWAk6%250ADW5hbm9fbnVtaQI1AToNbmFub19kZW5pBjoNc3VibWljcm8iBzCQOgtvZmZz%250AZXRp%252FsDHMDAwOhRjdXJyZW50X2FydGljbGVpA33RAg%253D%253D--be2d7c81e22524460fa29dce3488b8a1853e9b35
accept-encoding
gzip, deflate, br
accept-language
de-DE,de;q=0.9
user-agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36
sec-fetch-mode
no-cors
accept
image/avif,image/webp,image/apng,image/svg+xml,image/*,*/*;q=0.8
cache-control
no-cache
sec-fetch-dest
image
:authority
cacm.acm.org
referer
https://cacm.acm.org/stylesheets/all.css
:scheme
https
sec-fetch-site
same-origin
:method
GET
Accept-Language
de-DE,de;q=0.9
Referer
https://cacm.acm.org/stylesheets/all.css
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36

Response headers

date
Mon, 11 Oct 2021 14:22:15 GMT
cf-cache-status
HIT
age
29931
cf-polished
origFmt=gif, origSize=345
content-disposition
inline; filename="twitter.webp"
cf-bgj
imgq:100,h2pri
content-length
284
last-modified
Fri, 09 Feb 2018 16:38:39 GMT
server
cloudflare
etag
"5a7dce8f-159"
expect-ct
max-age=604800, report-uri="https://report-uri.cloudflare.com/cdn-cgi/beacon/expect-ct"
vary
Accept, Accept-Encoding
content-type
image/webp
cache-control
public, max-age=2592000
accept-ranges
bytes
cf-ray
69c8bd51c8294e26-FRA
expires
Wed, 10 Nov 2021 14:22:15 GMT
facebook.gif
cacm.acm.org/images/icons/ 		294 B
424 B 		Image
General
Check archive.org
Download Go to Show image
Full URL
https://cacm.acm.org/images/icons/facebook.gif
Requested by
Host: cacm.acm.org
URL: https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
104.17.79.30 -, , ASN13335 (CLOUDFLARENET, US),
Reverse DNS
Software
cloudflare /
Resource Hash
f9738c6288a2f291d9ea7c63338b8f368306166411fb7dda3135062bd2c88657

Request headers

:path
/images/icons/facebook.gif
pragma
no-cache
cookie
format=full; _cacm_acm_session=BAh7CEkiCmZsYXNoBjoGRUZJQzonQWN0aW9uQ29udHJvbGxlcjo6Rmxhc2g6%250AOkZsYXNoSGFzaHsABjoKQHVzZWR7ADoLb3JhY2xlVToUT3JhY2xlOjpTZXNz%250AaW9uWw4iFDIxNi4xMzEuMTE0LjIyM0YwMDBJdToJVGltZQ1uZR6Ac5nIWAk6%250ADW5hbm9fbnVtaQI1AToNbmFub19kZW5pBjoNc3VibWljcm8iBzCQOgtvZmZz%250AZXRp%252FsDHMDAwOhRjdXJyZW50X2FydGljbGVpA33RAg%253D%253D--be2d7c81e22524460fa29dce3488b8a1853e9b35
accept-encoding
gzip, deflate, br
accept-language
de-DE,de;q=0.9
user-agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36
sec-fetch-mode
no-cors
accept
image/avif,image/webp,image/apng,image/svg+xml,image/*,*/*;q=0.8
cache-control
no-cache
sec-fetch-dest
image
:authority
cacm.acm.org
referer
https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
:scheme
https
sec-fetch-site
same-origin
:method
GET
Accept-Language
de-DE,de;q=0.9
Referer
https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36

Response headers

date
Mon, 11 Oct 2021 14:22:15 GMT
cf-cache-status
HIT
age
232604
cf-polished
origFmt=gif, origSize=331
content-disposition
inline; filename="facebook.webp"
cf-bgj
imgq:100,h2pri
content-length
294
last-modified
Fri, 09 Feb 2018 16:38:39 GMT
server
cloudflare
etag
"5a7dce8f-14b"
expect-ct
max-age=604800, report-uri="https://report-uri.cloudflare.com/cdn-cgi/beacon/expect-ct"
vary
Accept, Accept-Encoding
content-type
image/webp
cache-control
public, max-age=2592000
accept-ranges
bytes
cf-ray
69c8bd51c82a4e26-FRA
expires
Wed, 10 Nov 2021 14:22:15 GMT
more.gif
cacm.acm.org/images/icons/ 		126 B
252 B 		Image
General
Check archive.org
Download Go to Show image
Full URL
https://cacm.acm.org/images/icons/more.gif
Requested by
Host: cacm.acm.org
URL: https://cacm.acm.org/stylesheets/all.css
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
104.17.79.30 -, , ASN13335 (CLOUDFLARENET, US),
Reverse DNS
Software
cloudflare /
Resource Hash
4ec26f5823ed455f678ae779aba24308dcbe6497c0f85b27763cca31c7433208

Request headers

:path
/images/icons/more.gif
pragma
no-cache
cookie
format=full; _cacm_acm_session=BAh7CEkiCmZsYXNoBjoGRUZJQzonQWN0aW9uQ29udHJvbGxlcjo6Rmxhc2g6%250AOkZsYXNoSGFzaHsABjoKQHVzZWR7ADoLb3JhY2xlVToUT3JhY2xlOjpTZXNz%250AaW9uWw4iFDIxNi4xMzEuMTE0LjIyM0YwMDBJdToJVGltZQ1uZR6Ac5nIWAk6%250ADW5hbm9fbnVtaQI1AToNbmFub19kZW5pBjoNc3VibWljcm8iBzCQOgtvZmZz%250AZXRp%252FsDHMDAwOhRjdXJyZW50X2FydGljbGVpA33RAg%253D%253D--be2d7c81e22524460fa29dce3488b8a1853e9b35
accept-encoding
gzip, deflate, br
accept-language
de-DE,de;q=0.9
user-agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36
sec-fetch-mode
no-cors
accept
image/avif,image/webp,image/apng,image/svg+xml,image/*,*/*;q=0.8
cache-control
no-cache
sec-fetch-dest
image
:authority
cacm.acm.org
referer
https://cacm.acm.org/stylesheets/all.css
:scheme
https
sec-fetch-site
same-origin
:method
GET
Accept-Language
de-DE,de;q=0.9
Referer
https://cacm.acm.org/stylesheets/all.css
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36

Response headers

date
Mon, 11 Oct 2021 14:22:15 GMT
cf-cache-status
HIT
age
29931
cf-polished
origFmt=gif, origSize=152
content-disposition
inline; filename="more.webp"
cf-bgj
imgq:100,h2pri
content-length
126
last-modified
Fri, 09 Feb 2018 16:38:39 GMT
server
cloudflare
etag
"5a7dce8f-98"
expect-ct
max-age=604800, report-uri="https://report-uri.cloudflare.com/cdn-cgi/beacon/expect-ct"
vary
Accept, Accept-Encoding
content-type
image/webp
cache-control
public, max-age=2592000
accept-ranges
bytes
cf-ray
69c8bd51c82d4e26-FRA
expires
Wed, 10 Nov 2021 14:22:15 GMT
analytics.js
www.google-analytics.com/ 		48 KB
20 KB 		Script
General
Check archive.org
Download Go to
Full URL
https://www.google-analytics.com/analytics.js
Requested by
Host: www.googletagmanager.com
URL: https://www.googletagmanager.com/gtag/js?id=UA-6995646-3
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
142.250.185.174 , United States, ASN15169 (GOOGLE, US),
Reverse DNS
fra16s51-in-f14.1e100.net
Software
Golfe2 /
Resource Hash
fd222137f245c06ddb4c4d44db41f12138dad6cf8ef5d4d4a5e500f38f0c8c62
Security Headers
Name Value
Strict-Transport-Security max-age=10886400; includeSubDomains; preload
X-Content-Type-Options nosniff

Request headers

Accept-Language
de-DE,de;q=0.9
Referer
https://cacm.acm.org/
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36

Response headers

strict-transport-security
max-age=10886400; includeSubDomains; preload
content-encoding
gzip
x-content-type-options
nosniff
last-modified
Wed, 11 Aug 2021 00:32:57 GMT
server
Golfe2
age
5718
date
Mon, 11 Oct 2021 12:46:57 GMT
vary
Accept-Encoding
content-type
text/javascript
cache-control
public, max-age=7200
cross-origin-resource-policy
cross-origin
alt-svc
h3=":443"; ma=2592000,h3-29=":443"; ma=2592000,h3-T051=":443"; ma=2592000,h3-Q050=":443"; ma=2592000,h3-Q046=":443"; ma=2592000,h3-Q043=":443"; ma=2592000,quic=":443"; ma=2592000; v="46,43"
content-length
19747
expires
Mon, 11 Oct 2021 14:46:57 GMT
F_pTME7mydky5kHVQaaa.json
s.swiftypecdn.com/install/v2/config/ 		18 KB
5 KB 		XHR
General
Check archive.org
Download Go to
Full URL
https://s.swiftypecdn.com/install/v2/config/F_pTME7mydky5kHVQaaa.json
Requested by
Host: s.swiftypecdn.com
URL: https://s.swiftypecdn.com/install/v2/st.js
Protocol
HTTP/1.1
Security
TLS 1.2, ECDHE_RSA, AES_128_GCM
Server
151.101.64.143 , United States, ASN54113 (FASTLY, US),
Reverse DNS
Software
/
Resource Hash
c20f1921ddbebc9bbcbc4b8f3f9b1f039910d1cb245c92049d385d11fed3ce21
Security Headers
Name Value
X-Content-Type-Options nosniff
X-Frame-Options SAMEORIGIN
X-Xss-Protection 1; mode=block

Request headers

Accept
*/*
Referer
https://cacm.acm.org/
Accept-Language
de-DE,de;q=0.9
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36

Response headers

X-Swiftype-Backend-Region
dal
Content-Encoding
gzip
X-Content-Type-Options
nosniff
Age
193
X-Cache
HIT
Status
200 OK
Connection
keep-alive
Vary
Accept-Encoding, Origin
Content-Length
3904
X-XSS-Protection
1; mode=block
X-Request-Id
1f218cfa22aaa2815e46123dd6dcf18d
X-Swiftype-Backend-Datacenter
dal10
X-Runtime
0.210185
Access-Control-Allow-Origin
*
Last-Modified
Fri, 16 Mar 2018 21:53:00 GMT
X-Swiftype-Backend-Node
app-website01a.dal10
X-Timer
S1633962135.425706,VS0,VE1
X-Frame-Options
SAMEORIGIN
Date
Mon, 11 Oct 2021 14:22:15 GMT
X-Served-By
cache-fra19165-FRA
Access-Control-Max-Age
7200
Access-Control-Allow-Methods
GET, POST
Content-Type
application/json; charset=utf-8
Via
1.1 varnish
Access-Control-Expose-Headers
Cache-Control
max-age=300, public
Access-Control-Allow-Credentials
true
ETag
W/"3e3fd0b5aeee015e85e5716bfa9079a2"
Accept-Ranges
bytes
X-Rack-Cache
pass
X-Cache-Hits
1
_ate.track.config_resp
v1.addthisedge.com/live/boost/xa-4dcbeff2515fc93c/ 		27 B
207 B 		Script
General
Check archive.org
Download Go to
Full URL
https://v1.addthisedge.com/live/boost/xa-4dcbeff2515fc93c/_ate.track.config_resp
Requested by
Host: s7.addthis.com
URL: https://s7.addthis.com/js/250/addthis_widget.js
Protocol
H2
Security
TLS 1.3, , AES_256_GCM
Server
184.30.24.121 Frankfurt am Main, Germany, ASN16625 (AKAMAI-AS, US),
Reverse DNS
a184-30-24-121.deploy.static.akamaitechnologies.com
Software
/
Resource Hash
19a26d6046c4fcfe9e3efbc1fb7532f424c6b0b7590b9e193788e30bce8b9836

Request headers

Accept-Language
de-DE,de;q=0.9
Referer
https://cacm.acm.org/
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36

Response headers

date
Mon, 11 Oct 2021 14:22:15 GMT
content-encoding
gzip
content-disposition
attachment; filename=1.txt
cache-control
public, max-age=42, s-maxage=86400
content-length
47
vary
Accept-Encoding
content-type
application/javascript;charset=utf-8
300lo.json
m.addthis.com/live/red_lojson/ 		90 B
250 B 		Script
General
Check archive.org
Download Go to
Full URL
https://m.addthis.com/live/red_lojson/300lo.json?si=6164489780679247&bkl=0&bl=1&pdt=2910&sid=6164489780679247&pub=xa-4dcbeff2515fc93c&rev=v8.28.8-wp&ln=en&pc=men&cb=0&ab=-&dp=cacm.acm.org&fp=magazines%2F2015%2F4%2F184701-how-amazon-web-services-uses-formal-methods%2Ffulltext&fr=&of=0&pd=0&irt=0&vcl=0&md=0&ct=1&tct=0&abt=0&cdn=0&pi=1&rb=0&gen=100&chr=UTF-8&colc=1633962135456&jsl=1&uvs=6164489768186c05000&skipb=1&callback=addthis.cbs.jsonp__138361160195464180
Requested by
Host: s7.addthis.com
URL: https://s7.addthis.com/js/250/addthis_widget.js
Protocol
H2
Security
TLS 1.3, , AES_256_GCM
Server
184.30.24.121 Frankfurt am Main, Germany, ASN16625 (AKAMAI-AS, US),
Reverse DNS
a184-30-24-121.deploy.static.akamaitechnologies.com
Software
/
Resource Hash
96ffe7c64fcd858cecf9ec89b218b5a589a590ec215c10d7f5fab38933fe4cd1

Request headers

Accept-Language
de-DE,de;q=0.9
Referer
https://cacm.acm.org/
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36

Response headers

pragma
no-cache
date
Mon, 11 Oct 2021 14:22:15 GMT
cache-control
max-age=0, no-cache, no-store, no-transform
content-disposition
attachment; filename=1.txt
content-length
90
content-type
application/javascript;charset=utf-8
sh.f48a1a04fe8dbf021b4cda1d.html
s7.addthis.com/static/ Frame 8AA6 		0
0
sh.f48a1a04fe8dbf021b4cda1d.html
s7.addthis.com/static/ Frame C539 		71 KB
26 KB 		Document
General
Check archive.org
Download Go to
Full URL
https://s7.addthis.com/static/sh.f48a1a04fe8dbf021b4cda1d.html
Requested by
Host: s7.addthis.com
URL: https://s7.addthis.com/js/250/addthis_widget.js
Protocol
H2
Security
TLS 1.3, , AES_256_GCM
Server
184.30.24.121 Frankfurt am Main, Germany, ASN16625 (AKAMAI-AS, US),
Reverse DNS
a184-30-24-121.deploy.static.akamaitechnologies.com
Software
nginx/1.15.8 /
Resource Hash
7b6bfa13f0778c40bb2a00af9819bea2f07afcb4d071e7e4f436196953a5db4d
Security Headers
Name Value
Strict-Transport-Security max-age=15724800; includeSubDomains

Request headers

:method
GET
:authority
s7.addthis.com
:scheme
https
:path
/static/sh.f48a1a04fe8dbf021b4cda1d.html
pragma
no-cache
cache-control
no-cache
upgrade-insecure-requests
1
user-agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36
accept-language
de-DE,de;q=0.9
accept
text/html,application/xhtml+xml,application/xml;q=0.9,image/avif,image/webp,image/apng,*/*;q=0.8,application/signed-exchange;v=b3;q=0.9
sec-fetch-site
cross-site
sec-fetch-mode
navigate
sec-fetch-dest
iframe
referer
https://cacm.acm.org/
accept-encoding
gzip, deflate, br
Upgrade-Insecure-Requests
1
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36
Accept-Language
de-DE,de;q=0.9
Referer
https://cacm.acm.org/

Response headers

server
nginx/1.15.8
content-type
text/html
last-modified
Mon, 26 Oct 2020 18:11:48 GMT
etag
W/"5f971164-11adc"
timing-allow-origin
*
cache-control
public, max-age=86313600
p3p
CP="NON ADM OUR DEV IND COM STA"
strict-transport-security
max-age=15724800; includeSubDomains
content-encoding
gzip
content-length
26421
date
Mon, 11 Oct 2021 14:22:15 GMT
vary
Accept-Encoding
x-host
s7.addthis.com
plusone.js
apis.google.com/js/ 		52 KB
21 KB 		Script
General
Check archive.org
Download Go to
Full URL
https://apis.google.com/js/plusone.js
Requested by
Host: cacm.acm.org
URL: https://cacm.acm.org/javascripts/application.js
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
216.58.212.142 Mountain View, United States, ASN15169 (GOOGLE, US),
Reverse DNS
ams15s21-in-f142.1e100.net
Software
ESF /
Resource Hash
cf4aa82a277dcc9151be7cad6bec03563daf4ac182b606f652b6265fdd010157
Security Headers
Name Value
Content-Security-Policy script-src 'report-sample' 'nonce-JXRJlyp7jIWglW7eyUV6cQ' 'unsafe-inline' 'strict-dynamic' https: http: 'unsafe-eval';object-src 'none';base-uri 'self';report-uri /_/cspreport
Strict-Transport-Security max-age=31536000
X-Content-Type-Options nosniff
X-Frame-Options SAMEORIGIN
X-Xss-Protection 0

Request headers

Accept-Language
de-DE,de;q=0.9
Referer
https://cacm.acm.org/
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36

Response headers

date
Mon, 11 Oct 2021 14:22:15 GMT
content-encoding
gzip
x-content-type-options
nosniff
p3p
CP="This is not a P3P policy! See g.co/p3phelp for more info."
cross-origin-resource-policy
cross-origin
strict-transport-security
max-age=31536000
alt-svc
h3=":443"; ma=2592000,h3-29=":443"; ma=2592000,h3-T051=":443"; ma=2592000,h3-Q050=":443"; ma=2592000,h3-Q046=":443"; ma=2592000,h3-Q043=":443"; ma=2592000,quic=":443"; ma=2592000; v="46,43"
x-xss-protection
0
x-ua-compatible
IE=edge, chrome=1
server
ESF
etag
"c34d224d0ee061f3752d1f91e397a052"
x-frame-options
SAMEORIGIN
report-to
{"group":"AZM8iraZH88pL4jQdjcWpuaSZEaZk6SzMEy_nItKJ7e9QFtt","max_age":2592000,"endpoints":[{"url":"https://csp.withgoogle.com/csp/report-to/encsid_AZM8iraZH88pL4jQdjcWpuaSZEaZk6SzMEy_nItKJ7e9QFtt"}]}
content-type
application/javascript; charset=utf-8
access-control-allow-origin
*
cache-control
private, max-age=1800, stale-while-revalidate=1800
content-security-policy
script-src 'report-sample' 'nonce-JXRJlyp7jIWglW7eyUV6cQ' 'unsafe-inline' 'strict-dynamic' https: http: 'unsafe-eval';object-src 'none';base-uri 'self';report-uri /_/cspreport
timing-allow-origin
*
cross-origin-opener-policy-report-only
same-origin; report-to="AZM8iraZH88pL4jQdjcWpuaSZEaZk6SzMEy_nItKJ7e9QFtt"
expires
Mon, 11 Oct 2021 14:22:15 GMT
new_embed-20cee04df5c6e7e2687598f076a0147d.css
s.swiftypecdn.com/assets/ 		89 KB
34 KB 		Stylesheet
General
Check archive.org
Download Go to
Full URL
https://s.swiftypecdn.com/assets/new_embed-20cee04df5c6e7e2687598f076a0147d.css
Requested by
Host: s.swiftypecdn.com
URL: https://s.swiftypecdn.com/install/v2/st.js
Protocol
HTTP/1.1
Security
TLS 1.2, ECDHE_RSA, AES_128_GCM
Server
151.101.64.143 , United States, ASN54113 (FASTLY, US),
Reverse DNS
Software
/
Resource Hash
291b8f746f5fb8ef8dff392fee9cfabc7921aec0335fc4e15cd2633aeb383db2

Request headers

Accept-Language
de-DE,de;q=0.9
Referer
https://cacm.acm.org/
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36

Response headers

Date
Mon, 11 Oct 2021 14:22:15 GMT
Content-Encoding
gzip
Age
3422277
X-Cache
HIT
X-Cache-Hits
31620
Connection
keep-alive
Content-Length
33977
X-Served-By
cache-hhn4058-HHN
Access-Control-Allow-Origin
*
X-Timer
S1633962135.477518,VS0,VE0
ETag
"5d5f00b8-84b9"
Vary
Accept-Encoding
Content-Type
text/css
Via
1.1 varnish
Cache-Control
max-age=31536000, public
Accept-Ranges
bytes
Expires
Thu, 01 Sep 2022 23:44:17 GMT
collect
www.google-analytics.com/j/ 		2 B
142 B 		XHR
General
Check archive.org
Download Go to
Full URL
https://www.google-analytics.com/j/collect?v=1&_v=j93&a=521800796&t=pageview&_s=1&dl=https%3A%2F%2Fcacm.acm.org%2Fmagazines%2F2015%2F4%2F184701-how-amazon-web-services-uses-formal-methods%2Ffulltext&ul=en-us&de=UTF-8&dt=How%20Amazon%20Web%20Services%20Uses%20Formal%20Methods%20%7C%20April%202015%20%7C%20Communications%20of%20the%20ACM&sd=24-bit&sr=1600x1200&vp=1600x1200&je=0&_u=YEBAAUABAAAAAC~&jid=1619576363&gjid=884081046&cid=1377892804.1633962135&tid=UA-6995646-3&_gid=1663275219.1633962135&_r=1&gtm=2oua60&z=412764251
Requested by
Host: www.google-analytics.com
URL: https://www.google-analytics.com/analytics.js
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
142.250.185.174 , United States, ASN15169 (GOOGLE, US),
Reverse DNS
fra16s51-in-f14.1e100.net
Software
Golfe2 /
Resource Hash
de3246094525b21a870fc7d2a67490d0132535c6fa5993755c549f1a9d1bd8af
Security Headers
Name Value
X-Content-Type-Options nosniff

Request headers

Referer
https://cacm.acm.org/
Accept-Language
de-DE,de;q=0.9
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36
Content-Type
text/plain

Response headers

pragma
no-cache
date
Mon, 11 Oct 2021 14:22:15 GMT
x-content-type-options
nosniff
last-modified
Sun, 17 May 1998 03:00:00 GMT
server
Golfe2
content-type
text/plain
access-control-allow-origin
https://cacm.acm.org
cache-control
no-cache, no-store, must-revalidate
access-control-allow-credentials
true
cross-origin-resource-policy
cross-origin
alt-svc
h3=":443"; ma=2592000,h3-29=":443"; ma=2592000,h3-T051=":443"; ma=2592000,h3-Q050=":443"; ma=2592000,h3-Q046=":443"; ma=2592000,h3-Q043=":443"; ma=2592000,quic=":443"; ma=2592000; v="46,43"
content-length
2
expires
Fri, 01 Jan 1990 00:00:00 GMT
collect
www.google-analytics.com/ 		35 B
194 B 		Image
General
Check archive.org
Download Go to Show image
Full URL
https://www.google-analytics.com/collect?v=1&_v=j93&a=521800796&t=pageview&_s=2&dl=https%3A%2F%2Fcacm.acm.org%2Fmagazines%2F2015%2F4%2F184701-how-amazon-web-services-uses-formal-methods%2Ffulltext&ul=en-us&de=UTF-8&dt=How%20Amazon%20Web%20Services%20Uses%20Formal%20Methods%20%7C%20April%202015%20%7C%20Communications%20of%20the%20ACM&sd=24-bit&sr=1600x1200&vp=1600x1200&je=0&_u=YEBAAUABAAAAAC~&jid=&gjid=&cid=1377892804.1633962135&tid=UA-6995646-3&_gid=1663275219.1633962135&gtm=2oua60&z=1752542000
Requested by
Host: cacm.acm.org
URL: https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
142.250.185.174 , United States, ASN15169 (GOOGLE, US),
Reverse DNS
fra16s51-in-f14.1e100.net
Software
Golfe2 /
Resource Hash
8337212354871836e6763a41e615916c89bac5b3f1f0adf60ba43c7c806e1015
Security Headers
Name Value
X-Content-Type-Options nosniff

Request headers

Accept-Language
de-DE,de;q=0.9
Referer
https://cacm.acm.org/
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36

Response headers

pragma
no-cache
date
Mon, 11 Oct 2021 02:55:58 GMT
x-content-type-options
nosniff
last-modified
Sun, 17 May 1998 03:00:00 GMT
server
Golfe2
age
41177
content-type
image/gif
access-control-allow-origin
*
cache-control
no-cache, no-store, must-revalidate
cross-origin-resource-policy
cross-origin
alt-svc
h3=":443"; ma=2592000,h3-29=":443"; ma=2592000,h3-T051=":443"; ma=2592000,h3-Q050=":443"; ma=2592000,h3-Q046=":443"; ma=2592000,h3-Q043=":443"; ma=2592000,quic=":443"; ma=2592000; v="46,43"
content-length
35
expires
Mon, 01 Jan 1990 00:00:00 GMT
collect
stats.g.doubleclick.net/j/ 		1 B
457 B 		XHR
General
Check archive.org
Download Go to
Full URL
https://stats.g.doubleclick.net/j/collect?t=dc&aip=1&_r=3&v=1&_v=j93&tid=UA-6995646-3&cid=1377892804.1633962135&jid=1619576363&gjid=884081046&_gid=1663275219.1633962135&_u=YEBAAUAAAAAAAC~&z=2138704470
Requested by
Host: www.google-analytics.com
URL: https://www.google-analytics.com/analytics.js
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
66.102.1.157 , United States, ASN15169 (GOOGLE, US),
Reverse DNS
wb-in-f157.1e100.net
Software
Golfe2 /
Resource Hash
6b86b273ff34fce19d6b804eff5a3f5747ada4eaa22f1d49c01e52ddb7875b4b
Security Headers
Name Value
Strict-Transport-Security max-age=10886400; includeSubDomains; preload
X-Content-Type-Options nosniff

Request headers

Referer
https://cacm.acm.org/
Accept-Language
de-DE,de;q=0.9
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36
Content-Type
text/plain

Response headers

pragma
no-cache
strict-transport-security
max-age=10886400; includeSubDomains; preload
x-content-type-options
nosniff
last-modified
Sun, 17 May 1998 03:00:00 GMT
server
Golfe2
date
Mon, 11 Oct 2021 14:22:15 GMT
content-type
text/plain
access-control-allow-origin
https://cacm.acm.org
cache-control
no-cache, no-store, must-revalidate
access-control-allow-credentials
true
cross-origin-resource-policy
cross-origin
alt-svc
h3=":443"; ma=2592000,h3-29=":443"; ma=2592000,h3-T051=":443"; ma=2592000,h3-Q050=":443"; ma=2592000,h3-Q046=":443"; ma=2592000,h3-Q043=":443"; ma=2592000,quic=":443"; ma=2592000; v="46,43"
content-length
1
expires
Fri, 01 Jan 1990 00:00:00 GMT
cb=gapi.loaded_0
apis.google.com/_/scs/apps-static/_/js/k=oz.gapi.de.yUoUa-d8e1E.O/m=plusone/rt=j/sv=1/d=1/ed=1/am=AQ/rs=AGLTcCMxrycmnC1khz2ORddaX90UOzgNPA/ 		147 KB
50 KB 		Script
General
Check archive.org
Download Go to
Full URL
https://apis.google.com/_/scs/apps-static/_/js/k=oz.gapi.de.yUoUa-d8e1E.O/m=plusone/rt=j/sv=1/d=1/ed=1/am=AQ/rs=AGLTcCMxrycmnC1khz2ORddaX90UOzgNPA/cb=gapi.loaded_0
Requested by
Host: apis.google.com
URL: https://apis.google.com/js/plusone.js
Protocol
H3
Security
QUIC, , AES_128_GCM
Server
216.58.212.142 Mountain View, United States, ASN15169 (GOOGLE, US),
Reverse DNS
ams15s21-in-f142.1e100.net
Software
sffe /
Resource Hash
2ecc45ef1d382035c1367ab078ad6f52bae305feaa6dc5ac2c17908d8f7e2a55
Security Headers
Name Value
X-Content-Type-Options nosniff
X-Xss-Protection 0

Request headers

Accept-Language
de-DE,de;q=0.9
Referer
https://cacm.acm.org/
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36

Response headers

date
Tue, 05 Oct 2021 22:36:42 GMT
content-encoding
gzip
x-content-type-options
nosniff
age
488733
content-security-policy-report-only
require-trusted-types-for 'script'; report-uri https://csp.withgoogle.com/csp/social-frontend-mpm-access
cross-origin-resource-policy
cross-origin
alt-svc
h3=":443"; ma=2592000,h3-29=":443"; ma=2592000,h3-T051=":443"; ma=2592000,h3-Q050=":443"; ma=2592000,h3-Q046=":443"; ma=2592000,h3-Q043=":443"; ma=2592000,quic=":443"; ma=2592000; v="46,43"
content-length
51514
x-xss-protection
0
last-modified
Fri, 10 Sep 2021 23:24:10 GMT
server
sffe
vary
Accept-Encoding, Origin
report-to
{"group":"social-frontend-mpm-access","max_age":2592000,"endpoints":[{"url":"https://csp.withgoogle.com/csp/report-to/social-frontend-mpm-access"}]}
content-type
text/javascript; charset=UTF-8
cache-control
public, immutable, max-age=31536000
accept-ranges
bytes
cross-origin-opener-policy-report-only
same-origin; report-to="social-frontend-mpm-access"
expires
Wed, 05 Oct 2022 22:36:42 GMT
cc.js
cc.swiftype.com/ 		43 B
279 B 		Image
General
Check archive.org
Download Go to Show image
Full URL
https://cc.swiftype.com/cc.js?engine_key=Fy7sPuy3pbn9meMzhGbF&url=https%3A%2F%2Fcacm.acm.org%2Fmagazines%2F2015%2F4%2F184701-how-amazon-web-services-uses-formal-methods%2Ffulltext
Requested by
Host: cacm.acm.org
URL: https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext
Protocol
HTTP/1.1
Security
TLS 1.2, ECDHE_RSA, CHACHA20_POLY1305
Server
169.48.219.66 , United States, ASN36351 (SOFTLAYER, US),
Reverse DNS
42.db.30a9.ip4.static.sl-reverse.com
Software
/
Resource Hash
cf4724b2f736ed1a0ae6bc28f1ead963d9cd2c1fd87b6ef32e7799fc1c5c8bda

Request headers

Accept-Language
de-DE,de;q=0.9
Referer
https://cacm.acm.org/
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/93.0.4577.63 Safari/537.36

Response headers

Date
Mon, 11 Oct 2021 14:22:15 GMT
Cache-Control
no-cache
Last-Modified
Mon, 28 Sep 1970 06:00:00 GMT
Connection
keep-alive
Content-Type
image/gif
Content-Length
43
Expires
Mon, 11 Oct 2021 14:22:14 GMT

Failed requests

These URLs were requested, but there was no response received. You will also see them in the list above.

Domain
s7.addthis.com
URL
https://s7.addthis.com/static/sh.f48a1a04fe8dbf021b4cda1d.html

Verdicts & Comments Add Verdict or Comment

70 JavaScript Global Variables

These are the non-standard "global" variables defined on the window object. These can be helpful in identifying possible client-side frameworks and code.

object| 0 object| onbeforexrselect boolean| originAgentCluster object| CloudflareApps function| $ function| jQuery object| Cookie object| html5 object| Modernizr function| yepnope function| atwpjp string| _atd function| _euc function| _duc object| _atc string| _atr object| addthis string| addthis_pub function| emdot object| _ate object| _adr object| addthis_conf function| addthis_open function| addthis_close function| addthis_sendto string| SwiftypeObject function| _st function| gtag object| dataLayer function| Cufon boolean| __@@##MUH object| google_tag_manager object| google_tag_data string| GoogleAnalyticsObject function| ga undefined| __st_moment undefined| __st_rome function| $stjq undefined| Cookies object| _InternalSwiftype object| Hashcode function| IntlMessageFormat undefined| moment undefined| rome object| Placeholders function| __st_ro function| __st_mt function| _InternalSwiftypeError function| clearSwitchCookies object| addthis_share object| addthis_config object| jQuery18307496683234718395 object| gaplugins object| gaGlobal object| gaData object| oattr object| gapi object| ___jsl undefined| _st_tmp_global_locale object| osapi object| gadgets object| iframer object| __gapi_jstiming__ object| shindig function| ToolbarApi object| iframes function| IframeBase function| Iframe function| IframeProxy function| IframeWindow

10 Cookies

Domain/Path Name / Value
.acm.org/ Name: format
Value: full
.acm.org/ Name: _cacm_acm_session
Value: BAh7CEkiCmZsYXNoBjoGRUZJQzonQWN0aW9uQ29udHJvbGxlcjo6Rmxhc2g6%250AOkZsYXNoSGFzaHsABjoKQHVzZWR7ADoLb3JhY2xlVToUT3JhY2xlOjpTZXNz%250AaW9uWw4iFDIxNi4xMzEuMTE0LjIyM0YwMDBJdToJVGltZQ1uZR6Ac5nIWAk6%250ADW5hbm9fbnVtaQI1AToNbmFub19kZW5pBjoNc3VibWljcm8iBzCQOgtvZmZz%250AZXRp%252FsDHMDAwOhRjdXJyZW50X2FydGljbGVpA33RAg%253D%253D--be2d7c81e22524460fa29dce3488b8a1853e9b35
cacm.acm.org/ Name: __atuvc
Value: 1%7C41
cacm.acm.org/ Name: __atuvs
Value: 6164489768186c05000
.acm.org/ Name: _ga
Value: GA1.2.1377892804.1633962135
.acm.org/ Name: _gid
Value: GA1.2.1663275219.1633962135
.acm.org/ Name: _gat_gtag_UA_6995646_3
Value: 1
.addthis.com/ Name: uvc
Value: 1%7C41
.google.com/ Name: NID
Value: 511=W_0_49MX3y6mnru6szkcTRv3QVbTlXTQ6Ihj-pnNdwH_bC9j0rMV9SNSF6kAEBKecJrr3-CL98CWQ1h744tPlY4h9kg0R4MSQCb3ibJt6XXZFMC92dIU4yGTzHjTyrZxieV35iiDXE0ysvRtC_Hj0SLV4ig-PUv5iwb3gPOm-MI
.addthis.com/ Name: loc
Value: MDAwMDBFVURFQlcyMjc4MTg4MzAwNDAwMDBDSA==

Indicators

This is a term in the security industry to describe indicators such as IPs, Domains, Hashes, etc. This does not imply that any of these indicate malicious activity.

ajax.googleapis.com
apis.google.com
cacm.acm.org
cc.swiftype.com
dl.acm.org
img.icons8.com
m.addthis.com
s.swiftypecdn.com
s7.addthis.com
stats.g.doubleclick.net
v1.addthisedge.com
www.google-analytics.com
www.googletagmanager.com
z.moatads.com
s7.addthis.com
104.17.79.30
104.18.16.13
142.250.185.138
142.250.185.174
142.250.185.232
151.101.64.143
169.48.219.66
184.30.24.121
195.181.175.49
2.18.235.40
216.58.212.142
66.102.1.157
00a8f37ca0045b1c9409d582c478a488aeabe310370cdfb51fa09a441e500cd7
032894f7f53a6c90e20466bb2f00b7d3393cfbbf649eed8de07213fe305d725f
05090f9390f5bc0cd23fe5f432037cc92d7cbce1ced9bfe8faf3d1c9abae85cd
0d3aafa1e982e759b50f61b6bc3b1b80ed44d904591eeb1330561201ee4f6bbe
0e5899d787e474fb64735f58146efbec71dcaa5a026fc0830abbf7de34063bb3
15c390fc54814643250ccf0ab0530dcf3c0b86e6293b46c3e55fa861c4bd394e
19a26d6046c4fcfe9e3efbc1fb7532f424c6b0b7590b9e193788e30bce8b9836
1d031f40cdfa41716a26131d0989b66ef8f80d38f172b32122f66b18ef72cdb7
1d5d204d662ae2f90464bee6d1e1d645169851dfab39948b23a18da5a8584585
1e9070b1846168376914b1a06fb9dedd365e38ba120db9b048fe604d63045fca
1ebfb232be8f0669147ffd79ac8aebb42bc8f5b178f283d3bd6dc306e316a28e
20d1a244e3d6dc18e4a92cee4470d46e2de1d757e4a7256a652804b65803c5d0
22f506175ac8cf65a9db49e416aa72c9466d894fd56f54e90caa5fae2b83454a
291b8f746f5fb8ef8dff392fee9cfabc7921aec0335fc4e15cd2633aeb383db2
2ecc45ef1d382035c1367ab078ad6f52bae305feaa6dc5ac2c17908d8f7e2a55
36a9c0629ac8ead5b21a1836a5777fbeaff80af47ca7c9440c995314f81e46b7
417c741922ad07337422f5df257f227af53735153208b81714381469b137be09
4266836dd987923025457b10c6c98cc04a681a30365f0d2bb8a557c5edd562dc
46d09890ec578cfe232b17802385486e437b92df5a583b4ff5c9a53c9e4e40ea
4afe5f7c9c4f3c7cf51b593cade6376b49eded37a193d1ead843a0d5aaa696a4
4ec26f5823ed455f678ae779aba24308dcbe6497c0f85b27763cca31c7433208
51fc4d722b57dbbe87d2f80a36775d508fa7341a9fb560dfecbf802c56205260
53060b6b6886aa5c3f24335dc71d59af5b41af4f5dbbb7ac5b42890a83dae978
5c66922367c936995e4d12e9f88b9f3cfa8cc6f70c53a9145a764a82e978c3ac
61c6caebd23921741fb5ffe6603f16634fca9840c2bf56ac8201e9264d6daccf
6963301ce1c551417dbb540bbc5c41c2f70aae91731775ad4bd625d9a93224a3
6b86b273ff34fce19d6b804eff5a3f5747ada4eaa22f1d49c01e52ddb7875b4b
6c9111d08c19ed9c836ed723c23a56ec88c9fe1c1bddffcb2df18bc7b8758c9a
729f7625478f7b969ebe8329c0da00629c9c992c37f8b167811898a3dbc81d5b
74ab8da42898261afa4a7df4b9fe4997fa03c92842feced0563d7471125ce7f2
752a538b215b7765b91fa73c2e6b8db7b0439f3c4a8fd2274923568edb5a2504
7b6bfa13f0778c40bb2a00af9819bea2f07afcb4d071e7e4f436196953a5db4d
825b9fbf8458c03eed27d680c1fb60087e2c27a09791b27da36d583bafc761c1
8337212354871836e6763a41e615916c89bac5b3f1f0adf60ba43c7c806e1015
8fc395817360493362de244eb4cc1ab59e2472c357b049f0c261e0807cb33531
9193ccbf585cfe06cf6f5e1d50d85f2ca14622cc32cb013504f391dd4b49b417
95399361bd5421169f25d0437c2d913fa5dcba86e59b5dcf39da5bead137cf5c
96ffe7c64fcd858cecf9ec89b218b5a589a590ec215c10d7f5fab38933fe4cd1
9add8f7f0c9b19230b7f262bfee29a1ad2f1ee32a7375566892b26f4318fc142
9b8dbeeef41702843bdf657cb7144b3c12ad45db34d6723b8ddec9f4d370f795
aacd45e84bf658d6bafeef0c5c78711bab77691c9383439b1edf903e47145e18
acd2f7ad78edeebad4b6b0fdd17ff57d81c3726c60fd5435ee8c5a0115d29403
ad003627f006d81cb139ccc941dcf03df1274b59f277607b305026dc22aa9f1f
ad86453751884c1b2055a466ef0d0c39407da68d0eced0daa250fc8ec23508fb
c20f1921ddbebc9bbcbc4b8f3f9b1f039910d1cb245c92049d385d11fed3ce21
ca4c97f5c708d36ce591866bbdc8dc78d2b59b60a959486595e10cb81741cf35
cdede75dcb7e419b283eadaeebdc793dee61d5b1c718994a9c23b5a7473bbd79
cf4724b2f736ed1a0ae6bc28f1ead963d9cd2c1fd87b6ef32e7799fc1c5c8bda
cf4aa82a277dcc9151be7cad6bec03563daf4ac182b606f652b6265fdd010157
d137596d5933ae9084935f244251a35477d55d3d52df3484b0ba05e6a8c4bdf1
d1c79343054972d40f8b0e0e05164d7c485d821b4c8adc0923444f6c9618746c
dde74ead311d940796c9fbb189f78adb8fff8b04d6491f750254df53a2c4bbad
de3246094525b21a870fc7d2a67490d0132535c6fa5993755c549f1a9d1bd8af
df37fe3a598dda19812ec0a9f28a678e5331639d9216eaea47ebb3ce6b7c4a63
e1c5fd50bb60936f3c2741512c6f706f1d4cde0fefc3ab200f64796af328c895
e253448b2fb9bba2b2538a4222eca28330d48a0f8919a1956ea91840f1cd3d61
f6c4d8bb73ed81364f290fd1b205acc1aee565b25389632004efb6417472df6d
f9738c6288a2f291d9ea7c63338b8f368306166411fb7dda3135062bd2c88657
fb582af437c5833f4aaef86428484f47a80f2c40dba6503d5face248cef90c8e
fd222137f245c06ddb4c4d44db41f12138dad6cf8ef5d4d4a5e500f38f0c8c62