www.epfl.ch Open in urlscan Pro
104.20.229.42 Public Scan

Go To Rescan
Add Verdict Report

Submitted URL:
https://plfm.ch/
Effective URL:
https://www.epfl.ch/schools/ic/research/programming-languages-formal-methods/
Submission: On January 28 via api (January 28th 2024, 3:23:00 am UTC) from CH — Scanned from CH

Summary HTTP 47 Redirects Links 69 Behaviour Indicators

Summary

This website contacted 9 IPs in 3 countries across 6 domains to perform 47 HTTP transactions. The main IP is 104.20.229.42, located in and belongs to CLOUDFLARENET, US. The main domain is www.epfl.ch.
TLS certificate: Issued by Cloudflare Inc ECC CA-3 on May 9th 2023. Valid for: a year.

This is the only time www.epfl.ch was scanned on urlscan.io!

urlscan.io Verdict: No classification

Domain & IP information

	IP Address	AS Autonomous System
1	35.185.44.232 35.185.44.232	15169 (GOOGLE) (GOOGLE)
22	104.20.229.42 104.20.229.42	13335 (CLOUDFLAR...) (CLOUDFLARENET)
1	216.58.212.138 216.58.212.138	15169 (GOOGLE) (GOOGLE)
5	142.250.186.104 142.250.186.104	15169 (GOOGLE) (GOOGLE)
1	128.178.32.14 128.178.32.14	559 (SWITCH Pe...) (SWITCH Peering requests: peering@switch.ch)
10	128.178.222.22 128.178.222.22	559 (SWITCH Pe...) (SWITCH Peering requests: peering@switch.ch)
3	142.250.184.206 142.250.184.206	15169 (GOOGLE) (GOOGLE)
3	216.239.34.36 216.239.34.36	15169 (GOOGLE) (GOOGLE)
1	108.177.15.157 108.177.15.157	15169 (GOOGLE) (GOOGLE)
47	9

1 35.185.44.232 (North Charleston, United States)

ASN15169 (GOOGLE, US)
PTR: 232.44.185.35.bc.googleusercontent.com

plfm.ch	Domain lookup VirusTotal SecurityTrails crt.sh Censys Domaintools

22 104.20.229.42 (None, )

ASN13335 (CLOUDFLARENET, US)

www.epfl.ch	Domain lookup VirusTotal SecurityTrails crt.sh Censys Domaintools

1 216.58.212.138 (United States)

ASN15169 (GOOGLE, US)
PTR: ams15s21-in-f10.1e100.net

ajax.googleapis.com	Domain lookup VirusTotal SecurityTrails crt.sh Censys Domaintools

5 142.250.186.104 (United States)

ASN15169 (GOOGLE, US)
PTR: fra24s06-in-f8.1e100.net

www.googletagmanager.com	Domain lookup VirusTotal SecurityTrails crt.sh Censys Domaintools

1 128.178.32.14 (Jongny, Switzerland)

ASN559 (SWITCH Peering requests: peering@switch.ch, CH)
PTR: icwebsrv-k8s.epfl.ch

ic-services.epfl.ch	Domain lookup VirusTotal SecurityTrails crt.sh Censys Domaintools

10 128.178.222.22 (Bussigny, Switzerland)

ASN559 (SWITCH Peering requests: peering@switch.ch, CH)
PTR: dinfo-vm.epfl.ch

people.epfl.ch	Domain lookup VirusTotal SecurityTrails crt.sh Censys Domaintools

3 142.250.184.206 (United States)

ASN15169 (GOOGLE, US)
PTR: fra24s11-in-f14.1e100.net

www.google-analytics.com	Domain lookup VirusTotal SecurityTrails crt.sh Censys Domaintools

3 216.239.34.36 (United States)

ASN15169 (GOOGLE, US)

region1.google-analytics.com	Domain lookup VirusTotal SecurityTrails crt.sh Censys Domaintools

1 108.177.15.157 (United States)

ASN15169 (GOOGLE, US)
PTR: wr-in-f157.1e100.net

stats.g.doubleclick.net	Domain lookup VirusTotal SecurityTrails crt.sh Censys Domaintools

	Apex Domain Subdomains	Transfer
33	epfl.ch www.epfl.ch ic-services.epfl.ch people.epfl.ch	1 MB
6	google-analytics.com www.google-analytics.com — Cisco Umbrella Rank: 27 region1.google-analytics.com — Cisco Umbrella Rank: 2029	21 KB
5	googletagmanager.com www.googletagmanager.com — Cisco Umbrella Rank: 37	395 KB
1	doubleclick.net stats.g.doubleclick.net — Cisco Umbrella Rank: 79	344 B
1	googleapis.com ajax.googleapis.com — Cisco Umbrella Rank: 369	88 KB
1	plfm.ch plfm.ch	715 B
47	6

	Domain	Requested by
22	www.epfl.ch	plfm.ch www.epfl.ch
10	people.epfl.ch	www.epfl.ch
5	www.googletagmanager.com	www.epfl.ch www.googletagmanager.com www.google-analytics.com
3	region1.google-analytics.com	www.googletagmanager.com
3	www.google-analytics.com	www.googletagmanager.com www.google-analytics.com
1	stats.g.doubleclick.net	www.google-analytics.com
1	ic-services.epfl.ch	www.epfl.ch
1	ajax.googleapis.com	www.epfl.ch
1	plfm.ch
47	9

This site contains links to these domains. Also see Links.

Domain
go.epfl.ch
people.epfl.ch
plan.epfl.ch
funweb.epfl.ch
concours-alkindi.epfl.ch
www.bolo.ch
suri.epfl.ch
blockchainschool.epfl.ch
clic.epfl.ch
epic.epfl.ch
www.epflalumni.ch
actu.epfl.ch
intranet-ic.epfl.ch
iccluster.epfl.ch
inside.epfl.ch
edu.epfl.ch
summer.epfl.ch
epflalumni.ch
theory.epfl.ch
ipgdemos.epfl.ch
xitip.epfl.ch
ipgdoc.epfl.ch
appliedmldays.org
sti.epfl.ch
map.epfl.ch
www.facebook.com
instagram.com
www.linkedin.com
x.com
www.youtube.com

Subject Issuer	Validity	Valid
plfm.ch R3	`2023-11-30` - `2024-02-28`	3 months	crt.sh
sni.cloudflaressl.com Cloudflare Inc ECC CA-3	`2023-05-09` - `2024-05-08`	a year	crt.sh
upload.video.google.com GTS CA 1C3	`2024-01-02` - `2024-03-26`	3 months	crt.sh
*.google-analytics.com GTS CA 1C3	`2024-01-02` - `2024-03-26`	3 months	crt.sh
*.epfl.ch DigiCert TLS RSA SHA256 2020 CA1	`2023-02-15` - `2024-02-15`	a year	crt.sh
*.g.doubleclick.net GTS CA 1C3	`2024-01-02` - `2024-03-26`	3 months	crt.sh

This page contains 1 frames:

Primary Page: https://www.epfl.ch/schools/ic/research/programming-languages-formal-methods/
Frame ID: FC00A35798E92CF6BF39CA5710585D10
Requests: 47 HTTP requests in this frame

Screenshot
Live screenshot

Full Image

Page Title

Programming Languages & Formal Methods ‒ IC ‐ EPFL

Page URL History Show full URLs

https://plfm.ch/ Page URL
https://www.epfl.ch/schools/ic/research/programming-languages-formal-methods/ Page URL

Detected technologies

WordPress (CMS) Expand

Overall confidence: 100%
Detected patterns

<link rel=["']stylesheet["'] [^>]+/wp-(?:content|includes)/
/wp-(?:content|includes)/

Google Analytics (Analytics) Expand

Overall confidence: 100%
Detected patterns

google-analytics\.com/(?:ga|urchin|analytics)\.js

Google Tag Manager (Tag Managers) Expand

Overall confidence: 100%
Detected patterns

googletagmanager\.com/gtm\.js
googletagmanager\.com/gtag/js

jQuery (JavaScript Libraries) Expand

Overall confidence: 100%
Detected patterns

/([\d.]+)/jquery(?:\.min)?\.js
jquery.*\.js(?:\?ver(?:sion)?=([\d.]+))?

jQuery Migrate (JavaScript Libraries) Expand

Overall confidence: 100%
Detected patterns

jquery[.-]migrate(?:-([\d.]+))?(?:\.min)?\.js(?:\?ver=([\d.]+))?

Page Statistics

47
Requests

100 %
HTTPS

0 %
IPv6

6
Domains

9
Subdomains

9
IPs

3
Countries

1937 kB
Transfer

4756 kB
Size

7
Cookies

69 Outgoing links

These are links going to different origins than the main page.

URL: https://go.epfl.ch/privacy-policy
Title: privacy policy

Search URL Search Domain Scan URL

URL: https://people.epfl.ch/thomas.bourgeat
Title: Thomas Emile Bourgeat

Search URL Search Domain Scan URL

URL: https://plan.epfl.ch/?room=BC%20103
Title: BC 103

Search URL Search Domain Scan URL

URL: https://people.epfl.ch/george.candea
Title: George Candea

Search URL Search Domain Scan URL

URL: https://plan.epfl.ch/?room=INN%20330
Title: INN 330

Search URL Search Domain Scan URL

URL: https://people.epfl.ch/babak.falsafi
Title: Babak Falsafi

Search URL Search Domain Scan URL

URL: https://plan.epfl.ch/?room=INJ%20233
Title: INJ 233

Search URL Search Domain Scan URL

URL: https://people.epfl.ch/bryan.ford
Title: Bryan Ford

Search URL Search Domain Scan URL

URL: https://plan.epfl.ch/?room=BC%20210
Title: BC 210

Search URL Search Domain Scan URL

URL: https://people.epfl.ch/rachid.guerraoui
Title: Rachid Guerraoui

Search URL Search Domain Scan URL

URL: https://plan.epfl.ch/?room=INR%20310
Title: INR 310

Search URL Search Domain Scan URL

URL: https://people.epfl.ch/christoph.koch
Title: Christoph Koch

Search URL Search Domain Scan URL

URL: https://plan.epfl.ch/?room=BC%20260
Title: BC 260

Search URL Search Domain Scan URL

URL: https://people.epfl.ch/viktor.kuncak
Title: Viktor Kuncak

Search URL Search Domain Scan URL

URL: https://plan.epfl.ch/?room=INR%20318
Title: INR 318

Search URL Search Domain Scan URL

URL: https://people.epfl.ch/james.larus
Title: James Larus

Search URL Search Domain Scan URL

URL: https://plan.epfl.ch/?room=INN%20238
Title: INN 238

Search URL Search Domain Scan URL

URL: https://people.epfl.ch/martin.odersky
Title: Martin Odersky

Search URL Search Domain Scan URL

URL: https://plan.epfl.ch/?room=INR%20319
Title: INR 319

Search URL Search Domain Scan URL

URL: https://people.epfl.ch/mathias.payer
Title: Mathias Josef Payer

Search URL Search Domain Scan URL

URL: https://plan.epfl.ch/?room=BC%20160
Title: BC 160

Search URL Search Domain Scan URL

URL: https://people.epfl.ch/clement.pit-claudel
Title: Clément Pit-Claudel

Search URL Search Domain Scan URL

URL: https://plan.epfl.ch/?room=INN%20316
Title: INN 316

Search URL Search Domain Scan URL

URL: https://go.epfl.ch/summerschool-natureincode-en
Title: Nature, in code

Search URL Search Domain Scan URL

URL: https://funweb.epfl.ch/
Title: Internet & Code for young girls

Search URL Search Domain Scan URL

URL: https://concours-alkindi.epfl.ch/
Title: Alkindi Competition

Search URL Search Domain Scan URL

URL: https://www.bolo.ch/
Title: Bolo Museum

Search URL Search Domain Scan URL

URL: https://suri.epfl.ch/
Title: The Summer Research Institute (SuRI)

Search URL Search Domain Scan URL

URL: https://blockchainschool.epfl.ch/
Title: The Swiss Blockchain Winter School

Search URL Search Domain Scan URL

URL: https://clic.epfl.ch/
Title: La CLIC Students association

Search URL Search Domain Scan URL

URL: https://epic.epfl.ch/
Title: EPIC PhD students association

Search URL Search Domain Scan URL

URL: https://www.epflalumni.ch/
Title: EPFL Alumni (A3)

Search URL Search Domain Scan URL

URL: https://actu.epfl.ch/search/ic/
Title: News

Search URL Search Domain Scan URL

URL: https://intranet-ic.epfl.ch/fr
Title: Intranet IC

Search URL Search Domain Scan URL

URL: http://iccluster.epfl.ch/
Title: IC Cluster services

Search URL Search Domain Scan URL

URL: https://inside.epfl.ch/ic/rooms-infrastructure/computer-rooms/
Title: Computer rooms

Search URL Search Domain Scan URL

URL: http://edu.epfl.ch/studyplan/en/propedeutics/computer-science
Title: Study plan 1st year

Search URL Search Domain Scan URL

URL: http://edu.epfl.ch/studyplan/en/bachelor/computer-science
Title: Study plan 2nd-3rd years

Search URL Search Domain Scan URL

URL: http://edu.epfl.ch/studyplan/en/propedeutics/communication-systems
Title: Study plan 1st year

Search URL Search Domain Scan URL

URL: http://edu.epfl.ch/studyplan/en/bachelor/communication-systems
Title: Study plan 2nd-3rd years

Search URL Search Domain Scan URL

URL: http://edu.epfl.ch/studyplan/en/master/computer-science
Title: Study plan

Search URL Search Domain Scan URL

URL: http://edu.epfl.ch/studyplan/en/master/communication-systems-master-program
Title: Study plan

Search URL Search Domain Scan URL

URL: http://edu.epfl.ch/studyplan/en/master/data-science
Title: Study plan

Search URL Search Domain Scan URL

URL: http://edu.epfl.ch/studyplan/en/master/computer-science-cybersecurity
Title: Study plan – EPFL courses

Search URL Search Domain Scan URL

URL: http://summer.epfl.ch/
Title: Summer@EPFL

Search URL Search Domain Scan URL

URL: https://epflalumni.ch/
Title: EPFL Alumni

Search URL Search Domain Scan URL

URL: https://theory.epfl.ch/
Title: Theory group

Search URL Search Domain Scan URL

URL: http://ipgdemos.epfl.ch/ensembles/
Title: LDPC: Graph generation from an ensemble

Search URL Search Domain Scan URL

URL: http://ipgdemos.epfl.ch/encoding/
Title: LDPC: Encoding complexity

Search URL Search Domain Scan URL

URL: http://ipgdemos.epfl.ch/decoding/
Title: LDPC: Decoding over the BEC

Search URL Search Domain Scan URL

URL: http://ipgdemos.epfl.ch/scalingbec/
Title: LDPC: Finite-length scaling and error floor for BEC

Search URL Search Domain Scan URL

URL: http://ipgdemos.epfl.ch/scalingdynamic/
Title: LDPC: Another scaling demo for BEC

Search URL Search Domain Scan URL

URL: http://ipgdemos.epfl.ch/maxwell/
Title: LDPC: Maxwell decoder

Search URL Search Domain Scan URL

URL: http://ipgdemos.epfl.ch/mac/
Title: LDPC: Gaussian multiple-access channels: iterative decoding

Search URL Search Domain Scan URL

URL: http://ipgdemos.epfl.ch/polarcodes
Title: PolarCodes: Web applet for polar codes

Search URL Search Domain Scan URL

URL: http://ipgdemos.epfl.ch/polarcodestutorial
Title: PolarCodes: Overview and parameters trade-offs

Search URL Search Domain Scan URL

URL: http://xitip.epfl.ch/
Title: Xitip: Information theoretic inequalities prover

Search URL Search Domain Scan URL

URL: http://ipgdoc.epfl.ch/
Title: IPG user documentation

Search URL Search Domain Scan URL

URL: http://ipgdoc.epfl.ch/doku.php?id=svn
Title: SVN guide

Search URL Search Domain Scan URL

URL: https://appliedmldays.org/events/amld-epfl-2024
Title: AMLD EPFL 2024

Search URL Search Domain Scan URL

URL: https://inside.epfl.ch/ic/
Title: IC Intranet

Search URL Search Domain Scan URL

URL: https://sti.epfl.ch/
Title: School of Engineering STI

Search URL Search Domain Scan URL

URL: https://map.epfl.ch/?lang=en
Title: Map

Search URL Search Domain Scan URL

URL: https://www.facebook.com/epflcampus
Title: Follow us on Facebook

Search URL Search Domain Scan URL

URL: https://instagram.com/epflcampus
Title: Follow us on Instagram

Search URL Search Domain Scan URL

URL: https://www.linkedin.com/school/epfl/
Title: Follow us on LinkedIn

Search URL Search Domain Scan URL

URL: https://x.com/epfl_en
Title: Follow us on X

Search URL Search Domain Scan URL

URL: https://www.youtube.com/user/epflnews
Title: Follow us on Youtube

Search URL Search Domain Scan URL

URL: https://go.epfl.ch/privacy-policy/
Title: Privacy policy

Search URL Search Domain Scan URL

Page URL History

This captures the URL locations of the websites, including HTTP redirects and client-side redirects via JavaScript or Meta fields.

https://plfm.ch/ Page URL
https://www.epfl.ch/schools/ic/research/programming-languages-formal-methods/ Page URL

Redirected requests

There were HTTP redirect chains for the following requests:

47 HTTP transactions
0 data transactions

Method
Protocol Status Resource
Path Size
x-fer Time
Latency Type
MIME-Type IP
Location

GET
H2 200 / Show response
plfm.ch/ 500 B
715 B 730ms
366ms Document
text/html 35.185.44.232
GOOGLE

General

Check archive.org

Show headers Download Go to

Full URL: https://plfm.ch/
Protocol: H2
Security: TLS 1.3, , AES_128_GCM
Server: 35.185.44.232 North Charleston, United States, ASN15169 (GOOGLE, US),
Reverse DNS: 232.44.185.35.bc.googleusercontent.com
Software: /
Resource Hash: fd486a46946251abea73fe70a37b8f507ef92ff2492513c8635c2be6cf53ef64

Request headers

Upgrade-Insecure-Requests: 1
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/120.0.6099.224 Safari/537.36
accept-language: de-CH,de;q=0.9
referer: https://www.google.com/

Response headers

cache-control: max-age=600
content-length: 500
content-type: text/html; charset=utf-8
date: Sun, 28 Jan 2024 03:22:56 GMT
etag: "feb53093ea32c849c605c971d45e649b316aa839f63e332c60750492b4c319e1"
expires: Sun, 28 Jan 2024 03:32:56 UTC
last-modified: Sun, 01 Oct 2023 10:00:09 GMT
permissions-policy: interest-cohort=()
vary: Origin

GET
H2 200 Primary Request / Show response
www.epfl.ch/schools/ic/research/programming-languages-formal-methods/ 119 KB
19 KB 556ms
154ms Document
text/html 104.20.229.42
CLOUDFLARENET

General

Check archive.org

Show headers Download Go to

Full URL

https://www.epfl.ch/schools/ic/research/programming-languages-formal-methods/

Requested by

Host: plfm.ch
URL: https://plfm.ch/

Protocol

Security

TLS 1.3, , AES_128_GCM

Server

104.20.229.42 -, , ASN13335 (CLOUDFLARENET, US),

Reverse DNS

Software

cloudflare /

Resource Hash

a9222940ec1842ee07a4aa72071d9d827786b96e7465791e2fd2902948429ede

Security Headers

Name	Value
Strict-Transport-Security	max-age=31536000
X-Frame-Options	DENY

Request headers

Referer: https://plfm.ch/
Upgrade-Insecure-Requests: 1
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/120.0.6099.224 Safari/537.36
accept-language: de-CH,de;q=0.9
referer: https://www.google.com/

Response headers

cache-control: max-age=300
cf-cache-status: MISS
cf-ray: 84c61d2a798a41c5-MRS
content-encoding: gzip
content-security-policy-report-only: default-src 'self' 'unsafe-inline' *.epfl.ch; script-src 'self' 'unsafe-inline' 'unsafe-eval' *.epfl.ch https://ajax.googleapis.com https://cdnjs.cloudflare.com https://connect.facebook.net https://platform.twitter.com https://www.google-analytics.com https://www.googletagmanager.com https://www.instagram.com https://www.youtube.com https://*.cast.switch.ch https://player.vimeo.com; object-src 'none'; connect-src 'self' https://*.cast.switch.ch https://*.cloudfront.net *.epfl.ch https://api.cdnjs.com https://*.google-analytics.com https://stats.g.doubleclick.net https://www.google-analytics.com; frame-src 'self' *.epfl.ch https://datawrapper.dwcdn.net https://player.vimeo.com https://api.cast.switch.ch https://platform.twitter.com https://www.instagram.com https://www.youtube.com; style-src-elem 'self' 'unsafe-inline' https://fonts.googleapis.com *.epfl.ch; font-src 'self' https://fonts.gstatic.com *.epfl.ch data:; media-src 'self' *.epfl.ch https://*.cloudfront.net data:; img-src * data: https://s.w.org https://syndication.twitter.com https://www.google-analytics.com; worker-src 'none' blob:; report-uri https://report-uri.epfl.ch/csp-report;
content-type: text/html; charset=UTF-8
date: Sun, 28 Jan 2024 03:22:57 GMT
last-modified: Sun, 28 Jan 2024 03:22:57 GMT
link: <https://www.epfl.ch/schools/ic/wp-json/>; rel="https://api.w.org/" <https://www.epfl.ch/schools/ic/wp-json/wp/v2/pages/1770>; rel="alternate"; type="application/json" <https://www.epfl.ch/schools/ic/?p=1770>; rel=shortlink
server: cloudflare
strict-transport-security: max-age=31536000
vary: Accept-Encoding
via: 1.1 varnish (Varnish/5.1)
x-epfl-internal: FALSE
x-frame-options: DENY
x-varnish: 868348470 868117371
x-varnish-cache: HIT
x-varnish-cache-hits: 1

GET
H2 200 style.min.css
www.epfl.ch/schools/ic/wp-includes/css/dist/block-library/ 93 KB
12 KB 44ms
40ms Stylesheet
text/css 104.20.229.42
CLOUDFLARENET

General

Check archive.org

Show headers Download Go to

Full URL

https://www.epfl.ch/schools/ic/wp-includes/css/dist/block-library/style.min.css?ver=6.1.4

Requested by

Host: www.epfl.ch
URL: https://www.epfl.ch/schools/ic/research/programming-languages-formal-methods/

Protocol

Security

TLS 1.3, , AES_128_GCM

Server

104.20.229.42 -, , ASN13335 (CLOUDFLARENET, US),

Reverse DNS

Software

cloudflare /

Resource Hash

b041e7b08a99e947327a5faf96e5ab7aeef39a467c0ef2240710a19857743da3

Security Headers

Name	Value
Strict-Transport-Security	max-age=31536000

Request headers

accept-language: de-CH,de;q=0.9
Referer: https://www.google.com/
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/120.0.6099.224 Safari/537.36

Response headers

x-varnish-cache: HIT
date: Sun, 28 Jan 2024 03:22:57 GMT
content-encoding: gzip
via: 1.1 varnish (Varnish/5.1)
strict-transport-security: max-age=31536000
cf-cache-status: HIT
age: 18907
content-security-policy-report-only: default-src 'self' 'unsafe-inline' *.epfl.ch; script-src 'self' 'unsafe-inline' 'unsafe-eval' *.epfl.ch https://ajax.googleapis.com https://cdnjs.cloudflare.com https://connect.facebook.net https://platform.twitter.com https://www.google-analytics.com https://www.googletagmanager.com https://www.instagram.com https://www.youtube.com https://*.cast.switch.ch https://player.vimeo.com; object-src 'none'; connect-src 'self' https://*.cast.switch.ch https://*.cloudfront.net *.epfl.ch https://api.cdnjs.com https://*.google-analytics.com https://stats.g.doubleclick.net https://www.google-analytics.com; frame-src 'self' *.epfl.ch https://datawrapper.dwcdn.net https://player.vimeo.com https://api.cast.switch.ch https://platform.twitter.com https://www.instagram.com https://www.youtube.com; style-src-elem 'self' 'unsafe-inline' https://fonts.googleapis.com *.epfl.ch; font-src 'self' https://fonts.gstatic.com *.epfl.ch data:; media-src 'self' *.epfl.ch https://*.cloudfront.net data:; img-src * data: https://s.w.org https://syndication.twitter.com https://www.google-analytics.com; worker-src 'none' blob:; report-uri https://report-uri.epfl.ch/csp-report;
content-length: 12540
x-varnish-cache-hits: 6
last-modified: Thu, 04 Jan 2024 09:20:06 GMT
server: cloudflare
etag: "1732d-60e1b3cba1d80-gzip"
vary: Accept-Encoding
content-type: text/css
x-varnish: 676735621 670701273
cache-control: max-age=129600, public
x-epfl-internal: FALSE
accept-ranges: bytes
cf-ray: 84c61d2bca7b41c5-MRS

GET
H2 200 style-index.css
www.epfl.ch/schools/ic/wp-content/plugins/wp-gutenberg-epfl/build/ 4 KB
1 KB 46ms
42ms Stylesheet
text/css 104.20.229.42
CLOUDFLARENET

General

Check archive.org

Show headers Download Go to

Full URL

https://www.epfl.ch/schools/ic/wp-content/plugins/wp-gutenberg-epfl/build/style-index.css?ver=1704360215

Requested by

Host: www.epfl.ch
URL: https://www.epfl.ch/schools/ic/research/programming-languages-formal-methods/

Protocol

Security

TLS 1.3, , AES_128_GCM

Server

104.20.229.42 -, , ASN13335 (CLOUDFLARENET, US),

Reverse DNS

Software

cloudflare /

Resource Hash

1afe1ff07fe1f5ee948ee5e4c4186f47cb24f8ddff4f586420b91c75e793fd91

Security Headers

Name	Value
Strict-Transport-Security	max-age=31536000

Request headers

accept-language: de-CH,de;q=0.9
Referer: https://www.google.com/
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/120.0.6099.224 Safari/537.36

Response headers

x-varnish-cache: HIT
date: Sun, 28 Jan 2024 03:22:57 GMT
content-encoding: gzip
via: 1.1 varnish (Varnish/5.1)
strict-transport-security: max-age=31536000
cf-cache-status: HIT
age: 18907
content-security-policy-report-only: default-src 'self' 'unsafe-inline' *.epfl.ch; script-src 'self' 'unsafe-inline' 'unsafe-eval' *.epfl.ch https://ajax.googleapis.com https://cdnjs.cloudflare.com https://connect.facebook.net https://platform.twitter.com https://www.google-analytics.com https://www.googletagmanager.com https://www.instagram.com https://www.youtube.com https://*.cast.switch.ch https://player.vimeo.com; object-src 'none'; connect-src 'self' https://*.cast.switch.ch https://*.cloudfront.net *.epfl.ch https://api.cdnjs.com https://*.google-analytics.com https://stats.g.doubleclick.net https://www.google-analytics.com; frame-src 'self' *.epfl.ch https://datawrapper.dwcdn.net https://player.vimeo.com https://api.cast.switch.ch https://platform.twitter.com https://www.instagram.com https://www.youtube.com; style-src-elem 'self' 'unsafe-inline' https://fonts.googleapis.com *.epfl.ch; font-src 'self' https://fonts.gstatic.com *.epfl.ch data:; media-src 'self' *.epfl.ch https://*.cloudfront.net data:; img-src * data: https://s.w.org https://syndication.twitter.com https://www.google-analytics.com; worker-src 'none' blob:; report-uri https://report-uri.epfl.ch/csp-report;
content-length: 1166
x-varnish-cache-hits: 7
last-modified: Thu, 04 Jan 2024 09:23:35 GMT
server: cloudflare
etag: "f32-60e1b492f33c0-gzip"
vary: Accept-Encoding
content-type: text/css
x-varnish: 277897952 277896859
cache-control: max-age=129600, public
x-epfl-internal: FALSE
accept-ranges: bytes
cf-ray: 84c61d2bca7d41c5-MRS

GET
H2 200 classic-themes.min.css
www.epfl.ch/schools/ic/wp-includes/css/ 217 B
297 B 61ms
57ms Stylesheet
text/css 104.20.229.42
CLOUDFLARENET

General

Check archive.org

Show headers Download Go to

Full URL

https://www.epfl.ch/schools/ic/wp-includes/css/classic-themes.min.css?ver=1

Requested by

Host: www.epfl.ch
URL: https://www.epfl.ch/schools/ic/research/programming-languages-formal-methods/

Protocol

Security

TLS 1.3, , AES_128_GCM

Server

104.20.229.42 -, , ASN13335 (CLOUDFLARENET, US),

Reverse DNS

Software

cloudflare /

Resource Hash

5a5f39391fbf5b06db84b8f9716d53de575ee97a627d2c5f12f79a991a671eb5

Security Headers

Name	Value
Strict-Transport-Security	max-age=31536000

Request headers

accept-language: de-CH,de;q=0.9
Referer: https://www.google.com/
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/120.0.6099.224 Safari/537.36

Response headers

x-varnish-cache: HIT
date: Sun, 28 Jan 2024 03:22:57 GMT
content-encoding: gzip
via: 1.1 varnish (Varnish/5.1)
strict-transport-security: max-age=31536000
cf-cache-status: HIT
age: 18907
content-security-policy-report-only: default-src 'self' 'unsafe-inline' *.epfl.ch; script-src 'self' 'unsafe-inline' 'unsafe-eval' *.epfl.ch https://ajax.googleapis.com https://cdnjs.cloudflare.com https://connect.facebook.net https://platform.twitter.com https://www.google-analytics.com https://www.googletagmanager.com https://www.instagram.com https://www.youtube.com https://*.cast.switch.ch https://player.vimeo.com; object-src 'none'; connect-src 'self' https://*.cast.switch.ch https://*.cloudfront.net *.epfl.ch https://api.cdnjs.com https://*.google-analytics.com https://stats.g.doubleclick.net https://www.google-analytics.com; frame-src 'self' *.epfl.ch https://datawrapper.dwcdn.net https://player.vimeo.com https://api.cast.switch.ch https://platform.twitter.com https://www.instagram.com https://www.youtube.com; style-src-elem 'self' 'unsafe-inline' https://fonts.googleapis.com *.epfl.ch; font-src 'self' https://fonts.gstatic.com *.epfl.ch data:; media-src 'self' *.epfl.ch https://*.cloudfront.net data:; img-src * data: https://s.w.org https://syndication.twitter.com https://www.google-analytics.com; worker-src 'none' blob:; report-uri https://report-uri.epfl.ch/csp-report;
content-length: 189
x-varnish-cache-hits: 21
last-modified: Thu, 04 Jan 2024 09:20:06 GMT
server: cloudflare
etag: "d9-60e1b3cba1d80-gzip"
vary: Accept-Encoding
content-type: text/css
x-varnish: 503683802 510904909
cache-control: max-age=129600, public
x-epfl-internal: FALSE
accept-ranges: bytes
cf-ray: 84c61d2bda8741c5-MRS

GET
H2 200 style.css
www.epfl.ch/wp/6/wp-content/themes/wp-theme-2018/ 627 B
541 B 51ms
47ms Stylesheet
text/css 104.20.229.42
CLOUDFLARENET

General

Check archive.org

Show headers Download Go to

Full URL

https://www.epfl.ch/wp/6/wp-content/themes/wp-theme-2018/style.css?ver=1704360089

Requested by

Host: www.epfl.ch
URL: https://www.epfl.ch/schools/ic/research/programming-languages-formal-methods/

Protocol

Security

TLS 1.3, , AES_128_GCM

Server

104.20.229.42 -, , ASN13335 (CLOUDFLARENET, US),

Reverse DNS

Software

cloudflare /

Resource Hash

0c521f8038d5d10f601406563f9aa495e9283d7364b441d29e18da970b188fc0

Security Headers

Name	Value
Strict-Transport-Security	max-age=31536000

Request headers

accept-language: de-CH,de;q=0.9
Referer: https://www.google.com/
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/120.0.6099.224 Safari/537.36

Response headers

x-varnish-cache: HIT
date: Sun, 28 Jan 2024 03:22:57 GMT
content-encoding: gzip
via: 1.1 varnish (Varnish/5.1)
strict-transport-security: max-age=31536000
cf-cache-status: HIT
age: 105975
content-security-policy-report-only: default-src 'self' 'unsafe-inline' *.epfl.ch; script-src 'self' 'unsafe-inline' 'unsafe-eval' *.epfl.ch https://ajax.googleapis.com https://cdnjs.cloudflare.com https://connect.facebook.net https://platform.twitter.com https://www.google-analytics.com https://www.googletagmanager.com https://www.instagram.com https://www.youtube.com https://*.cast.switch.ch https://player.vimeo.com; object-src 'none'; connect-src 'self' https://*.cast.switch.ch https://*.cloudfront.net *.epfl.ch https://api.cdnjs.com https://*.google-analytics.com https://stats.g.doubleclick.net https://www.google-analytics.com; frame-src 'self' *.epfl.ch https://datawrapper.dwcdn.net https://player.vimeo.com https://api.cast.switch.ch https://platform.twitter.com https://www.instagram.com https://www.youtube.com; style-src-elem 'self' 'unsafe-inline' https://fonts.googleapis.com *.epfl.ch; font-src 'self' https://fonts.gstatic.com *.epfl.ch data:; media-src 'self' *.epfl.ch https://*.cloudfront.net data:; img-src * data: https://s.w.org https://syndication.twitter.com https://www.google-analytics.com; worker-src 'none' blob:; report-uri https://report-uri.epfl.ch/csp-report;
content-length: 405
x-varnish-cache-hits: 4
last-modified: Thu, 04 Jan 2024 09:21:29 GMT
server: cloudflare
etag: "273-60e1b41ac9840-gzip"
vary: Accept-Encoding
content-type: text/css
x-varnish: 463779176 477364240
cache-control: max-age=129600, public
x-epfl-internal: FALSE
accept-ranges: bytes
cf-ray: 84c61d2bda8841c5-MRS

GET
H2 200 vendors.min.css
www.epfl.ch/wp/6/wp-content/themes/wp-theme-2018/assets/css/ 31 KB
6 KB 51ms
48ms Stylesheet
text/css 104.20.229.42
CLOUDFLARENET

General

Check archive.org

Show headers Download Go to

Full URL

https://www.epfl.ch/wp/6/wp-content/themes/wp-theme-2018/assets/css/vendors.min.css?ver=1704360089

Requested by

Host: www.epfl.ch
URL: https://www.epfl.ch/schools/ic/research/programming-languages-formal-methods/

Protocol

Security

TLS 1.3, , AES_128_GCM

Server

104.20.229.42 -, , ASN13335 (CLOUDFLARENET, US),

Reverse DNS

Software

cloudflare /

Resource Hash

bc0a0b6ce520e58c3f5baf9948226d32b939ff320eac66a8e1815ea447812cb1

Security Headers

Name	Value
Strict-Transport-Security	max-age=31536000

Request headers

accept-language: de-CH,de;q=0.9
Referer: https://www.google.com/
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/120.0.6099.224 Safari/537.36

Response headers

x-varnish-cache: HIT
date: Sun, 28 Jan 2024 03:22:57 GMT
content-encoding: gzip
via: 1.1 varnish (Varnish/5.1)
strict-transport-security: max-age=31536000
cf-cache-status: HIT
age: 105975
content-security-policy-report-only: default-src 'self' 'unsafe-inline' *.epfl.ch; script-src 'self' 'unsafe-inline' 'unsafe-eval' *.epfl.ch https://ajax.googleapis.com https://cdnjs.cloudflare.com https://connect.facebook.net https://platform.twitter.com https://www.google-analytics.com https://www.googletagmanager.com https://www.instagram.com https://www.youtube.com https://*.cast.switch.ch https://player.vimeo.com; object-src 'none'; connect-src 'self' https://*.cast.switch.ch https://*.cloudfront.net *.epfl.ch https://api.cdnjs.com https://*.google-analytics.com https://stats.g.doubleclick.net https://www.google-analytics.com; frame-src 'self' *.epfl.ch https://datawrapper.dwcdn.net https://player.vimeo.com https://api.cast.switch.ch https://platform.twitter.com https://www.instagram.com https://www.youtube.com; style-src-elem 'self' 'unsafe-inline' https://fonts.googleapis.com *.epfl.ch; font-src 'self' https://fonts.gstatic.com *.epfl.ch data:; media-src 'self' *.epfl.ch https://*.cloudfront.net data:; img-src * data: https://s.w.org https://syndication.twitter.com https://www.google-analytics.com; worker-src 'none' blob:; report-uri https://report-uri.epfl.ch/csp-report;
content-length: 6524
x-varnish-cache-hits: 5
last-modified: Thu, 04 Jan 2024 09:21:29 GMT
server: cloudflare
etag: "7c7d-60e1b41ac9840-gzip"
vary: Accept-Encoding
content-type: text/css
x-varnish: 453150179 439000731
cache-control: max-age=129600, public
x-epfl-internal: FALSE
accept-ranges: bytes
cf-ray: 84c61d2bda8941c5-MRS

GET
H2 200 elements.min.css
www.epfl.ch/wp/6/wp-content/themes/wp-theme-2018/assets/css/ 346 KB
51 KB 65ms
62ms Stylesheet
text/css 104.20.229.42
CLOUDFLARENET

General

Check archive.org

Show headers Download Go to

Full URL

https://www.epfl.ch/wp/6/wp-content/themes/wp-theme-2018/assets/css/elements.min.css?ver=1704360089

Requested by

Host: www.epfl.ch
URL: https://www.epfl.ch/schools/ic/research/programming-languages-formal-methods/

Protocol

Security

TLS 1.3, , AES_128_GCM

Server

104.20.229.42 -, , ASN13335 (CLOUDFLARENET, US),

Reverse DNS

Software

cloudflare /

Resource Hash

df26ed32c43dfabf717cd902d727099c12bdfb4cf1b038915513f7f306cf032b

Security Headers

Name	Value
Strict-Transport-Security	max-age=31536000

Request headers

accept-language: de-CH,de;q=0.9
Referer: https://www.google.com/
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/120.0.6099.224 Safari/537.36

Response headers

x-varnish-cache: HIT
date: Sun, 28 Jan 2024 03:22:57 GMT
content-encoding: gzip
via: 1.1 varnish (Varnish/5.1)
strict-transport-security: max-age=31536000
cf-cache-status: HIT
age: 105975
content-security-policy-report-only: default-src 'self' 'unsafe-inline' *.epfl.ch; script-src 'self' 'unsafe-inline' 'unsafe-eval' *.epfl.ch https://ajax.googleapis.com https://cdnjs.cloudflare.com https://connect.facebook.net https://platform.twitter.com https://www.google-analytics.com https://www.googletagmanager.com https://www.instagram.com https://www.youtube.com https://*.cast.switch.ch https://player.vimeo.com; object-src 'none'; connect-src 'self' https://*.cast.switch.ch https://*.cloudfront.net *.epfl.ch https://api.cdnjs.com https://*.google-analytics.com https://stats.g.doubleclick.net https://www.google-analytics.com; frame-src 'self' *.epfl.ch https://datawrapper.dwcdn.net https://player.vimeo.com https://api.cast.switch.ch https://platform.twitter.com https://www.instagram.com https://www.youtube.com; style-src-elem 'self' 'unsafe-inline' https://fonts.googleapis.com *.epfl.ch; font-src 'self' https://fonts.gstatic.com *.epfl.ch data:; media-src 'self' *.epfl.ch https://*.cloudfront.net data:; img-src * data: https://s.w.org https://syndication.twitter.com https://www.google-analytics.com; worker-src 'none' blob:; report-uri https://report-uri.epfl.ch/csp-report;
content-length: 52237
x-varnish-cache-hits: 3
last-modified: Thu, 04 Jan 2024 09:21:29 GMT
server: cloudflare
etag: "567f2-60e1b41ac9840-gzip"
vary: Accept-Encoding
content-type: text/css
x-varnish: 364981582 343516836
cache-control: max-age=129600, public
x-epfl-internal: FALSE
accept-ranges: bytes
cf-ray: 84c61d2bda8b41c5-MRS

GET
H2 200 style.min.css
www.epfl.ch/wp/6/wp-content/themes/wp-theme-2018/theme/ 4 KB
2 KB 61ms
58ms Stylesheet
text/css 104.20.229.42
CLOUDFLARENET

General

Check archive.org

Show headers Download Go to

Full URL

https://www.epfl.ch/wp/6/wp-content/themes/wp-theme-2018/theme/style.min.css?ver=1704360089

Requested by

Host: www.epfl.ch
URL: https://www.epfl.ch/schools/ic/research/programming-languages-formal-methods/

Protocol

Security

TLS 1.3, , AES_128_GCM

Server

104.20.229.42 -, , ASN13335 (CLOUDFLARENET, US),

Reverse DNS

Software

cloudflare /

Resource Hash

1386246f4956b6cca5b06dfccf2f010f8e47258d6c4232adea7741d22e750c68

Security Headers

Name	Value
Strict-Transport-Security	max-age=31536000

Request headers

accept-language: de-CH,de;q=0.9
Referer: https://www.google.com/
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/120.0.6099.224 Safari/537.36

Response headers

x-varnish-cache: HIT
date: Sun, 28 Jan 2024 03:22:57 GMT
content-encoding: gzip
via: 1.1 varnish (Varnish/5.1)
strict-transport-security: max-age=31536000
cf-cache-status: HIT
age: 105975
content-security-policy-report-only: default-src 'self' 'unsafe-inline' *.epfl.ch; script-src 'self' 'unsafe-inline' 'unsafe-eval' *.epfl.ch https://ajax.googleapis.com https://cdnjs.cloudflare.com https://connect.facebook.net https://platform.twitter.com https://www.google-analytics.com https://www.googletagmanager.com https://www.instagram.com https://www.youtube.com https://*.cast.switch.ch https://player.vimeo.com; object-src 'none'; connect-src 'self' https://*.cast.switch.ch https://*.cloudfront.net *.epfl.ch https://api.cdnjs.com https://*.google-analytics.com https://stats.g.doubleclick.net https://www.google-analytics.com; frame-src 'self' *.epfl.ch https://datawrapper.dwcdn.net https://player.vimeo.com https://api.cast.switch.ch https://platform.twitter.com https://www.instagram.com https://www.youtube.com; style-src-elem 'self' 'unsafe-inline' https://fonts.googleapis.com *.epfl.ch; font-src 'self' https://fonts.gstatic.com *.epfl.ch data:; media-src 'self' *.epfl.ch https://*.cloudfront.net data:; img-src * data: https://s.w.org https://syndication.twitter.com https://www.google-analytics.com; worker-src 'none' blob:; report-uri https://report-uri.epfl.ch/csp-report;
content-length: 938
x-varnish-cache-hits: 4
last-modified: Thu, 04 Jan 2024 09:21:29 GMT
server: cloudflare
etag: "1018-60e1b41ac9840-gzip"
vary: Accept-Encoding
content-type: text/css
x-varnish: 313491624 312606865
cache-control: max-age=129600, public
x-epfl-internal: FALSE
accept-ranges: bytes
cf-ray: 84c61d2bda8c41c5-MRS

GET
H2 200 enlighterjs.min.css
www.epfl.ch/schools/ic/wp-content/plugins/enlighter/cache/ 77 KB
9 KB 63ms
60ms Stylesheet
text/css 104.20.229.42
CLOUDFLARENET

General

Check archive.org

Show headers Download Go to

Full URL

https://www.epfl.ch/schools/ic/wp-content/plugins/enlighter/cache/enlighterjs.min.css?ver=381+TCtfRFrysMf

Requested by

Host: www.epfl.ch
URL: https://www.epfl.ch/schools/ic/research/programming-languages-formal-methods/

Protocol

Security

TLS 1.3, , AES_128_GCM

Server

104.20.229.42 -, , ASN13335 (CLOUDFLARENET, US),

Reverse DNS

Software

cloudflare /

Resource Hash

b53bab8ff567478133c5ace09e40cf2f3910b74de2f69b29890fd074932b1a79

Security Headers

Name	Value
Strict-Transport-Security	max-age=31536000

Request headers

accept-language: de-CH,de;q=0.9
Referer: https://www.google.com/
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/120.0.6099.224 Safari/537.36

Response headers

x-varnish-cache: HIT
date: Sun, 28 Jan 2024 03:22:57 GMT
content-encoding: gzip
via: 1.1 varnish (Varnish/5.1)
strict-transport-security: max-age=31536000
cf-cache-status: HIT
age: 18907
content-security-policy-report-only: default-src 'self' 'unsafe-inline' *.epfl.ch; script-src 'self' 'unsafe-inline' 'unsafe-eval' *.epfl.ch https://ajax.googleapis.com https://cdnjs.cloudflare.com https://connect.facebook.net https://platform.twitter.com https://www.google-analytics.com https://www.googletagmanager.com https://www.instagram.com https://www.youtube.com https://*.cast.switch.ch https://player.vimeo.com; object-src 'none'; connect-src 'self' https://*.cast.switch.ch https://*.cloudfront.net *.epfl.ch https://api.cdnjs.com https://*.google-analytics.com https://stats.g.doubleclick.net https://www.google-analytics.com; frame-src 'self' *.epfl.ch https://datawrapper.dwcdn.net https://player.vimeo.com https://api.cast.switch.ch https://platform.twitter.com https://www.instagram.com https://www.youtube.com; style-src-elem 'self' 'unsafe-inline' https://fonts.googleapis.com *.epfl.ch; font-src 'self' https://fonts.gstatic.com *.epfl.ch data:; media-src 'self' *.epfl.ch https://*.cloudfront.net data:; img-src * data: https://s.w.org https://syndication.twitter.com https://www.google-analytics.com; worker-src 'none' blob:; report-uri https://report-uri.epfl.ch/csp-report;
content-length: 9032
x-varnish-cache-hits: 5
last-modified: Thu, 04 Jan 2024 09:21:18 GMT
server: cloudflare
etag: "13490-60e1b4104bf80-gzip"
vary: Accept-Encoding
content-type: text/css
x-varnish: 665468596 676373329
cache-control: max-age=129600, public
x-epfl-internal: FALSE
accept-ranges: bytes
cf-ray: 84c61d2bda8e41c5-MRS

GET
H2 200 jquery.min.js Show response
www.epfl.ch/schools/ic/wp-includes/js/jquery/ 88 KB
30 KB 52ms
49ms Script
application/javascript 104.20.229.42
CLOUDFLARENET

General

Check archive.org

Show headers Download Go to

Full URL

https://www.epfl.ch/schools/ic/wp-includes/js/jquery/jquery.min.js?ver=3.6.1

Requested by

Host: www.epfl.ch
URL: https://www.epfl.ch/schools/ic/research/programming-languages-formal-methods/

Protocol

Security

TLS 1.3, , AES_128_GCM

Server

104.20.229.42 -, , ASN13335 (CLOUDFLARENET, US),

Reverse DNS

Software

cloudflare /

Resource Hash

cc7403bab52ed166e24ea9324241045af370be482f5b594468f4a6ac6e7e7981

Security Headers

Name	Value
Strict-Transport-Security	max-age=31536000

Request headers

accept-language: de-CH,de;q=0.9
Referer: https://www.google.com/
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/120.0.6099.224 Safari/537.36

Response headers

x-varnish-cache: HIT
date: Sun, 28 Jan 2024 03:22:57 GMT
content-encoding: gzip
via: 1.1 varnish (Varnish/5.1)
strict-transport-security: max-age=31536000
cf-cache-status: HIT
age: 18907
content-security-policy-report-only: default-src 'self' 'unsafe-inline' *.epfl.ch; script-src 'self' 'unsafe-inline' 'unsafe-eval' *.epfl.ch https://ajax.googleapis.com https://cdnjs.cloudflare.com https://connect.facebook.net https://platform.twitter.com https://www.google-analytics.com https://www.googletagmanager.com https://www.instagram.com https://www.youtube.com https://*.cast.switch.ch https://player.vimeo.com; object-src 'none'; connect-src 'self' https://*.cast.switch.ch https://*.cloudfront.net *.epfl.ch https://api.cdnjs.com https://*.google-analytics.com https://stats.g.doubleclick.net https://www.google-analytics.com; frame-src 'self' *.epfl.ch https://datawrapper.dwcdn.net https://player.vimeo.com https://api.cast.switch.ch https://platform.twitter.com https://www.instagram.com https://www.youtube.com; style-src-elem 'self' 'unsafe-inline' https://fonts.googleapis.com *.epfl.ch; font-src 'self' https://fonts.gstatic.com *.epfl.ch data:; media-src 'self' *.epfl.ch https://*.cloudfront.net data:; img-src * data: https://s.w.org https://syndication.twitter.com https://www.google-analytics.com; worker-src 'none' blob:; report-uri https://report-uri.epfl.ch/csp-report;
content-length: 30995
x-varnish-cache-hits: 1
last-modified: Thu, 04 Jan 2024 09:20:06 GMT
server: cloudflare
etag: "15e54-60e1b3cba1d80-gzip"
vary: Accept-Encoding
content-type: application/javascript
x-varnish: 365280506 355061035
cache-control: max-age=129600, public
x-epfl-internal: FALSE
accept-ranges: bytes
cf-ray: 84c61d2bda8f41c5-MRS

GET
H2 200 jquery-migrate.min.js Show response
www.epfl.ch/schools/ic/wp-includes/js/jquery/ 11 KB
4 KB 413ms
411ms Script
application/javascript 104.20.229.42
CLOUDFLARENET

General

Check archive.org

Show headers Download Go to

Full URL

https://www.epfl.ch/schools/ic/wp-includes/js/jquery/jquery-migrate.min.js?ver=3.3.2

Requested by

Host: www.epfl.ch
URL: https://www.epfl.ch/schools/ic/research/programming-languages-formal-methods/

Protocol

Security

TLS 1.3, , AES_128_GCM

Server

104.20.229.42 -, , ASN13335 (CLOUDFLARENET, US),

Reverse DNS

Software

cloudflare /

Resource Hash

029e0a2e809fd6b5dbe76abe8b7a74936be306c9a8c27c814c4d44aa54623300

Security Headers

Name	Value
Strict-Transport-Security	max-age=31536000

Request headers

accept-language: de-CH,de;q=0.9
Referer: https://www.google.com/
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/120.0.6099.224 Safari/537.36

Response headers

x-varnish-cache: HIT
date: Sun, 28 Jan 2024 03:22:57 GMT
content-encoding: gzip
via: 1.1 varnish (Varnish/5.1)
strict-transport-security: max-age=31536000
cf-cache-status: HIT
age: 18907
content-security-policy-report-only: default-src 'self' 'unsafe-inline' *.epfl.ch; script-src 'self' 'unsafe-inline' 'unsafe-eval' *.epfl.ch https://ajax.googleapis.com https://cdnjs.cloudflare.com https://connect.facebook.net https://platform.twitter.com https://www.google-analytics.com https://www.googletagmanager.com https://www.instagram.com https://www.youtube.com https://*.cast.switch.ch https://player.vimeo.com; object-src 'none'; connect-src 'self' https://*.cast.switch.ch https://*.cloudfront.net *.epfl.ch https://api.cdnjs.com https://*.google-analytics.com https://stats.g.doubleclick.net https://www.google-analytics.com; frame-src 'self' *.epfl.ch https://datawrapper.dwcdn.net https://player.vimeo.com https://api.cast.switch.ch https://platform.twitter.com https://www.instagram.com https://www.youtube.com; style-src-elem 'self' 'unsafe-inline' https://fonts.googleapis.com *.epfl.ch; font-src 'self' https://fonts.gstatic.com *.epfl.ch data:; media-src 'self' *.epfl.ch https://*.cloudfront.net data:; img-src * data: https://s.w.org https://syndication.twitter.com https://www.google-analytics.com; worker-src 'none' blob:; report-uri https://report-uri.epfl.ch/csp-report;
content-length: 4169
x-varnish-cache-hits: 6
last-modified: Thu, 04 Jan 2024 09:20:06 GMT
server: cloudflare
etag: "2bd8-60e1b3cba1d80-gzip"
vary: Accept-Encoding
content-type: application/javascript
x-varnish: 664054847 657699096
cache-control: max-age=129600, public
x-epfl-internal: FALSE
accept-ranges: bytes
cf-ray: 84c61d2bda9141c5-MRS

GET
H2 200 list.min.js Show response
www.epfl.ch/schools/ic/wp-content/plugins/wp-gutenberg-epfl/frontend/lib/ 18 KB
6 KB 61ms
59ms Script
application/javascript 104.20.229.42
CLOUDFLARENET

General

Check archive.org

Show headers Download Go to

Full URL

https://www.epfl.ch/schools/ic/wp-content/plugins/wp-gutenberg-epfl/frontend/lib/list.min.js?ver=1.5

Requested by

Host: www.epfl.ch
URL: https://www.epfl.ch/schools/ic/research/programming-languages-formal-methods/

Protocol

Security

TLS 1.3, , AES_128_GCM

Server

104.20.229.42 -, , ASN13335 (CLOUDFLARENET, US),

Reverse DNS

Software

cloudflare /

Resource Hash

62a388a7833280dc7dfe5716af9969711f3c2a2fcc34c5af249907d1e2be7c73

Security Headers

Name	Value
Strict-Transport-Security	max-age=31536000

Request headers

accept-language: de-CH,de;q=0.9
Referer: https://www.google.com/
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/120.0.6099.224 Safari/537.36

Response headers

x-varnish-cache: HIT
date: Sun, 28 Jan 2024 03:22:57 GMT
content-encoding: gzip
via: 1.1 varnish (Varnish/5.1)
strict-transport-security: max-age=31536000
cf-cache-status: HIT
age: 18907
content-security-policy-report-only: default-src 'self' 'unsafe-inline' *.epfl.ch; script-src 'self' 'unsafe-inline' 'unsafe-eval' *.epfl.ch https://ajax.googleapis.com https://cdnjs.cloudflare.com https://connect.facebook.net https://platform.twitter.com https://www.google-analytics.com https://www.googletagmanager.com https://www.instagram.com https://www.youtube.com https://*.cast.switch.ch https://player.vimeo.com; object-src 'none'; connect-src 'self' https://*.cast.switch.ch https://*.cloudfront.net *.epfl.ch https://api.cdnjs.com https://*.google-analytics.com https://stats.g.doubleclick.net https://www.google-analytics.com; frame-src 'self' *.epfl.ch https://datawrapper.dwcdn.net https://player.vimeo.com https://api.cast.switch.ch https://platform.twitter.com https://www.instagram.com https://www.youtube.com; style-src-elem 'self' 'unsafe-inline' https://fonts.googleapis.com *.epfl.ch; font-src 'self' https://fonts.gstatic.com *.epfl.ch data:; media-src 'self' *.epfl.ch https://*.cloudfront.net data:; img-src * data: https://s.w.org https://syndication.twitter.com https://www.google-analytics.com; worker-src 'none' blob:; report-uri https://report-uri.epfl.ch/csp-report;
content-length: 6169
x-varnish-cache-hits: 4
last-modified: Thu, 04 Jan 2024 09:21:12 GMT
server: cloudflare
etag: "46b5-60e1b40a93200-gzip"
vary: Accept-Encoding
content-type: application/javascript
x-varnish: 665468594 681193839
cache-control: max-age=129600, public
x-epfl-internal: FALSE
accept-ranges: bytes
cf-ray: 84c61d2bda9241c5-MRS

GET
H2 200 lity.min.js Show response
www.epfl.ch/schools/ic/wp-content/plugins/flowpaper-lite-pdf-flipbook/assets/lity/ 6 KB
3 KB 63ms
61ms Script
application/javascript 104.20.229.42
CLOUDFLARENET

General

Check archive.org

Show headers Download Go to

Full URL

https://www.epfl.ch/schools/ic/wp-content/plugins/flowpaper-lite-pdf-flipbook/assets/lity/lity.min.js

Requested by

Host: www.epfl.ch
URL: https://www.epfl.ch/schools/ic/research/programming-languages-formal-methods/

Protocol

Security

TLS 1.3, , AES_128_GCM

Server

104.20.229.42 -, , ASN13335 (CLOUDFLARENET, US),

Reverse DNS

Software

cloudflare /

Resource Hash

cf141ab2cc48d26547bdba25f9a5aefbac9913446e460b2cced10d87e3616bd3

Security Headers

Name	Value
Strict-Transport-Security	max-age=31536000

Request headers

accept-language: de-CH,de;q=0.9
Referer: https://www.google.com/
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/120.0.6099.224 Safari/537.36

Response headers

x-varnish-cache: HIT
date: Sun, 28 Jan 2024 03:22:57 GMT
content-encoding: gzip
via: 1.1 varnish (Varnish/5.1)
strict-transport-security: max-age=31536000
cf-cache-status: HIT
age: 18907
content-security-policy-report-only: default-src 'self' 'unsafe-inline' *.epfl.ch; script-src 'self' 'unsafe-inline' 'unsafe-eval' *.epfl.ch https://ajax.googleapis.com https://cdnjs.cloudflare.com https://connect.facebook.net https://platform.twitter.com https://www.google-analytics.com https://www.googletagmanager.com https://www.instagram.com https://www.youtube.com https://*.cast.switch.ch https://player.vimeo.com; object-src 'none'; connect-src 'self' https://*.cast.switch.ch https://*.cloudfront.net *.epfl.ch https://api.cdnjs.com https://*.google-analytics.com https://stats.g.doubleclick.net https://www.google-analytics.com; frame-src 'self' *.epfl.ch https://datawrapper.dwcdn.net https://player.vimeo.com https://api.cast.switch.ch https://platform.twitter.com https://www.instagram.com https://www.youtube.com; style-src-elem 'self' 'unsafe-inline' https://fonts.googleapis.com *.epfl.ch; font-src 'self' https://fonts.gstatic.com *.epfl.ch data:; media-src 'self' *.epfl.ch https://*.cloudfront.net data:; img-src * data: https://s.w.org https://syndication.twitter.com https://www.google-analytics.com; worker-src 'none' blob:; report-uri https://report-uri.epfl.ch/csp-report;
content-length: 2909
x-varnish-cache-hits: 4
last-modified: Thu, 04 Jan 2024 09:20:57 GMT
server: cloudflare
etag: "19ef-60e1b3fc45040-gzip"
vary: Accept-Encoding
content-type: application/javascript
x-varnish: 841565070 844827468
cache-control: max-age=129600, public
x-epfl-internal: FALSE
accept-ranges: bytes
cf-ray: 84c61d2bda9341c5-MRS

GET
H2 200 jquery.min.js Show response
ajax.googleapis.com/ajax/libs/jquery/3.5.1/ 87 KB
88 KB 522ms
40ms Script
text/javascript 216.58.212.138
GOOGLE

General

Check archive.org

Show headers Download Go to

Full URL

https://ajax.googleapis.com/ajax/libs/jquery/3.5.1/jquery.min.js?ver=1704360089

Requested by

Host: www.epfl.ch
URL: https://www.epfl.ch/schools/ic/research/programming-languages-formal-methods/

Protocol

Security

TLS 1.3, , AES_128_GCM

Server

216.58.212.138 , United States, ASN15169 (GOOGLE, US),

Reverse DNS

ams15s21-in-f10.1e100.net

Software

sffe /

Resource Hash

f7f6a5894f1d19ddad6fa392b2ece2c5e578cbf7da4ea805b6885eb6985b6e3d

Security Headers

Name	Value
X-Content-Type-Options	nosniff
X-Xss-Protection	0

Request headers

accept-language: de-CH,de;q=0.9
Referer: https://www.google.com/
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/120.0.6099.224 Safari/537.36

Response headers

date: Mon, 22 Jan 2024 10:10:05 GMT
x-content-type-options: nosniff
age: 493972
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
content-length: 89476
x-xss-protection: 0
last-modified: Fri, 08 May 2020 07:05:03 GMT
server: sffe
cross-origin-opener-policy: same-origin; report-to="hosted-libraries-pushers"
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: *
expires: Tue, 21 Jan 2025 10:10:05 GMT

GET
H2 200 js Show response
www.googletagmanager.com/gtag/ 189 KB
68 KB 790ms
292ms Script
application/javascript 142.250.186.104
GOOGLE

General

Check archive.org

Show headers Download Go to

Full URL

https://www.googletagmanager.com/gtag/js?id=UA-179377016-1

Requested by

Host: www.epfl.ch
URL: https://www.epfl.ch/schools/ic/research/programming-languages-formal-methods/

Protocol

Security

TLS 1.3, , AES_128_GCM

Server

142.250.186.104 , United States, ASN15169 (GOOGLE, US),

Reverse DNS

fra24s06-in-f8.1e100.net

Software

Google Tag Manager /

Resource Hash

e46227f76a1357cc557efeef3aefcc465ac001ba76d68262c03f3f3fe1aef541

Security Headers

Name	Value
Strict-Transport-Security	max-age=31536000; includeSubDomains
X-Xss-Protection	0

Request headers

accept-language: de-CH,de;q=0.9
Referer: https://www.google.com/
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/120.0.6099.224 Safari/537.36

Response headers

date: Sun, 28 Jan 2024 03:22:58 GMT
content-encoding: br
strict-transport-security: max-age=31536000; includeSubDomains
cross-origin-resource-policy: cross-origin
alt-svc: h3=":443"; ma=2592000,h3-29=":443"; ma=2592000
content-length: 69494
x-xss-protection: 0
last-modified: Sun, 28 Jan 2024 03:00:00 GMT
server: Google Tag Manager
vary: Accept-Encoding
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: Sun, 28 Jan 2024 03:22:58 GMT

GET
H2 200 epfl-logo.svg
www.epfl.ch/wp/6/wp-content/themes/wp-theme-2018/assets/svg/ 1 KB
666 B 62ms
61ms Image
image/svg+xml 104.20.229.42
CLOUDFLARENET

General

Check archive.org

Show headers Download Go to Show image

Full URL

https://www.epfl.ch/wp/6/wp-content/themes/wp-theme-2018/assets/svg/epfl-logo.svg?refresh=now

Requested by

Host: www.epfl.ch
URL: https://www.epfl.ch/schools/ic/research/programming-languages-formal-methods/

Protocol

Security

TLS 1.3, , AES_128_GCM

Server

104.20.229.42 -, , ASN13335 (CLOUDFLARENET, US),

Reverse DNS

Software

cloudflare /

Resource Hash

7c6fbcbb18452b73f5a32b17f8abfd8cbbe8ec65912c66f109119dc989c51c3e

Security Headers

Name	Value
Strict-Transport-Security	max-age=31536000

Request headers

accept-language: de-CH,de;q=0.9
Referer: https://www.google.com/
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/120.0.6099.224 Safari/537.36

Response headers

x-varnish-cache: HIT
date: Sun, 28 Jan 2024 03:22:57 GMT
via: 1.1 varnish (Varnish/5.1)
content-encoding: gzip
strict-transport-security: max-age=31536000
cf-cache-status: HIT
age: 2708
content-security-policy-report-only: default-src 'self' 'unsafe-inline' *.epfl.ch; script-src 'self' 'unsafe-inline' 'unsafe-eval' *.epfl.ch https://ajax.googleapis.com https://cdnjs.cloudflare.com https://connect.facebook.net https://platform.twitter.com https://www.google-analytics.com https://www.googletagmanager.com https://www.instagram.com https://www.youtube.com https://*.cast.switch.ch https://player.vimeo.com; object-src 'none'; connect-src 'self' https://*.cast.switch.ch https://*.cloudfront.net *.epfl.ch https://api.cdnjs.com https://*.google-analytics.com https://stats.g.doubleclick.net https://www.google-analytics.com; frame-src 'self' *.epfl.ch https://datawrapper.dwcdn.net https://player.vimeo.com https://api.cast.switch.ch https://platform.twitter.com https://www.instagram.com https://www.youtube.com; style-src-elem 'self' 'unsafe-inline' https://fonts.googleapis.com *.epfl.ch; font-src 'self' https://fonts.gstatic.com *.epfl.ch data:; media-src 'self' *.epfl.ch https://*.cloudfront.net data:; img-src * data: https://s.w.org https://syndication.twitter.com https://www.google-analytics.com; worker-src 'none' blob:; report-uri https://report-uri.epfl.ch/csp-report;
x-varnish-cache-hits: 2
last-modified: Thu, 04 Jan 2024 09:21:29 GMT
server: cloudflare
etag: W/"4e6-60e1b41ac9840"
vary: Accept-Encoding
x-varnish: 429196600 425472912
content-type: image/svg+xml
x-epfl-internal: FALSE
cf-ray: 84c61d2bda9441c5-MRS

GET
H/1.1 200
OK 000000.jpg
ic-services.epfl.ch/static/img/form/ 6 KB
6 KB 484ms
58ms Image
image/jpeg 128.178.32.14
SWITCH Peering re...

General

Check archive.org

Show headers Download Go to Show image

Full URL

https://ic-services.epfl.ch/static/img/form/000000.jpg

Requested by

Host: www.epfl.ch
URL: https://www.epfl.ch/schools/ic/research/programming-languages-formal-methods/

Protocol

HTTP/1.1

Security

TLS 1.2, ECDHE_RSA, AES_256_GCM

Server

128.178.32.14 Jongny, Switzerland, ASN559 (SWITCH Peering requests: peering@switch.ch, CH),

Reverse DNS

icwebsrv-k8s.epfl.ch

Software

Resource Hash

7e7432c277d5c7b461bd3f0419015a93bad35f3e54dbe24f0baa82b44d8f80a9

Security Headers

Name	Value
Strict-Transport-Security	max-age=15724800; includeSubDomains
X-Content-Type-Options	nosniff

Request headers

accept-language: de-CH,de;q=0.9
Referer: https://www.google.com/
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/120.0.6099.224 Safari/537.36

Response headers

Date: Sun, 28 Jan 2024 03:22:57 GMT
Strict-Transport-Security: max-age=15724800; includeSubDomains
X-Content-Type-Options: nosniff
Referrer-Policy: same-origin
Last-Modified: Tue, 23 Jan 2024 16:01:01 GMT
Cross-Origin-Opener-Policy: same-origin
ETag: "65afd4ad-16e5"
Content-Type: image/jpeg
Access-Control-Allow-Origin: *
Cache-Control: max-age=60, public
Connection: keep-alive
Content-Length: 5861

GET
H/1.1 200
OK 172241.jpg
people.epfl.ch/private/common/photos/links/ 149 KB
150 KB 444ms
36ms Image
image/jpeg 128.178.222.22
SWITCH Peering re...

General

Check archive.org

Show headers Download Go to Show image

Full URL

https://people.epfl.ch/private/common/photos/links/172241.jpg

Requested by

Host: www.epfl.ch
URL: https://www.epfl.ch/schools/ic/research/programming-languages-formal-methods/

Protocol

HTTP/1.1

Security

TLS 1.2, ECDHE_RSA, AES_256_GCM

Server

128.178.222.22 Bussigny, Switzerland, ASN559 (SWITCH Peering requests: peering@switch.ch, CH),

Reverse DNS

dinfo-vm.epfl.ch

Software

Resource Hash

82fc2c7b37195fd3978b283097930194d9f248841bb98f5b5a0b9791e69ef79d

Security Headers

Name	Value
Strict-Transport-Security	max-age=31536000

Request headers

accept-language: de-CH,de;q=0.9
Referer: https://www.google.com/
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/120.0.6099.224 Safari/537.36

Response headers

Date: Sun, 28 Jan 2024 03:22:57 GMT
Strict-Transport-Security: max-age=31536000
Last-Modified: Wed, 08 Feb 2023 12:34:43 GMT
ETag: "421c5d3-255a7-5f42f7d1a8dd6"
Content-Type: image/jpeg
Connection: close
Accept-Ranges: bytes
Content-Length: 152999

GET
H/1.1 200
OK 177958.jpg
people.epfl.ch/private/common/photos/links/ 459 KB
460 KB 24ms
24ms Image
image/jpeg 128.178.222.22
SWITCH Peering re...

General

Check archive.org

Show headers Download Go to Show image

Full URL

https://people.epfl.ch/private/common/photos/links/177958.jpg

Requested by

Host: www.epfl.ch
URL: https://www.epfl.ch/schools/ic/research/programming-languages-formal-methods/

Protocol

HTTP/1.1

Security

TLS 1.2, ECDHE_RSA, AES_256_GCM

Server

128.178.222.22 Bussigny, Switzerland, ASN559 (SWITCH Peering requests: peering@switch.ch, CH),

Reverse DNS

dinfo-vm.epfl.ch

Software

Resource Hash

72989facca4e008df6fcb3028c83bb3c9e50ff992744c86809972fcc049795f3

Security Headers

Name	Value
Strict-Transport-Security	max-age=31536000

Request headers

accept-language: de-CH,de;q=0.9
Referer: https://www.google.com/
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/120.0.6099.224 Safari/537.36

Response headers

Date: Sun, 28 Jan 2024 03:22:57 GMT
Strict-Transport-Security: max-age=31536000
Last-Modified: Fri, 10 May 2019 08:27:30 GMT
ETag: "421e9c4-72d66-5888456724bb1"
Content-Type: image/jpeg
Connection: close
Accept-Ranges: bytes
Content-Length: 470374

GET
H/1.1 200
OK 257875.jpg
people.epfl.ch/private/common/photos/links/ 465 KB
466 KB 151ms
73ms Image
image/jpeg 128.178.222.22
SWITCH Peering re...

General

Check archive.org

Show headers Download Go to Show image

Full URL

https://people.epfl.ch/private/common/photos/links/257875.jpg

Requested by

Host: www.epfl.ch
URL: https://www.epfl.ch/schools/ic/research/programming-languages-formal-methods/

Protocol

HTTP/1.1

Security

TLS 1.2, ECDHE_RSA, AES_256_GCM

Server

128.178.222.22 Bussigny, Switzerland, ASN559 (SWITCH Peering requests: peering@switch.ch, CH),

Reverse DNS

dinfo-vm.epfl.ch

Software

Resource Hash

9d650ae156599b9f9ccdc270ff53ec8d6480f28c91deba5e11ad282c2ee24313

Security Headers

Name	Value
Strict-Transport-Security	max-age=31536000

Request headers

accept-language: de-CH,de;q=0.9
Referer: https://www.google.com/
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/120.0.6099.224 Safari/537.36

Response headers

Date: Sun, 28 Jan 2024 03:22:57 GMT
Strict-Transport-Security: max-age=31536000
Last-Modified: Sat, 22 Apr 2023 06:02:06 GMT
ETag: "42008fa-745c5-5f9e683719c47"
Content-Type: image/jpeg
Connection: close
Accept-Ranges: bytes
Content-Length: 476613

GET
H/1.1 200
OK 105326.jpg
people.epfl.ch/private/common/photos/links/ 89 KB
0 152ms
55ms Image
image/jpeg 128.178.222.22
SWITCH Peering re...

General

Check archive.org

Show headers Download Go to Show image

Full URL

https://people.epfl.ch/private/common/photos/links/105326.jpg

Requested by

Host: www.epfl.ch
URL: https://www.epfl.ch/schools/ic/research/programming-languages-formal-methods/

Protocol

HTTP/1.1

Security

TLS 1.2, ECDHE_RSA, AES_256_GCM

Server

128.178.222.22 Bussigny, Switzerland, ASN559 (SWITCH Peering requests: peering@switch.ch, CH),

Reverse DNS

dinfo-vm.epfl.ch

Software

Resource Hash

Security Headers

Name	Value
Strict-Transport-Security	max-age=31536000

Request headers

accept-language: de-CH,de;q=0.9
Referer: https://www.google.com/
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/120.0.6099.224 Safari/537.36

Response headers

Date: Sun, 28 Jan 2024 03:22:57 GMT
Strict-Transport-Security: max-age=31536000
Last-Modified: Fri, 24 Feb 2012 16:12:58 GMT
ETag: "420a004-1de20-4b9b808b45680"
Content-Type: image/jpeg
Connection: close
Accept-Ranges: bytes
Content-Length: 122400

GET
H/1.1 200
OK 205917.jpg
people.epfl.ch/private/common/photos/links/ 6 KB
6 KB 149ms
52ms Image
image/jpeg 128.178.222.22
SWITCH Peering re...

General

Check archive.org

Show headers Download Go to Show image

Full URL

https://people.epfl.ch/private/common/photos/links/205917.jpg

Requested by

Host: www.epfl.ch
URL: https://www.epfl.ch/schools/ic/research/programming-languages-formal-methods/

Protocol

HTTP/1.1

Security

TLS 1.2, ECDHE_RSA, AES_256_GCM

Server

128.178.222.22 Bussigny, Switzerland, ASN559 (SWITCH Peering requests: peering@switch.ch, CH),

Reverse DNS

dinfo-vm.epfl.ch

Software

Resource Hash

454c1bfb5e942dda4c63936a0ce93e619433f75b3426a044135066f074ac10ea

Security Headers

Name	Value
Strict-Transport-Security	max-age=31536000

Request headers

accept-language: de-CH,de;q=0.9
Referer: https://www.google.com/
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/120.0.6099.224 Safari/537.36

Response headers

Date: Sun, 28 Jan 2024 03:22:57 GMT
Strict-Transport-Security: max-age=31536000
Last-Modified: Mon, 21 Sep 2020 13:59:53 GMT
ETag: "4222e36-162c-5afd343bf692e"
Content-Type: image/jpeg
Connection: close
Accept-Ranges: bytes
Content-Length: 5676

GET
H/1.1 200
OK 177241.jpg
people.epfl.ch/private/common/photos/links/ 280 KB
0 340ms
243ms Image
image/jpeg 128.178.222.22
SWITCH Peering re...

General

Check archive.org

Show headers Download Go to Show image

Full URL

https://people.epfl.ch/private/common/photos/links/177241.jpg

Requested by

Host: www.epfl.ch
URL: https://www.epfl.ch/schools/ic/research/programming-languages-formal-methods/

Protocol

HTTP/1.1

Security

TLS 1.2, ECDHE_RSA, AES_256_GCM

Server

128.178.222.22 Bussigny, Switzerland, ASN559 (SWITCH Peering requests: peering@switch.ch, CH),

Reverse DNS

dinfo-vm.epfl.ch

Software

Resource Hash

Security Headers

Name	Value
Strict-Transport-Security	max-age=31536000

Request headers

accept-language: de-CH,de;q=0.9
Referer: https://www.google.com/
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/120.0.6099.224 Safari/537.36

Response headers

Date: Sun, 28 Jan 2024 03:22:58 GMT
Strict-Transport-Security: max-age=31536000
Last-Modified: Tue, 24 Jan 2023 16:54:54 GMT
ETag: "421bf01-576d1-5f3056002f8d0"
Content-Type: image/jpeg
Connection: close
Accept-Ranges: bytes
Content-Length: 358097

GET
H/1.1 200
OK 240726.jpg
people.epfl.ch/private/common/photos/links/ 371 KB
0 167ms
34ms Image
image/jpeg 128.178.222.22
SWITCH Peering re...

General

Check archive.org

Show headers Download Go to Show image

Full URL

https://people.epfl.ch/private/common/photos/links/240726.jpg

Requested by

Host: www.epfl.ch
URL: https://www.epfl.ch/schools/ic/research/programming-languages-formal-methods/

Protocol

HTTP/1.1

Security

TLS 1.2, ECDHE_RSA, AES_256_GCM

Server

128.178.222.22 Bussigny, Switzerland, ASN559 (SWITCH Peering requests: peering@switch.ch, CH),

Reverse DNS

dinfo-vm.epfl.ch

Software

Resource Hash

Security Headers

Name	Value
Strict-Transport-Security	max-age=31536000

Request headers

accept-language: de-CH,de;q=0.9
Referer: https://www.google.com/
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/120.0.6099.224 Safari/537.36

Response headers

Date: Sun, 28 Jan 2024 03:22:57 GMT
Strict-Transport-Security: max-age=31536000
Last-Modified: Fri, 13 Jul 2018 07:33:24 GMT
ETag: "4221ab7-63dd3-570dc7ebb7016"
Content-Type: image/jpeg
Connection: close
Accept-Ranges: bytes
Content-Length: 409043

GET
H/1.1 200
OK 126003.jpg
people.epfl.ch/private/common/photos/links/ 28 KB
0 155ms
54ms Image
image/jpeg 128.178.222.22
SWITCH Peering re...

General

Check archive.org

Show headers Download Go to Show image

Full URL

https://people.epfl.ch/private/common/photos/links/126003.jpg

Requested by

Host: www.epfl.ch
URL: https://www.epfl.ch/schools/ic/research/programming-languages-formal-methods/

Protocol

HTTP/1.1

Security

TLS 1.2, ECDHE_RSA, AES_256_GCM

Server

128.178.222.22 Bussigny, Switzerland, ASN559 (SWITCH Peering requests: peering@switch.ch, CH),

Reverse DNS

dinfo-vm.epfl.ch

Software

Resource Hash

Security Headers

Name	Value
Strict-Transport-Security	max-age=31536000

Request headers

accept-language: de-CH,de;q=0.9
Referer: https://www.google.com/
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/120.0.6099.224 Safari/537.36

Response headers

Date: Sun, 28 Jan 2024 03:22:57 GMT
Strict-Transport-Security: max-age=31536000
Last-Modified: Tue, 23 Mar 2010 11:26:34 GMT
ETag: "420acc4-15b48-482761604ae80"
Content-Type: image/jpeg
Connection: close
Accept-Ranges: bytes
Content-Length: 88904

GET
H/1.1 200
OK 303470.jpg
people.epfl.ch/private/common/photos/links/ 87 KB
0 243ms
158ms Image
image/jpeg 128.178.222.22
SWITCH Peering re...

General

Check archive.org

Show headers Download Go to Show image

Full URL

https://people.epfl.ch/private/common/photos/links/303470.jpg

Requested by

Host: www.epfl.ch
URL: https://www.epfl.ch/schools/ic/research/programming-languages-formal-methods/

Protocol

HTTP/1.1

Security

TLS 1.2, ECDHE_RSA, AES_256_GCM

Server

128.178.222.22 Bussigny, Switzerland, ASN559 (SWITCH Peering requests: peering@switch.ch, CH),

Reverse DNS

dinfo-vm.epfl.ch

Software

Resource Hash

Security Headers

Name	Value
Strict-Transport-Security	max-age=31536000

Request headers

accept-language: de-CH,de;q=0.9
Referer: https://www.google.com/
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/120.0.6099.224 Safari/537.36

Response headers

Date: Sun, 28 Jan 2024 03:22:58 GMT
Strict-Transport-Security: max-age=31536000
Last-Modified: Tue, 07 Feb 2023 08:20:19 GMT
ETag: "421c56a-23765-5f417d17fa75e"
Content-Type: image/jpeg
Connection: close
Accept-Ranges: bytes
Content-Length: 145253

GET
H/1.1 200
OK 357094.jpg
people.epfl.ch/private/common/photos/links/ 151 KB
0 230ms
127ms Image
image/jpeg 128.178.222.22
SWITCH Peering re...

General

Check archive.org

Show headers Download Go to Show image

Full URL

https://people.epfl.ch/private/common/photos/links/357094.jpg

Requested by

Host: www.epfl.ch
URL: https://www.epfl.ch/schools/ic/research/programming-languages-formal-methods/

Protocol

HTTP/1.1

Security

TLS 1.2, ECDHE_RSA, AES_256_GCM

Server

128.178.222.22 Bussigny, Switzerland, ASN559 (SWITCH Peering requests: peering@switch.ch, CH),

Reverse DNS

dinfo-vm.epfl.ch

Software

Resource Hash

Security Headers

Name	Value
Strict-Transport-Security	max-age=31536000

Request headers

accept-language: de-CH,de;q=0.9
Referer: https://www.google.com/
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/120.0.6099.224 Safari/537.36

Response headers

Date: Sun, 28 Jan 2024 03:22:58 GMT
Strict-Transport-Security: max-age=31536000
Last-Modified: Tue, 14 Feb 2023 17:36:57 GMT
ETag: "420017a-31406-5f4ac6906467e"
Content-Type: image/jpeg
Connection: close
Accept-Ranges: bytes
Content-Length: 201734

GET
H2 200 email-decode.min.js Show response
www.epfl.ch/cdn-cgi/scripts/5c5dd728/cloudflare-static/ 1 KB
842 B 57ms
54ms Script
application/javascript 104.20.229.42
CLOUDFLARENET

General

Check archive.org

Show headers Download Go to

Full URL

https://www.epfl.ch/cdn-cgi/scripts/5c5dd728/cloudflare-static/email-decode.min.js

Requested by

Host: www.epfl.ch
URL: https://www.epfl.ch/schools/ic/research/programming-languages-formal-methods/

Protocol

Security

TLS 1.3, , AES_128_GCM

Server

104.20.229.42 -, , ASN13335 (CLOUDFLARENET, US),

Reverse DNS

Software

cloudflare /

Resource Hash

2595496fe48df6fcf9b1bc57c29a744c121eb4dd11566466bc13d2e52e6bbcc8

Security Headers

Name	Value
X-Content-Type-Options	nosniff
X-Frame-Options	DENY

Request headers

accept-language: de-CH,de;q=0.9
Referer: https://www.google.com/
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/120.0.6099.224 Safari/537.36

Response headers

date: Sun, 28 Jan 2024 03:22:57 GMT
content-encoding: gzip
x-content-type-options: nosniff
last-modified: Fri, 26 Jan 2024 10:32:07 GMT
server: cloudflare
etag: W/"65b38a27-4d7"
vary: Accept-Encoding
x-frame-options: DENY
content-type: application/javascript
cache-control: max-age=172800, public
cf-ray: 84c61d2f4d6941c5-MRS
expires: Tue, 30 Jan 2024 03:22:57 GMT

GET
H2 200 vendors.min.js Show response
www.epfl.ch/wp/6/wp-content/themes/wp-theme-2018/assets/js/ 297 KB
88 KB 62ms
59ms Script
application/javascript 104.20.229.42
CLOUDFLARENET

General

Check archive.org

Show headers Download Go to

Full URL

https://www.epfl.ch/wp/6/wp-content/themes/wp-theme-2018/assets/js/vendors.min.js?ver=1704360089

Requested by

Host: www.epfl.ch
URL: https://www.epfl.ch/schools/ic/research/programming-languages-formal-methods/

Protocol

Security

TLS 1.3, , AES_128_GCM

Server

104.20.229.42 -, , ASN13335 (CLOUDFLARENET, US),

Reverse DNS

Software

cloudflare /

Resource Hash

b334262b72afc3c6f71d675fc4e1f5053bc9488eb6dd3034c98cafeb91edba44

Security Headers

Name	Value
Strict-Transport-Security	max-age=31536000

Request headers

accept-language: de-CH,de;q=0.9
Referer: https://www.google.com/
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/120.0.6099.224 Safari/537.36

Response headers

x-varnish-cache: HIT
date: Sun, 28 Jan 2024 03:22:57 GMT
content-encoding: gzip
via: 1.1 varnish (Varnish/5.1)
strict-transport-security: max-age=31536000
cf-cache-status: HIT
age: 105975
content-security-policy-report-only: default-src 'self' 'unsafe-inline' *.epfl.ch; script-src 'self' 'unsafe-inline' 'unsafe-eval' *.epfl.ch https://ajax.googleapis.com https://cdnjs.cloudflare.com https://connect.facebook.net https://platform.twitter.com https://www.google-analytics.com https://www.googletagmanager.com https://www.instagram.com https://www.youtube.com https://*.cast.switch.ch https://player.vimeo.com; object-src 'none'; connect-src 'self' https://*.cast.switch.ch https://*.cloudfront.net *.epfl.ch https://api.cdnjs.com https://*.google-analytics.com https://stats.g.doubleclick.net https://www.google-analytics.com; frame-src 'self' *.epfl.ch https://datawrapper.dwcdn.net https://player.vimeo.com https://api.cast.switch.ch https://platform.twitter.com https://www.instagram.com https://www.youtube.com; style-src-elem 'self' 'unsafe-inline' https://fonts.googleapis.com *.epfl.ch; font-src 'self' https://fonts.gstatic.com *.epfl.ch data:; media-src 'self' *.epfl.ch https://*.cloudfront.net data:; img-src * data: https://s.w.org https://syndication.twitter.com https://www.google-analytics.com; worker-src 'none' blob:; report-uri https://report-uri.epfl.ch/csp-report;
content-length: 89936
x-varnish-cache-hits: 4
last-modified: Thu, 04 Jan 2024 09:21:29 GMT
server: cloudflare
etag: "4a47e-60e1b41ac9840-gzip"
vary: Accept-Encoding
content-type: application/javascript
x-varnish: 300483398 312443003
cache-control: max-age=129600, public
x-epfl-internal: FALSE
accept-ranges: bytes
cf-ray: 84c61d2f4d6b41c5-MRS

GET
H2 200 elements.min.js Show response
www.epfl.ch/wp/6/wp-content/themes/wp-theme-2018/assets/js/ 99 KB
31 KB 58ms
55ms Script
application/javascript 104.20.229.42
CLOUDFLARENET

General

Check archive.org

Show headers Download Go to

Full URL

https://www.epfl.ch/wp/6/wp-content/themes/wp-theme-2018/assets/js/elements.min.js?ver=1704360089

Requested by

Host: www.epfl.ch
URL: https://www.epfl.ch/schools/ic/research/programming-languages-formal-methods/

Protocol

Security

TLS 1.3, , AES_128_GCM

Server

104.20.229.42 -, , ASN13335 (CLOUDFLARENET, US),

Reverse DNS

Software

cloudflare /

Resource Hash

b0458d44e14cac0a23eecda3aff3ca521972487c1f04f48548a5c50e46b73bf8

Security Headers

Name	Value
Strict-Transport-Security	max-age=31536000

Request headers

accept-language: de-CH,de;q=0.9
Referer: https://www.google.com/
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/120.0.6099.224 Safari/537.36

Response headers

x-varnish-cache: HIT
date: Sun, 28 Jan 2024 03:22:57 GMT
content-encoding: gzip
via: 1.1 varnish (Varnish/5.1)
strict-transport-security: max-age=31536000
cf-cache-status: HIT
age: 105975
content-security-policy-report-only: default-src 'self' 'unsafe-inline' *.epfl.ch; script-src 'self' 'unsafe-inline' 'unsafe-eval' *.epfl.ch https://ajax.googleapis.com https://cdnjs.cloudflare.com https://connect.facebook.net https://platform.twitter.com https://www.google-analytics.com https://www.googletagmanager.com https://www.instagram.com https://www.youtube.com https://*.cast.switch.ch https://player.vimeo.com; object-src 'none'; connect-src 'self' https://*.cast.switch.ch https://*.cloudfront.net *.epfl.ch https://api.cdnjs.com https://*.google-analytics.com https://stats.g.doubleclick.net https://www.google-analytics.com; frame-src 'self' *.epfl.ch https://datawrapper.dwcdn.net https://player.vimeo.com https://api.cast.switch.ch https://platform.twitter.com https://www.instagram.com https://www.youtube.com; style-src-elem 'self' 'unsafe-inline' https://fonts.googleapis.com *.epfl.ch; font-src 'self' https://fonts.gstatic.com *.epfl.ch data:; media-src 'self' *.epfl.ch https://*.cloudfront.net data:; img-src * data: https://s.w.org https://syndication.twitter.com https://www.google-analytics.com; worker-src 'none' blob:; report-uri https://report-uri.epfl.ch/csp-report;
content-length: 31057
x-varnish-cache-hits: 3
last-modified: Thu, 04 Jan 2024 09:21:29 GMT
server: cloudflare
etag: "18a05-60e1b41ac9840-gzip"
vary: Accept-Encoding
content-type: application/javascript
x-varnish: 474059838 474926427
cache-control: max-age=129600, public
x-epfl-internal: FALSE
accept-ranges: bytes
cf-ray: 84c61d2f4d6c41c5-MRS

GET
H2 200 wp-emoji-release.min.js Show response
www.epfl.ch/schools/ic/wp-includes/js/ 18 KB
5 KB 71ms
70ms Script
application/javascript 104.20.229.42
CLOUDFLARENET

General

Check archive.org

Show headers Download Go to

Full URL

https://www.epfl.ch/schools/ic/wp-includes/js/wp-emoji-release.min.js?ver=6.1.4

Requested by

Host: www.epfl.ch
URL: https://www.epfl.ch/schools/ic/research/programming-languages-formal-methods/

Protocol

Security

TLS 1.3, , AES_128_GCM

Server

104.20.229.42 -, , ASN13335 (CLOUDFLARENET, US),

Reverse DNS

Software

cloudflare /

Resource Hash

5aad5fbd4238981a9ff5e2772ff1353dfe1a801fb49542fe157418c1438f7782

Security Headers

Name	Value
Strict-Transport-Security	max-age=31536000

Request headers

accept-language: de-CH,de;q=0.9
Referer: https://www.google.com/
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/120.0.6099.224 Safari/537.36

Response headers

x-varnish-cache: HIT
date: Sun, 28 Jan 2024 03:22:57 GMT
content-encoding: gzip
via: 1.1 varnish (Varnish/5.1)
strict-transport-security: max-age=31536000
cf-cache-status: HIT
age: 117796
content-security-policy-report-only: default-src 'self' 'unsafe-inline' *.epfl.ch; script-src 'self' 'unsafe-inline' 'unsafe-eval' *.epfl.ch https://ajax.googleapis.com https://cdnjs.cloudflare.com https://connect.facebook.net https://platform.twitter.com https://www.google-analytics.com https://www.googletagmanager.com https://www.instagram.com https://www.youtube.com https://*.cast.switch.ch https://player.vimeo.com; object-src 'none'; connect-src 'self' https://*.cast.switch.ch https://*.cloudfront.net *.epfl.ch https://api.cdnjs.com https://*.google-analytics.com https://stats.g.doubleclick.net https://www.google-analytics.com; frame-src 'self' *.epfl.ch https://datawrapper.dwcdn.net https://player.vimeo.com https://api.cast.switch.ch https://platform.twitter.com https://www.instagram.com https://www.youtube.com; style-src-elem 'self' 'unsafe-inline' https://fonts.googleapis.com *.epfl.ch; font-src 'self' https://fonts.gstatic.com *.epfl.ch data:; media-src 'self' *.epfl.ch https://*.cloudfront.net data:; img-src * data: https://s.w.org https://syndication.twitter.com https://www.google-analytics.com; worker-src 'none' blob:; report-uri https://report-uri.epfl.ch/csp-report;
content-length: 5009
x-varnish-cache-hits: 72
last-modified: Thu, 04 Jan 2024 09:20:06 GMT
server: cloudflare
etag: "48b9-60e1b3cba1d80-gzip"
vary: Accept-Encoding
content-type: application/javascript
x-varnish: 821503360 805803903
cache-control: max-age=129600, public
x-epfl-internal: FALSE
accept-ranges: bytes
cf-ray: 84c61d2f4d6d41c5-MRS

GET
H2 200 gtm.js Show response
www.googletagmanager.com/ 233 KB
81 KB 1138ms
642ms Script
application/javascript 142.250.186.104
GOOGLE

General

Check archive.org

Show headers Download Go to

Full URL

https://www.googletagmanager.com/gtm.js?id=GTM-PJGBG5R

Requested by

Host: www.epfl.ch
URL: https://www.epfl.ch/schools/ic/research/programming-languages-formal-methods/

Protocol

Security

TLS 1.3, , AES_128_GCM

Server

142.250.186.104 , United States, ASN15169 (GOOGLE, US),

Reverse DNS

fra24s06-in-f8.1e100.net

Software

Google Tag Manager /

Resource Hash

c2e22593864ed1f20c931f998c571ff1e0c58f82b936e58d95aaad449b347aa1

Security Headers

Name	Value
Strict-Transport-Security	max-age=31536000; includeSubDomains
X-Xss-Protection	0

Request headers

accept-language: de-CH,de;q=0.9
Referer: https://www.google.com/
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/120.0.6099.224 Safari/537.36

Response headers

date: Sun, 28 Jan 2024 03:22:58 GMT
content-encoding: br
strict-transport-security: max-age=31536000; includeSubDomains
cross-origin-resource-policy: cross-origin
alt-svc: h3=":443"; ma=2592000,h3-29=":443"; ma=2592000
content-length: 82858
x-xss-protection: 0
last-modified: Sun, 28 Jan 2024 03:00:00 GMT
server: Google Tag Manager
vary: Accept-Encoding
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: Sun, 28 Jan 2024 03:22:58 GMT

GET
H2 200 SuisseIntl-Regular-WebS.woff2
www.epfl.ch/fonts/ 17 KB
17 KB 58ms
57ms Font
font/woff2 104.20.229.42
CLOUDFLARENET

General

Check archive.org

Show headers Download Go to

Full URL

https://www.epfl.ch/fonts/SuisseIntl-Regular-WebS.woff2

Requested by

Host: www.epfl.ch
URL: https://www.epfl.ch/wp/6/wp-content/themes/wp-theme-2018/theme/style.min.css?ver=1704360089

Protocol

Security

TLS 1.3, , AES_128_GCM

Server

104.20.229.42 -, , ASN13335 (CLOUDFLARENET, US),

Reverse DNS

Software

cloudflare /

Resource Hash

bfa8da72e8d895c5fbe216a4182390481510ef1a15e2e5e0099931882918b9f5

Security Headers

Name	Value
Strict-Transport-Security	max-age=31536000

Request headers

Referer: https://www.google.com/
Origin: https://www.epfl.ch
accept-language: de-CH,de;q=0.9
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/120.0.6099.224 Safari/537.36

Response headers

x-varnish-cache: HIT
date: Sun, 28 Jan 2024 03:22:57 GMT
via: 1.1 varnish (Varnish/5.1)
strict-transport-security: max-age=31536000
cf-cache-status: HIT
age: 5375
content-security-policy-report-only: default-src 'self' 'unsafe-inline' *.epfl.ch; script-src 'self' 'unsafe-inline' 'unsafe-eval' *.epfl.ch https://ajax.googleapis.com https://cdnjs.cloudflare.com https://connect.facebook.net https://platform.twitter.com https://www.google-analytics.com https://www.googletagmanager.com https://www.instagram.com https://www.youtube.com https://*.cast.switch.ch https://player.vimeo.com; object-src 'none'; connect-src 'self' https://*.cast.switch.ch https://*.cloudfront.net *.epfl.ch https://api.cdnjs.com https://*.google-analytics.com https://stats.g.doubleclick.net https://www.google-analytics.com; frame-src 'self' *.epfl.ch https://datawrapper.dwcdn.net https://player.vimeo.com https://api.cast.switch.ch https://platform.twitter.com https://www.instagram.com https://www.youtube.com; style-src-elem 'self' 'unsafe-inline' https://fonts.googleapis.com *.epfl.ch; font-src 'self' https://fonts.gstatic.com *.epfl.ch data:; media-src 'self' *.epfl.ch https://*.cloudfront.net data:; img-src * data: https://s.w.org https://syndication.twitter.com https://www.google-analytics.com; worker-src 'none' blob:; report-uri https://report-uri.epfl.ch/csp-report;
content-length: 17228
x-varnish-cache-hits: 1
last-modified: Wed, 20 Mar 2019 13:56:29 GMT
server: cloudflare
etag: "434c-58486fd10c421"
vary: Accept-Encoding
x-varnish: 308488942 303922265
content-type: font/woff2
x-epfl-internal: FALSE
accept-ranges: bytes
cf-ray: 84c61d2f4d6e41c5-MRS

GET
H2 200 SuisseIntl-SemiBold-WebS.woff2
www.epfl.ch/fonts/ 17 KB
17 KB 56ms
56ms Font
font/woff2 104.20.229.42
CLOUDFLARENET

General

Check archive.org

Show headers Download Go to

Full URL

https://www.epfl.ch/fonts/SuisseIntl-SemiBold-WebS.woff2

Requested by

Host: www.epfl.ch
URL: https://www.epfl.ch/wp/6/wp-content/themes/wp-theme-2018/theme/style.min.css?ver=1704360089

Protocol

Security

TLS 1.3, , AES_128_GCM

Server

104.20.229.42 -, , ASN13335 (CLOUDFLARENET, US),

Reverse DNS

Software

cloudflare /

Resource Hash

332a0f26bdc13ba2837984cf024040019c97ddaec5501356ce3970ec4e124d0d

Security Headers

Name	Value
Strict-Transport-Security	max-age=31536000

Request headers

Referer: https://www.google.com/
Origin: https://www.epfl.ch
accept-language: de-CH,de;q=0.9
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/120.0.6099.224 Safari/537.36

Response headers

x-varnish-cache: HIT
date: Sun, 28 Jan 2024 03:22:57 GMT
via: 1.1 varnish (Varnish/5.1)
strict-transport-security: max-age=31536000
cf-cache-status: HIT
age: 5375
content-security-policy-report-only: default-src 'self' 'unsafe-inline' *.epfl.ch; script-src 'self' 'unsafe-inline' 'unsafe-eval' *.epfl.ch https://ajax.googleapis.com https://cdnjs.cloudflare.com https://connect.facebook.net https://platform.twitter.com https://www.google-analytics.com https://www.googletagmanager.com https://www.instagram.com https://www.youtube.com https://*.cast.switch.ch https://player.vimeo.com; object-src 'none'; connect-src 'self' https://*.cast.switch.ch https://*.cloudfront.net *.epfl.ch https://api.cdnjs.com https://*.google-analytics.com https://stats.g.doubleclick.net https://www.google-analytics.com; frame-src 'self' *.epfl.ch https://datawrapper.dwcdn.net https://player.vimeo.com https://api.cast.switch.ch https://platform.twitter.com https://www.instagram.com https://www.youtube.com; style-src-elem 'self' 'unsafe-inline' https://fonts.googleapis.com *.epfl.ch; font-src 'self' https://fonts.gstatic.com *.epfl.ch data:; media-src 'self' *.epfl.ch https://*.cloudfront.net data:; img-src * data: https://s.w.org https://syndication.twitter.com https://www.google-analytics.com; worker-src 'none' blob:; report-uri https://report-uri.epfl.ch/csp-report;
content-length: 17640
x-varnish-cache-hits: 1
last-modified: Wed, 20 Mar 2019 13:56:29 GMT
server: cloudflare
etag: "44e8-58486fd125a61"
vary: Accept-Encoding
x-varnish: 308094208 306978062
content-type: font/woff2
x-epfl-internal: FALSE
accept-ranges: bytes
cf-ray: 84c61d2f4d6f41c5-MRS

GET
H2 200 icons.svg Show response
www.epfl.ch/wp/6/wp-content/themes/wp-theme-2018/assets/icons/ 71 KB
27 KB 84ms
84ms XHR
image/svg+xml 104.20.229.42
CLOUDFLARENET

General

Check archive.org

Show headers Download Go to

Full URL

https://www.epfl.ch/wp/6/wp-content/themes/wp-theme-2018/assets/icons/icons.svg

Requested by

Host: www.epfl.ch
URL: https://www.epfl.ch/wp/6/wp-content/themes/wp-theme-2018/assets/js/elements.min.js?ver=1704360089

Protocol

Security

TLS 1.3, , AES_128_GCM

Server

104.20.229.42 -, , ASN13335 (CLOUDFLARENET, US),

Reverse DNS

Software

cloudflare /

Resource Hash

249766657e1d2848cb45eb38ccf1e6fd58c214cc90ec607e73c549a634479b5f

Security Headers

Name	Value
Strict-Transport-Security	max-age=31536000

Request headers

accept-language: de-CH,de;q=0.9
Referer: https://www.google.com/
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/120.0.6099.224 Safari/537.36

Response headers

x-varnish-cache: HIT
date: Sun, 28 Jan 2024 03:22:58 GMT
via: 1.1 varnish (Varnish/5.1)
content-encoding: gzip
strict-transport-security: max-age=31536000
cf-cache-status: HIT
age: 6231
content-security-policy-report-only: default-src 'self' 'unsafe-inline' *.epfl.ch; script-src 'self' 'unsafe-inline' 'unsafe-eval' *.epfl.ch https://ajax.googleapis.com https://cdnjs.cloudflare.com https://connect.facebook.net https://platform.twitter.com https://www.google-analytics.com https://www.googletagmanager.com https://www.instagram.com https://www.youtube.com https://*.cast.switch.ch https://player.vimeo.com; object-src 'none'; connect-src 'self' https://*.cast.switch.ch https://*.cloudfront.net *.epfl.ch https://api.cdnjs.com https://*.google-analytics.com https://stats.g.doubleclick.net https://www.google-analytics.com; frame-src 'self' *.epfl.ch https://datawrapper.dwcdn.net https://player.vimeo.com https://api.cast.switch.ch https://platform.twitter.com https://www.instagram.com https://www.youtube.com; style-src-elem 'self' 'unsafe-inline' https://fonts.googleapis.com *.epfl.ch; font-src 'self' https://fonts.gstatic.com *.epfl.ch data:; media-src 'self' *.epfl.ch https://*.cloudfront.net data:; img-src * data: https://s.w.org https://syndication.twitter.com https://www.google-analytics.com; worker-src 'none' blob:; report-uri https://report-uri.epfl.ch/csp-report;
x-varnish-cache-hits: 1
last-modified: Thu, 04 Jan 2024 09:21:29 GMT
server: cloudflare
etag: W/"11d22-60e1b41ac9840"
vary: Accept-Encoding
x-varnish: 310737692 277903659
content-type: image/svg+xml
x-epfl-internal: FALSE
cf-ray: 84c61d30be4b41c5-MRS

GET
H2 200 feather-sprite.svg Show response
www.epfl.ch/wp/6/wp-content/themes/wp-theme-2018/assets/icons/ 79 KB
11 KB 174ms
174ms XHR
image/svg+xml 104.20.229.42
CLOUDFLARENET

General

Check archive.org

Show headers Download Go to

Full URL

https://www.epfl.ch/wp/6/wp-content/themes/wp-theme-2018/assets/icons/feather-sprite.svg

Requested by

Host: www.epfl.ch
URL: https://www.epfl.ch/wp/6/wp-content/themes/wp-theme-2018/assets/js/elements.min.js?ver=1704360089

Protocol

Security

TLS 1.3, , AES_128_GCM

Server

104.20.229.42 -, , ASN13335 (CLOUDFLARENET, US),

Reverse DNS

Software

cloudflare /

Resource Hash

5c55b05b9459290bf45f4b9658e07343d2bc8b57acbf1dc2cdfa4247b199edcf

Security Headers

Name	Value
Strict-Transport-Security	max-age=31536000

Request headers

accept-language: de-CH,de;q=0.9
Referer: https://www.google.com/
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/120.0.6099.224 Safari/537.36

Response headers

x-varnish-cache: HIT
date: Sun, 28 Jan 2024 03:22:58 GMT
via: 1.1 varnish (Varnish/5.1)
content-encoding: gzip
strict-transport-security: max-age=31536000
cf-cache-status: HIT
age: 3302
content-security-policy-report-only: default-src 'self' 'unsafe-inline' *.epfl.ch; script-src 'self' 'unsafe-inline' 'unsafe-eval' *.epfl.ch https://ajax.googleapis.com https://cdnjs.cloudflare.com https://connect.facebook.net https://platform.twitter.com https://www.google-analytics.com https://www.googletagmanager.com https://www.instagram.com https://www.youtube.com https://*.cast.switch.ch https://player.vimeo.com; object-src 'none'; connect-src 'self' https://*.cast.switch.ch https://*.cloudfront.net *.epfl.ch https://api.cdnjs.com https://*.google-analytics.com https://stats.g.doubleclick.net https://www.google-analytics.com; frame-src 'self' *.epfl.ch https://datawrapper.dwcdn.net https://player.vimeo.com https://api.cast.switch.ch https://platform.twitter.com https://www.instagram.com https://www.youtube.com; style-src-elem 'self' 'unsafe-inline' https://fonts.googleapis.com *.epfl.ch; font-src 'self' https://fonts.gstatic.com *.epfl.ch data:; media-src 'self' *.epfl.ch https://*.cloudfront.net data:; img-src * data: https://s.w.org https://syndication.twitter.com https://www.google-analytics.com; worker-src 'none' blob:; report-uri https://report-uri.epfl.ch/csp-report;
x-varnish-cache-hits: 3
last-modified: Thu, 04 Jan 2024 09:21:29 GMT
server: cloudflare
etag: W/"13c7d-60e1b41ac9840"
vary: Accept-Encoding
x-varnish: 284371071 312707416
content-type: image/svg+xml
x-epfl-internal: FALSE
cf-ray: 84c61d30be4c41c5-MRS

GET
H2 200 js Show response
www.googletagmanager.com/gtag/ 227 KB
80 KB 58ms
57ms Script
application/javascript 142.250.186.104
GOOGLE

General

Check archive.org

Show headers Download Go to

Full URL

https://www.googletagmanager.com/gtag/js?id=G-BGHSR7YHEC&l=dataLayer&cx=c

Requested by

Host: www.googletagmanager.com
URL: https://www.googletagmanager.com/gtag/js?id=UA-179377016-1

Protocol

Security

TLS 1.3, , AES_128_GCM

Server

142.250.186.104 , United States, ASN15169 (GOOGLE, US),

Reverse DNS

fra24s06-in-f8.1e100.net

Software

Google Tag Manager /

Resource Hash

510370d9e03450d9282ea9ca1f13b83cfc11d7e20ab5d75fbe82ae66db822fac

Security Headers

Name	Value
Strict-Transport-Security	max-age=31536000; includeSubDomains
X-Xss-Protection	0

Request headers

accept-language: de-CH,de;q=0.9
Referer: https://www.google.com/
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/120.0.6099.224 Safari/537.36

Response headers

date: Sun, 28 Jan 2024 03:22:59 GMT
content-encoding: br
strict-transport-security: max-age=31536000; includeSubDomains
server: Google Tag Manager
vary: Accept-Encoding
content-type: application/javascript; charset=UTF-8
access-control-allow-origin: *
cache-control: private, max-age=900
access-control-allow-credentials: true
cross-origin-resource-policy: cross-origin
access-control-allow-headers: Cache-Control
content-length: 81718
x-xss-protection: 0
alt-svc: h3=":443"; ma=2592000,h3-29=":443"; ma=2592000
expires: Sun, 28 Jan 2024 03:22:59 GMT

GET
H2 200 analytics.js Show response
www.google-analytics.com/ 52 KB
21 KB 430ms
37ms Script
text/javascript 142.250.184.206
GOOGLE

General

Check archive.org

Show headers 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-179377016-1

Protocol

Security

TLS 1.3, , AES_128_GCM

Server

142.250.184.206 , United States, ASN15169 (GOOGLE, US),

Reverse DNS

fra24s11-in-f14.1e100.net

Software

Golfe2 /

Resource Hash

de36e50194320a7d3ef1ace9bd34a875a8bd458b253c061979dd628e9bf49afd

Security Headers

Name	Value
Strict-Transport-Security	max-age=10886400; includeSubDomains; preload
X-Content-Type-Options	nosniff

Request headers

accept-language: de-CH,de;q=0.9
Referer: https://www.google.com/
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/120.0.6099.224 Safari/537.36

Response headers

strict-transport-security: max-age=10886400; includeSubDomains; preload
content-encoding: gzip
x-content-type-options: nosniff
date: Sun, 28 Jan 2024 01:48:09 GMT
last-modified: Tue, 12 Dec 2023 18:09:08 GMT
server: Golfe2
age: 5690
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
content-length: 20994
expires: Sun, 28 Jan 2024 03:48:09 GMT

GET
H2 200 js Show response
www.googletagmanager.com/gtag/ 246 KB
84 KB 77ms
77ms Script
application/javascript 142.250.186.104
GOOGLE

General

Check archive.org

Show headers Download Go to

Full URL

https://www.googletagmanager.com/gtag/js?id=G-N6BF9H5G73&l=dataLayer&cx=c

Requested by

Host: www.googletagmanager.com
URL: https://www.googletagmanager.com/gtm.js?id=GTM-PJGBG5R

Protocol

Security

TLS 1.3, , AES_128_GCM

Server

142.250.186.104 , United States, ASN15169 (GOOGLE, US),

Reverse DNS

fra24s06-in-f8.1e100.net

Software

Google Tag Manager /

Resource Hash

540cb01cdd050260bad4a11675d38fed61f44fba718372807486a23a0b11049c

Security Headers

Name	Value
Strict-Transport-Security	max-age=31536000; includeSubDomains
X-Xss-Protection	0

Request headers

accept-language: de-CH,de;q=0.9
Referer: https://www.google.com/
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/120.0.6099.224 Safari/537.36

Response headers

date: Sun, 28 Jan 2024 03:22:59 GMT
content-encoding: br
strict-transport-security: max-age=31536000; includeSubDomains
server: Google Tag Manager
vary: Accept-Encoding
content-type: application/javascript; charset=UTF-8
access-control-allow-origin: *
cache-control: private, max-age=900
access-control-allow-credentials: true
cross-origin-resource-policy: cross-origin
access-control-allow-headers: Cache-Control
content-length: 86171
x-xss-protection: 0
alt-svc: h3=":443"; ma=2592000,h3-29=":443"; ma=2592000
expires: Sun, 28 Jan 2024 03:22:59 GMT

POST
H2 204 collect
region1.google-analytics.com/g/ 0
252 B 429ms
52ms Ping
text/plain 216.239.34.36
GOOGLE

General

Check archive.org

Show headers Download Go to

Full URL: https://region1.google-analytics.com/g/collect?v=2&tid=G-BGHSR7YHEC&gtm=45je41o0v9121963944&_p=1706412177783&gcd=11l1l1l1l1&dma=0&cid=1476143441.1706412179&ul=en-us&sr=1600x1200&uaa=&uab=&uafvl=&uamb=0&uam=&uap=&uapv=&uaw=0&_eu=AAAI&_s=1&sid=1706412179&sct=1&seg=0&dl=https%3A%2F%2Fwww.epfl.ch%2Fschools%2Fic%2Fresearch%2Fprogramming-languages-formal-methods%2F&dr=https%3A%2F%2Fplfm.ch%2F&dt=Programming%20Languages%20%26%20Formal%20Methods%20%E2%80%92%20IC%20%E2%80%90%20EPFL&en=page_view&_fv=1&_nsi=1&_ss=1&tfd=2474
Requested by: Host: www.googletagmanager.com
URL: https://www.googletagmanager.com/gtag/js?id=G-BGHSR7YHEC&l=dataLayer&cx=c
Protocol: H2
Security: TLS 1.3, , AES_128_GCM
Server: 216.239.34.36 , United States, ASN15169 (GOOGLE, US),
Reverse DNS
Software: Golfe2 /
Resource Hash: e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855

Request headers

accept-language: de-CH,de;q=0.9
Referer: https://www.google.com/
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/120.0.6099.224 Safari/537.36

Response headers

pragma: no-cache
date: Sun, 28 Jan 2024 03:22:59 GMT
server: Golfe2
content-type: text/plain
access-control-allow-origin: https://www.epfl.ch
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
content-length: 0
expires: Fri, 01 Jan 1990 00:00:00 GMT

POST
H2 204 collect
region1.google-analytics.com/g/ 0
54 B 360ms
52ms Ping
text/plain 216.239.34.36
GOOGLE

General

Check archive.org

Show headers Download Go to

Full URL: https://region1.google-analytics.com/g/collect?v=2&tid=G-N6BF9H5G73&gtm=45je41o0v9117916474z89117516488&_p=1706412177783&gcd=11l1l1l1l1&dma=0&cid=1476143441.1706412179&ul=en-us&sr=1600x1200&uaa=&uab=&uafvl=&uamb=0&uam=&uap=&uapv=&uaw=0&pscdl=noapi&_s=1&sid=1706412179&sct=1&seg=0&dl=https%3A%2F%2Fwww.epfl.ch%2Fschools%2Fic%2Fresearch%2Fprogramming-languages-formal-methods%2F&dr=https%3A%2F%2Fplfm.ch%2F&dt=Programming%20Languages%20%26%20Formal%20Methods%20%E2%80%92%20IC%20%E2%80%90%20EPFL&en=page_view&_fv=1&_ss=1&tfd=2544
Requested by: Host: www.googletagmanager.com
URL: https://www.googletagmanager.com/gtag/js?id=G-N6BF9H5G73&l=dataLayer&cx=c
Protocol: H2
Security: TLS 1.3, , AES_128_GCM
Server: 216.239.34.36 , United States, ASN15169 (GOOGLE, US),
Reverse DNS
Software: Golfe2 /
Resource Hash: e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855

Request headers

accept-language: de-CH,de;q=0.9
Referer: https://www.google.com/
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/120.0.6099.224 Safari/537.36

Response headers

pragma: no-cache
date: Sun, 28 Jan 2024 03:22:59 GMT
server: Golfe2
content-type: text/plain
access-control-allow-origin: https://www.epfl.ch
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
content-length: 0
expires: Fri, 01 Jan 1990 00:00:00 GMT

POST
H2 200 collect Show response
www.google-analytics.com/j/ 2 B
205 B 34ms
33ms XHR
text/plain 142.250.184.206
GOOGLE

General

Check archive.org

Show headers Download Go to

Full URL

https://www.google-analytics.com/j/collect?v=1&_v=j101&aip=1&a=506018119&t=pageview&_s=1&dl=https%3A%2F%2Fwww.epfl.ch%2Fschools%2Fic%2Fresearch%2Fprogramming-languages-formal-methods%2F&dr=https%3A%2F%2Fplfm.ch%2F&ul=en-us&de=UTF-8&dt=Programming%20Languages%20%26%20Formal%20Methods%20%E2%80%92%20IC%20%E2%80%90%20EPFL&sd=24-bit&sr=1600x1200&vp=1600x1200&je=0&_u=YADAAUABAAAAACAAI~&jid=709263107&gjid=295723339&cid=1476143441.1706412179&tid=UA-179377016-1&_gid=898183329.1706412179&_r=1&gtm=457e41o0&gcd=11l1l1l1l1&dma=0&jsscut=1&z=1360434148

Requested by

Host: www.google-analytics.com
URL: https://www.google-analytics.com/analytics.js

Protocol

Security

TLS 1.3, , AES_128_GCM

Server

142.250.184.206 , United States, ASN15169 (GOOGLE, US),

Reverse DNS

fra24s11-in-f14.1e100.net

Software

Golfe2 /

Resource Hash

de3246094525b21a870fc7d2a67490d0132535c6fa5993755c549f1a9d1bd8af

Security Headers

Name	Value
X-Content-Type-Options	nosniff

Request headers

Referer: https://www.google.com/
accept-language: de-CH,de;q=0.9
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/120.0.6099.224 Safari/537.36
Content-Type: text/plain

Response headers

pragma: no-cache
date: Sun, 28 Jan 2024 03:22:59 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://www.epfl.ch
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
content-length: 2
expires: Fri, 01 Jan 1990 00:00:00 GMT

POST
H2 200 collect Show response
www.google-analytics.com/j/ 15 B
83 B 36ms
36ms XHR
text/plain 142.250.184.206
GOOGLE

General

Check archive.org

Show headers Download Go to

Full URL

https://www.google-analytics.com/j/collect?v=1&_v=j101&a=506018119&t=pageview&_s=1&dl=https%3A%2F%2Fwww.epfl.ch%2Fschools%2Fic%2Fresearch%2Fprogramming-languages-formal-methods%2F&dr=https%3A%2F%2Fplfm.ch%2F&ul=en-us&de=UTF-8&dt=Programming%20Languages%20%26%20Formal%20Methods%20%E2%80%92%20IC%20%E2%80%90%20EPFL&sd=24-bit&sr=1600x1200&vp=1600x1200&je=0&_u=YADAAUABAAAAACAAI~&jid=1679449925&gjid=521988444&cid=1476143441.1706412179&tid=UA-4833294-1&_gid=898183329.1706412179&_r=1&_slc=1&gtm=45He41o0n81PJGBG5Rv9117516488&gcd=11l1l1l1l1&dma=0&z=823531768

Requested by

Host: www.google-analytics.com
URL: https://www.google-analytics.com/analytics.js

Protocol

Security

TLS 1.3, , AES_128_GCM

Server

142.250.184.206 , United States, ASN15169 (GOOGLE, US),

Reverse DNS

fra24s11-in-f14.1e100.net

Software

Golfe2 /

Resource Hash

eb41678eff85e8aee5dcb95867aca0ab6364040a67226b6d1d455f2051f2a40f

Security Headers

Name	Value
X-Content-Type-Options	nosniff

Request headers

Referer: https://www.google.com/
accept-language: de-CH,de;q=0.9
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/120.0.6099.224 Safari/537.36
Content-Type: text/plain

Response headers

pragma: no-cache
date: Sun, 28 Jan 2024 03:22:59 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://www.epfl.ch
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
content-length: 15
expires: Fri, 01 Jan 1990 00:00:00 GMT

POST
H2 200 collect Show response
stats.g.doubleclick.net/j/ 1 B
344 B 454ms
53ms XHR
text/plain 108.177.15.157
GOOGLE

General

Check archive.org

Show headers Download Go to

Full URL

https://stats.g.doubleclick.net/j/collect?t=dc&aip=1&_r=3&v=1&_v=j101&tid=UA-179377016-1&cid=1476143441.1706412179&jid=709263107&gjid=295723339&_gid=898183329.1706412179&_u=YADAAUAAAAAAACAAI~&z=335253328

Requested by

Host: www.google-analytics.com
URL: https://www.google-analytics.com/analytics.js

Protocol

Security

TLS 1.3, , AES_128_GCM

Server

108.177.15.157 , United States, ASN15169 (GOOGLE, US),

Reverse DNS

wr-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://www.google.com/
accept-language: de-CH,de;q=0.9
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/120.0.6099.224 Safari/537.36
Content-Type: text/plain

Response headers

pragma: no-cache
strict-transport-security: max-age=10886400; includeSubDomains; preload
date: Sun, 28 Jan 2024 03:22:59 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://www.epfl.ch
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
content-length: 1
expires: Fri, 01 Jan 1990 00:00:00 GMT

GET
H2 200 js Show response
www.googletagmanager.com/gtag/ 231 KB
82 KB 43ms
43ms Script
application/javascript 142.250.186.104
GOOGLE

General

Check archive.org

Show headers Download Go to

Full URL

https://www.googletagmanager.com/gtag/js?id=G-TM8N3HCMRH&cx=c&_slc=1

Requested by

Host: www.google-analytics.com
URL: https://www.google-analytics.com/analytics.js

Protocol

Security

TLS 1.3, , AES_128_GCM

Server

142.250.186.104 , United States, ASN15169 (GOOGLE, US),

Reverse DNS

fra24s06-in-f8.1e100.net

Software

Google Tag Manager /

Resource Hash

fb49e508b77b74e6b30a6379d45da23dacfdb706d099c990c623d488d778834b

Security Headers

Name	Value
Strict-Transport-Security	max-age=31536000; includeSubDomains
X-Xss-Protection	0

Request headers

accept-language: de-CH,de;q=0.9
Referer: https://www.google.com/
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/120.0.6099.224 Safari/537.36

Response headers

date: Sun, 28 Jan 2024 03:22:59 GMT
content-encoding: br
strict-transport-security: max-age=31536000; includeSubDomains
server: Google Tag Manager
vary: Accept-Encoding
content-type: application/javascript; charset=UTF-8
access-control-allow-origin: *
cache-control: private, max-age=900
access-control-allow-credentials: true
cross-origin-resource-policy: cross-origin
access-control-allow-headers: Cache-Control
content-length: 83547
x-xss-protection: 0
alt-svc: h3=":443"; ma=2592000,h3-29=":443"; ma=2592000
expires: Sun, 28 Jan 2024 03:22:59 GMT

POST
H2 204 collect
region1.google-analytics.com/g/ 0
54 B 44ms
43ms Ping
text/plain 216.239.34.36
GOOGLE

General

Check archive.org

Show headers Download Go to

Full URL: https://region1.google-analytics.com/g/collect?v=2&tid=G-TM8N3HCMRH&gtm=45je41o0v9136753875&_p=1706412177783&gcd=11l1l1l1l2&dma=0&ul=en-us&sr=1600x1200&cid=1476143441.1706412179&uaa=&uab=&uafvl=&uamb=0&uam=&uap=&uapv=&uaw=0&_eu=ABAI&_s=1&dl=https%3A%2F%2Fwww.epfl.ch%2Fschools%2Fic%2Fresearch%2Fprogramming-languages-formal-methods%2F&dr=https%3A%2F%2Fplfm.ch%2F&dt=Programming%20Languages%20%26%20Formal%20Methods%20%E2%80%92%20IC%20%E2%80%90%20EPFL&sid=1706412179&sct=1&seg=0&en=page_view&_fv=1&_ss=1&_ee=1&tfd=2990
Requested by: Host: www.googletagmanager.com
URL: https://www.googletagmanager.com/gtag/js?id=G-TM8N3HCMRH&cx=c&_slc=1
Protocol: H2
Security: TLS 1.3, , AES_128_GCM
Server: 216.239.34.36 , United States, ASN15169 (GOOGLE, US),
Reverse DNS
Software: Golfe2 /
Resource Hash: e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855

Request headers

accept-language: de-CH,de;q=0.9
Referer: https://www.google.com/
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/120.0.6099.224 Safari/537.36

Response headers

pragma: no-cache
date: Sun, 28 Jan 2024 03:22:59 GMT
server: Golfe2
content-type: text/plain
access-control-allow-origin: https://www.epfl.ch
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
content-length: 0
expires: Fri, 01 Jan 1990 00:00:00 GMT

Verdicts & Comments Add Verdict or Comment

28 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.

7 Cookies

Cookies are little pieces of information stored in the browser of a user. Whenever a user visits the site again, he will also send his cookie values, thus allowing the website to re-identify him even if he changed locations. This is how permanent logins work.

Domain/Path	Expires	Name / Value
.epfl.ch/	1970-01-21 03:36:12	Name: _ga_BGHSR7YHEC Value: GS1.1.1706412179.1.0.1706412179.0.0.0
.epfl.ch/	1970-01-21 03:36:12	Name: _ga Value: GA1.2.1476143441.1706412179
.epfl.ch/	1970-01-20 18:01:38	Name: _gid Value: GA1.2.898183329.1706412179
.epfl.ch/	1970-01-20 18:00:12	Name: _gat_gtag_UA_179377016_1 Value: 1
.epfl.ch/	1970-01-20 18:00:12	Name: _gat_UA-4833294-1 Value: 1
.epfl.ch/	1970-01-21 03:36:12	Name: _ga_N6BF9H5G73 Value: GS1.1.1706412179.1.0.1706412179.0.0.0
.epfl.ch/	1970-01-21 03:36:12	Name: _ga_TM8N3HCMRH Value: GS1.2.1706412179.1.0.1706412179.0.0.0

8 Console Messages

A page may trigger messages to the console to be logged. These are often error messages about being unable to load a resource or execute a piece of JavaScript. Sometimes they also provide insight into the technology behind a website.

Source	Level	URL Text
security	warning	Message: Error with Permissions-Policy header: Origin trial controlled feature not enabled: 'interest-cohort'.
security	error	URL: https://www.epfl.ch/schools/ic/research/programming-languages-formal-methods/ Message: The Content-Security-Policy directive 'worker-src' contains the keyword 'none' alongside with other source expressions. The keyword 'none' must be the only source expression in the directive value, otherwise it is ignored.
network	error	URL: https://people.epfl.ch/private/common/photos/links/105326.jpg Message: Failed to load resource: net::ERR_CONTENT_LENGTH_MISMATCH
network	error	URL: https://people.epfl.ch/private/common/photos/links/126003.jpg Message: Failed to load resource: net::ERR_CONTENT_LENGTH_MISMATCH
network	error	URL: https://people.epfl.ch/private/common/photos/links/240726.jpg Message: Failed to load resource: net::ERR_CONTENT_LENGTH_MISMATCH
network	error	URL: https://people.epfl.ch/private/common/photos/links/303470.jpg Message: Failed to load resource: net::ERR_CONTENT_LENGTH_MISMATCH
network	error	URL: https://people.epfl.ch/private/common/photos/links/177241.jpg Message: Failed to load resource: net::ERR_CONTENT_LENGTH_MISMATCH
network	error	URL: https://people.epfl.ch/private/common/photos/links/357094.jpg Message: Failed to load resource: net::ERR_CONTENT_LENGTH_MISMATCH

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
ic-services.epfl.ch
people.epfl.ch
plfm.ch
region1.google-analytics.com
stats.g.doubleclick.net
www.epfl.ch
www.google-analytics.com
www.googletagmanager.com
104.20.229.42
108.177.15.157
128.178.222.22
128.178.32.14
142.250.184.206
142.250.186.104
216.239.34.36
216.58.212.138
35.185.44.232
029e0a2e809fd6b5dbe76abe8b7a74936be306c9a8c27c814c4d44aa54623300
0c521f8038d5d10f601406563f9aa495e9283d7364b441d29e18da970b188fc0
1386246f4956b6cca5b06dfccf2f010f8e47258d6c4232adea7741d22e750c68
1afe1ff07fe1f5ee948ee5e4c4186f47cb24f8ddff4f586420b91c75e793fd91
249766657e1d2848cb45eb38ccf1e6fd58c214cc90ec607e73c549a634479b5f
2595496fe48df6fcf9b1bc57c29a744c121eb4dd11566466bc13d2e52e6bbcc8
332a0f26bdc13ba2837984cf024040019c97ddaec5501356ce3970ec4e124d0d
454c1bfb5e942dda4c63936a0ce93e619433f75b3426a044135066f074ac10ea
510370d9e03450d9282ea9ca1f13b83cfc11d7e20ab5d75fbe82ae66db822fac
540cb01cdd050260bad4a11675d38fed61f44fba718372807486a23a0b11049c
5a5f39391fbf5b06db84b8f9716d53de575ee97a627d2c5f12f79a991a671eb5
5aad5fbd4238981a9ff5e2772ff1353dfe1a801fb49542fe157418c1438f7782
5c55b05b9459290bf45f4b9658e07343d2bc8b57acbf1dc2cdfa4247b199edcf
62a388a7833280dc7dfe5716af9969711f3c2a2fcc34c5af249907d1e2be7c73
6b86b273ff34fce19d6b804eff5a3f5747ada4eaa22f1d49c01e52ddb7875b4b
72989facca4e008df6fcb3028c83bb3c9e50ff992744c86809972fcc049795f3
7c6fbcbb18452b73f5a32b17f8abfd8cbbe8ec65912c66f109119dc989c51c3e
7e7432c277d5c7b461bd3f0419015a93bad35f3e54dbe24f0baa82b44d8f80a9
82fc2c7b37195fd3978b283097930194d9f248841bb98f5b5a0b9791e69ef79d
9d650ae156599b9f9ccdc270ff53ec8d6480f28c91deba5e11ad282c2ee24313
a9222940ec1842ee07a4aa72071d9d827786b96e7465791e2fd2902948429ede
b041e7b08a99e947327a5faf96e5ab7aeef39a467c0ef2240710a19857743da3
b0458d44e14cac0a23eecda3aff3ca521972487c1f04f48548a5c50e46b73bf8
b334262b72afc3c6f71d675fc4e1f5053bc9488eb6dd3034c98cafeb91edba44
b53bab8ff567478133c5ace09e40cf2f3910b74de2f69b29890fd074932b1a79
bc0a0b6ce520e58c3f5baf9948226d32b939ff320eac66a8e1815ea447812cb1
bfa8da72e8d895c5fbe216a4182390481510ef1a15e2e5e0099931882918b9f5
c2e22593864ed1f20c931f998c571ff1e0c58f82b936e58d95aaad449b347aa1
cc7403bab52ed166e24ea9324241045af370be482f5b594468f4a6ac6e7e7981
cf141ab2cc48d26547bdba25f9a5aefbac9913446e460b2cced10d87e3616bd3
de3246094525b21a870fc7d2a67490d0132535c6fa5993755c549f1a9d1bd8af
de36e50194320a7d3ef1ace9bd34a875a8bd458b253c061979dd628e9bf49afd
df26ed32c43dfabf717cd902d727099c12bdfb4cf1b038915513f7f306cf032b
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855
e46227f76a1357cc557efeef3aefcc465ac001ba76d68262c03f3f3fe1aef541
eb41678eff85e8aee5dcb95867aca0ab6364040a67226b6d1d455f2051f2a40f
f7f6a5894f1d19ddad6fa392b2ece2c5e578cbf7da4ea805b6885eb6985b6e3d
fb49e508b77b74e6b30a6379d45da23dacfdb706d099c990c623d488d778834b
fd486a46946251abea73fe70a37b8f507ef92ff2492513c8635c2be6cf53ef64

www.epfl.ch Open in urlscan Pro 104.20.229.42 Public Scan

Summary

urlscan.io Verdict: No classification

Domain & IP information

Screenshot Live screenshot Full Image

Page Title

Page URL History Show full URLs

Detected technologies

Page Statistics

47 Requests

100 %HTTPS

0 %IPv6

6 Domains

9 Subdomains

9 IPs

3 Countries

1937 kBTransfer

4756 kBSize

7 Cookies

69 Outgoing links

Page URL History

Redirected requests

47 HTTP transactions Everything HTML Script AJAX CSS Image Expand all 0 data transactions

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

www.epfl.ch Open in urlscan Pro
104.20.229.42 Public Scan

Screenshot
Live screenshot

Full Image

47
Requests

100 %
HTTPS

0 %
IPv6

6
Domains

9
Subdomains

9
IPs

3
Countries

1937 kB
Transfer

4756 kB
Size

7
Cookies

47 HTTP transactions
0 data transactions