theory.stanford.edu Open in urlscan Pro
171.64.78.10 Public Scan

Go To Rescan
Add Verdict Report

Submitted URL:
http://rvg.web.cse.unsw.edu.au/
Effective URL:
https://theory.stanford.edu/~rvg/
Submission: On November 06 via api (November 6th 2024, 12:18:29 pm UTC) from US — Scanned from AU

Summary HTTP 5 Redirects Links 36 Behaviour Indicators

Summary

This website contacted 3 IPs in 2 countries across 2 domains to perform 5 HTTP transactions. The main IP is 171.64.78.10, located in Hayward, United States and belongs to STANFORD, US. The main domain is theory.stanford.edu.
TLS certificate: Issued by InCommon RSA Server CA 2 on June 25th 2024. Valid for: a year.

This is the only time theory.stanford.edu was scanned on urlscan.io!

urlscan.io Verdict: No classification

Domain & IP information

	IP Address	AS Autonomous System
1 2	129.94.242.62 129.94.242.62	23859 (UNSW-AS-A...) (UNSW-AS-AP University of New South Wales)
3	171.64.78.10 171.64.78.10	32 (STANFORD) (STANFORD)
5	3

2 129.94.242.62 (Sydney, Australia) 1 redirects

ASN23859 (UNSW-AS-AP University of New South Wales, AU)
PTR: ccws02.orchestra.cse.unsw.EDU.AU

rvg.web.cse.unsw.edu.au	Domain lookup VirusTotal SecurityTrails crt.sh Censys Domaintools
cgi.cse.unsw.edu.au	Domain lookup VirusTotal SecurityTrails crt.sh Censys Domaintools

3 171.64.78.10 (Hayward, United States)

ASN32 (STANFORD, US)
PTR: theory.stanford.edu

theory.stanford.edu	Domain lookup VirusTotal SecurityTrails crt.sh Censys Domaintools

	Apex Domain Subdomains	Transfer
3	stanford.edu theory.stanford.edu	148 KB
2	unsw.edu.au 1 redirects rvg.web.cse.unsw.edu.au cgi.cse.unsw.edu.au	728 B
5	2

	Domain	Requested by
3	theory.stanford.edu	cgi.cse.unsw.edu.au theory.stanford.edu
1	cgi.cse.unsw.edu.au
1	rvg.web.cse.unsw.edu.au	1 redirects
5	3

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

Domain
www.ed.ac.uk
www.cse.unsw.edu.au
www.unsw.edu.au
boole.stanford.edu
www.stanford.edu
www.research.ed.ac.uk
research.unsw.edu.au
kilby.stanford.edu
www.eff.org
rvg.web.cse.unsw.edu.au
biblio.eptcs.org
trustworthy.systems
www.uni-koblenz.de
www.drps.ed.ac.uk
homepages.inf.ed.ac.uk
eptcs.web.cse.unsw.edu.au
liinwww.ira.uka.de

Subject Issuer	Validity	Valid
*.cse.unsw.edu.au DigiCert Global G2 TLS RSA SHA256 2020 CA1	`2024-10-21` - `2025-10-20`	a year	crt.sh
theory.stanford.edu InCommon RSA Server CA 2	`2024-06-25` - `2025-06-25`	a year	crt.sh

This page contains 1 frames:

Primary Page: https://theory.stanford.edu/~rvg/
Frame ID: 6BF6D2C13DF3E069106C4D0418EC2DBB
Requests: 5 HTTP requests in this frame

Screenshot
Live screenshot

Full Image

Page Title

Robert J. van Glabbeek

Page URL History Show full URLs

http://rvg.web.cse.unsw.edu.au/ HTTP 307
https://rvg.web.cse.unsw.edu.au/ HTTP 302
https://cgi.cse.unsw.edu.au/~rvg/ Page URL
http://theory.stanford.edu/~rvg/ HTTP 307
https://theory.stanford.edu/~rvg/ Page URL

Page Statistics

5
Requests

80 %
HTTPS

0 %
IPv6

2
Domains

3
Subdomains

3
IPs

2
Countries

149 kB
Transfer

147 kB
Size

0
Cookies

36 Outgoing links

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

URL: https://www.ed.ac.uk/informatics
Title: School of Informatics

Search URL Search Domain Scan URL

URL: https://www.ed.ac.uk/
Title: University of Edinburgh

Search URL Search Domain Scan URL

URL: http://www.cse.unsw.edu.au/
Title: School of Computer Science and Engineering

Search URL Search Domain Scan URL

URL: http://www.unsw.edu.au/
Title: The University of New South Wales

Search URL Search Domain Scan URL

URL: http://boole.stanford.edu/
Title: Concurrency Group

Search URL Search Domain Scan URL

URL: http://www.stanford.edu/
Title: Stanford University

Search URL Search Domain Scan URL

URL: https://www.research.ed.ac.uk/en/persons/rob-van-glabbeek
Title: University of Edinburgh

Search URL Search Domain Scan URL

URL: https://research.unsw.edu.au/people/dr-rob-van-glabbeek
Title: UNSW

Search URL Search Domain Scan URL

URL: http://kilby.stanford.edu/~rvg/millennium.html
Title: The third millennium started on January 1 of the year 2001.

Search URL Search Domain Scan URL

URL: http://www.eff.org/blueribbon.html

Search URL Search Domain Scan URL

URL: http://rvg.web.cse.unsw.edu.au/glabbeek.bib
Title: bibtex format

Search URL Search Domain Scan URL

URL: http://rvg.web.cse.unsw.edu.au/glabbeek.dvi
Title: dvi

Search URL Search Domain Scan URL

URL: http://rvg.web.cse.unsw.edu.au/glabbeek.ps
Title: postscript

Search URL Search Domain Scan URL

URL: http://rvg.web.cse.unsw.edu.au/glabbeek.pdf
Title: pdf

Search URL Search Domain Scan URL

URL: http://biblio.eptcs.org/
Title: EPTCS bibliography style

Search URL Search Domain Scan URL

URL: https://trustworthy.systems/projects/OLD/concurrency/mesh_pa.pml
Title: AWN, the Algebra for Wireless Networks

Search URL Search Domain Scan URL

URL: http://www.uni-koblenz.de/~rittgen/SA.html
Title: java applet

Search URL Search Domain Scan URL

URL: https://trustworthy.systems/projects/OLD/concurrency/mesh.pml
Title: Wireless Mesh Networks

Search URL Search Domain Scan URL

URL: https://trustworthy.systems/projects/OLD/concurrency/smaccm.pml
Title: Analysis of Protocols for High-assurance Networks

Search URL Search Domain Scan URL

URL: https://trustworthy.systems/projects/OLD/concurrency/aodvmech.pml
Title: Theorem Proving

Search URL Search Domain Scan URL

URL: https://trustworthy.systems/projects/OLD/concurrency/distributability.pml
Title: Asynchronous Interaction in Distributed Systems

Search URL Search Domain Scan URL

URL: https://trustworthy.systems/projects/OLD/concurrency/probability_nondeterminism.pml
Title: Building a theory of processes with probabilities and nondeterminism

Search URL Search Domain Scan URL

URL: http://www.drps.ed.ac.uk/23-24/dpt/cxinfr08031.htm
Title: Discrete mathematics

Search URL Search Domain Scan URL

URL: https://homepages.inf.ed.ac.uk/rvangla/MCS/
Title: Modelling Concurrent Systems

Search URL Search Domain Scan URL

URL: http://www.cse.unsw.edu.au/~rvg/6752
Title: Modelling Concurrent Systems

Search URL Search Domain Scan URL

URL: http://www.cse.unsw.edu.au/~rvg/3152
Title: Comparative Concurrency Semantics

Search URL Search Domain Scan URL

URL: http://www.cse.unsw.edu.au/~cs4141
Title: COMP4141 on the Theory of Computation

Search URL Search Domain Scan URL

URL: http://kilby.stanford.edu/~rvg/154
Title: CS 154, Introduction to Automata and Complexity Theory

Search URL Search Domain Scan URL

URL: http://kilby.stanford.edu/~rvg/154-1996
Title: 1996

Search URL Search Domain Scan URL

URL: http://kilby.stanford.edu/~rvg/154-2001
Title: 2001

Search URL Search Domain Scan URL

URL: http://kilby.stanford.edu/~rvg/352.html
Title: CS 352, Foundations of Control Structures

Search URL Search Domain Scan URL

URL: http://eptcs.web.cse.unsw.edu.au/published.cgi
Title: Electronic Proceedings in Theoretical Computer Science

Search URL Search Domain Scan URL

URL: http://liinwww.ira.uka.de/bibliography
Title: Bibliographies

Search URL Search Domain Scan URL

URL: http://kilby.stanford.edu/~rvg/rvg.html
Title: A personal introduction

Search URL Search Domain Scan URL

URL: http://kilby.stanford.edu/~rvg/fotos/various.html
Title: Pictures

Search URL Search Domain Scan URL

URL: http://kilby.stanford.edu/~rvg/fotos/
Title: index

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.

http://rvg.web.cse.unsw.edu.au/ HTTP 307
https://rvg.web.cse.unsw.edu.au/ HTTP 302
https://cgi.cse.unsw.edu.au/~rvg/ Page URL
http://theory.stanford.edu/~rvg/ HTTP 307
https://theory.stanford.edu/~rvg/ Page URL

Redirected requests

There were HTTP redirect chains for the following requests:

Request Chain 0

http://rvg.web.cse.unsw.edu.au/ HTTP 307
https://rvg.web.cse.unsw.edu.au/ HTTP 302
https://cgi.cse.unsw.edu.au/~rvg/

5 HTTP transactions
0 data transactions

Method Protocol	Status	Resource Path	Size x-fer	Time Latency	Type MIME-Type	IP Location
GET H/1.1	200 OK	/ cgi.cse.unsw.edu.au/~rvg/ Redirect Chain http://rvg.web.cse.unsw.edu.au/ https://rvg.web.cse.unsw.edu.au/ https://cgi.cse.unsw.edu.au/~rvg/	138 B 470 B	44ms 27ms	Document text/html	129.94.242.62 UNSW-AS-AP Univer...
General Check archive.org Show headers Download Go to Full URL https://cgi.cse.unsw.edu.au/~rvg/ Protocol HTTP/1.1 Security TLS 1.3, , AES_128_GCM Server 129.94.242.62 Sydney, Australia, ASN23859 (UNSW-AS-AP University of New South Wales, AU), Reverse DNS ccws02.orchestra.cse.unsw.EDU.AU Software Apache/2.4.61 (Debian) / Resource Hash Request headers Upgrade-Insecure-Requests 1 User-Agent Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/130.0.0.0 Safari/537.36 Response headers Accept-Ranges bytes Connection Keep-Alive Content-Encoding gzip Content-Length 119 Content-Type text/html; charset=UTF-8 Date Wed, 06 Nov 2024 12:18:24 GMT ETag "8a-42b72d59dd740-gzip" Keep-Alive timeout=5, max=100 Last-Modified Mon, 12 Mar 2007 04:01:57 GMT Server Apache/2.4.61 (Debian) Vary Accept-Encoding Redirect headers Connection Keep-Alive Content-Length 307 Content-Type text/html; charset=iso-8859-1 Date Wed, 06 Nov 2024 12:18:24 GMT Keep-Alive timeout=5, max=100 Location https://cgi.cse.unsw.edu.au/~rvg/ Server Apache/2.4.61 (Debian)
GET H/1.1	200 OK	Primary Request / Show response theory.stanford.edu/~rvg/ Redirect Chain http://theory.stanford.edu/~rvg/ https://theory.stanford.edu/~rvg/	30 KB 30 KB	588ms 152ms	Document text/html	171.64.78.10 STANFORD
General Check archive.org Show headers Download Go to Full URL https://theory.stanford.edu/~rvg/ Requested by Host: cgi.cse.unsw.edu.au URL: https://cgi.cse.unsw.edu.au/~rvg/ Protocol HTTP/1.1 Security TLS 1.2, ECDHE_RSA, AES_256_GCM Server 171.64.78.10 Hayward, United States, ASN32 (STANFORD, US), Reverse DNS theory.stanford.edu Software Apache/2.2.15 (CentOS) / Resource Hash `b68694d508e006c51c495578e8bc35bab368c35766e645e283d605cd84825d60` Request headers Referer https://cgi.cse.unsw.edu.au/~rvg/ Upgrade-Insecure-Requests 1 User-Agent Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/130.0.0.0 Safari/537.36 Response headers Accept-Ranges bytes Connection Keep-Alive Content-Length 30242 Content-Type text/html; charset=UTF-8 Date Wed, 06 Nov 2024 12:18:25 GMT ETag "166005a-7622-6216aff2308c0" Keep-Alive timeout=15, max=100 Last-Modified Fri, 06 Sep 2024 03:28:11 GMT Server Apache/2.2.15 (CentOS) Redirect headers Location https://theory.stanford.edu/~rvg/ Non-Authoritative-Reason HttpsUpgrades
GET H/1.1	200 OK	van_Glabbeek_Rob_small.jpg theory.stanford.edu/~rvg/	117 KB 117 KB	289ms 146ms	Image image/jpeg	171.64.78.10 STANFORD
General Check archive.org Show headers Download Go to Show image Full URL https://theory.stanford.edu/~rvg/van_Glabbeek_Rob_small.jpg Requested by Host: theory.stanford.edu URL: https://theory.stanford.edu/~rvg/ Protocol HTTP/1.1 Security TLS 1.2, ECDHE_RSA, AES_256_GCM Server 171.64.78.10 Hayward, United States, ASN32 (STANFORD, US), Reverse DNS theory.stanford.edu Software Apache/2.2.15 (CentOS) / Resource Hash `0a7019a01c8c58df750ed53ced9a59e8114be13c605f155c10768c3b2b13856c` Request headers User-Agent Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/130.0.0.0 Safari/537.36 Referer https://theory.stanford.edu/~rvg/ Response headers ETag "1660a3a-1d3cc-6016852b3b700" Connection Keep-Alive Accept-Ranges bytes Content-Length 119756 Keep-Alive timeout=15, max=99 Date Wed, 06 Nov 2024 12:18:25 GMT Last-Modified Wed, 26 Jul 2023 18:50:36 GMT Content-Type image/jpeg Server Apache/2.2.15 (CentOS)
GET H/1.1	200 OK	blueribbonlogo.gif theory.stanford.edu/~rvg/	759 B 1 KB	432ms 145ms	Image image/gif	171.64.78.10 STANFORD
General Check archive.org Show headers Download Go to Show image Full URL https://theory.stanford.edu/~rvg/blueribbonlogo.gif Requested by Host: theory.stanford.edu URL: https://theory.stanford.edu/~rvg/ Protocol HTTP/1.1 Security TLS 1.2, ECDHE_RSA, AES_256_GCM Server 171.64.78.10 Hayward, United States, ASN32 (STANFORD, US), Reverse DNS theory.stanford.edu Software Apache/2.2.15 (CentOS) / Resource Hash `7ec05f6381d91fe0e308c0cbbbba384b3eea429cfd5c67fd71c18cd85dfa05fe` Request headers User-Agent Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/130.0.0.0 Safari/537.36 Referer https://theory.stanford.edu/~rvg/ Response headers ETag "166061a-2f7-35f0d385d8ac0" Connection Keep-Alive Accept-Ranges bytes Content-Length 759 Keep-Alive timeout=15, max=100 Date Wed, 06 Nov 2024 12:18:25 GMT Last-Modified Thu, 27 Jan 2000 01:08:35 GMT Content-Type image/gif Server Apache/2.2.15 (CentOS)
GET		favicon.ico theory.stanford.edu/~rvg/	0 0

Failed requests

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

Domain: theory.stanford.edu
URL: http://theory.stanford.edu/~rvg/favicon.ico

Verdicts & Comments Add Verdict or Comment

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

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

5 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	URL: https://theory.stanford.edu/~rvg/ Message: Mixed Content: The page at 'https://theory.stanford.edu/~rvg/' was loaded over HTTPS, but requested an insecure element 'http://theory.stanford.edu/~rvg/van_Glabbeek_Rob_small.jpg'. This request was automatically upgraded to HTTPS, For more information see https://blog.chromium.org/2019/10/no-more-mixed-messages-about-https.html
security	warning	URL: https://theory.stanford.edu/~rvg/ Message: Mixed Content: The page at 'https://theory.stanford.edu/~rvg/' was loaded over HTTPS, but requested an insecure element 'http://theory.stanford.edu/~rvg/blueribbonlogo.gif'. This request was automatically upgraded to HTTPS, For more information see https://blog.chromium.org/2019/10/no-more-mixed-messages-about-https.html
security	warning	URL: https://theory.stanford.edu/~rvg/(Line 190) Message: Mixed Content: The page at 'https://theory.stanford.edu/~rvg/' was loaded over HTTPS, but requested an insecure element 'http://theory.stanford.edu/~rvg/van_Glabbeek_Rob_small.jpg'. This request was automatically upgraded to HTTPS, For more information see https://blog.chromium.org/2019/10/no-more-mixed-messages-about-https.html
security	warning	URL: https://theory.stanford.edu/~rvg/(Line 190) Message: Mixed Content: The page at 'https://theory.stanford.edu/~rvg/' was loaded over HTTPS, but requested an insecure element 'http://theory.stanford.edu/~rvg/blueribbonlogo.gif'. This request was automatically upgraded to HTTPS, For more information see https://blog.chromium.org/2019/10/no-more-mixed-messages-about-https.html
security	error	URL: https://theory.stanford.edu/~rvg/ Message: Mixed Content: The page at 'https://theory.stanford.edu/~rvg/' was loaded over HTTPS, but requested an insecure favicon 'http://theory.stanford.edu/~rvg/favicon.ico'. This request has been blocked; the content must be served over HTTPS.

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.

cgi.cse.unsw.edu.au
rvg.web.cse.unsw.edu.au
theory.stanford.edu
theory.stanford.edu
129.94.242.62
171.64.78.10
0a7019a01c8c58df750ed53ced9a59e8114be13c605f155c10768c3b2b13856c
7ec05f6381d91fe0e308c0cbbbba384b3eea429cfd5c67fd71c18cd85dfa05fe
b68694d508e006c51c495578e8bc35bab368c35766e645e283d605cd84825d60

theory.stanford.edu Open in urlscan Pro 171.64.78.10 Public Scan

Summary

urlscan.io Verdict: No classification

Domain & IP information

Screenshot Live screenshot Full Image

Page Title

Page URL History Show full URLs

Page Statistics

5 Requests

80 %HTTPS

0 %IPv6

2 Domains

3 Subdomains

3 IPs

2 Countries

149 kBTransfer

147 kBSize

0 Cookies

36 Outgoing links

Page URL History

Redirected requests

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

Request headers

Response headers

Redirect headers

Request headers

Response headers

Redirect headers

Request headers

Response headers

Request headers

Response headers

Failed requests

Verdicts & Comments Add Verdict or Comment

0 JavaScript Global Variables

0 Cookies

5 Console Messages

Indicators

theory.stanford.edu Open in urlscan Pro
171.64.78.10 Public Scan

Screenshot
Live screenshot

Full Image

5
Requests

80 %
HTTPS

0 %
IPv6

2
Domains

3
Subdomains

3
IPs

2
Countries

149 kB
Transfer

147 kB
Size

0
Cookies

5 HTTP transactions
0 data transactions