cs.ru.nl Open in urlscan Pro
131.174.9.227 Public Scan

Go To Rescan
Add Verdict Report

Submitted URL:
https://wwwwwwweb.marcschoolderman.nl/
Effective URL:
https://cs.ru.nl/~M.Schoolderman/
Submission: On August 07 via api (August 7th 2024, 10:02:25 am UTC) from US — Scanned from NL

Summary HTTP 7 Redirects Links 37 Behaviour Indicators

Summary

This website contacted 1 IPs in 1 countries across 2 domains to perform 7 HTTP transactions. The main IP is 131.174.9.227, located in Nijmegen, Netherlands and belongs to SURFNET-NL SURFnet, The Netherlands, NL. The main domain is cs.ru.nl.
TLS certificate: Issued by GEANT OV ECC CA 4 on June 3rd 2024. Valid for: a year.

This is the only time cs.ru.nl was scanned on urlscan.io!

urlscan.io Verdict: No classification

Domain & IP information

	IP Address	AS Autonomous System
1 1	2a10:de80:1:4... 2a10:de80:1:4091:b9e9:22c:0:1	211993 (SOVERIN) (SOVERIN)
7	131.174.9.227 131.174.9.227	1103 (SURFNET-N...) (SURFNET-NL SURFnet)
7	1

1 2a10:de80:1:4091:b9e9:22c:0:1 (Netherlands) 1 redirects

ASN211993 (SOVERIN, NL)

wwwwwwweb.marcschoolderman.nl	Domain lookup VirusTotal SecurityTrails crt.sh Censys Domaintools

7 131.174.9.227 (Nijmegen, Netherlands)

ASN1103 (SURFNET-NL SURFnet, The Netherlands, NL)
PTR: www.cs.ru.nl

cs.ru.nl	Domain lookup VirusTotal SecurityTrails crt.sh Censys Domaintools

	Apex Domain Subdomains	Transfer
7	ru.nl cs.ru.nl	90 KB
1	marcschoolderman.nl 1 redirects wwwwwwweb.marcschoolderman.nl	210 B
7	2

	Domain	Requested by
7	cs.ru.nl	cs.ru.nl
1	wwwwwwweb.marcschoolderman.nl	1 redirects
7	2

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

Domain
mbsd.cs.ru.nl
www.ru.nl
sovereign.cs.ru.nl
ssrg-vt.github.io
www.ou.nl
why3.lri.fr
cvc4.github.io
github.com
www.spoofax.dev
zenodo.org
arxiv.org
doi.org
gitlab.science.ru.nl
resourceanalysis.cs.ru.nl
www.cs.ru.nl
www.schneier.com
en.wikipedia.org

Subject Issuer	Validity	Valid
*.cs.ru.nl GEANT OV ECC CA 4	`2024-06-03` - `2025-06-03`	a year	crt.sh

This page contains 1 frames:

Primary Page: https://cs.ru.nl/~M.Schoolderman/
Frame ID: 6B4CD94F8B3766BF711770B9AF4E50B4
Requests: 7 HTTP requests in this frame

Screenshot
Live screenshot

Full Image

Page Title

Marc Schoolderman - Institute for Computing and Information Sciences

Page URL History Show full URLs

https://wwwwwwweb.marcschoolderman.nl/ HTTP 302
https://cs.ru.nl/~M.Schoolderman/ Page URL

Page Statistics

7
Requests

100 %
HTTPS

50 %
IPv6

2
Domains

2
Subdomains

1
IPs

1
Countries

90 kB
Transfer

88 kB
Size

0
Cookies

37 Outgoing links

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

URL: https://mbsd.cs.ru.nl/
Title: Software Science

Search URL Search Domain Scan URL

URL: https://www.ru.nl/dis/
Title: Digital Security

Search URL Search Domain Scan URL

URL: http://sovereign.cs.ru.nl/ProjectSummary
Title: Sovereign project

Search URL Search Domain Scan URL

URL: https://ssrg-vt.github.io/Luce/
Title: LUCE project

Search URL Search Domain Scan URL

URL: https://www.ou.nl/medewerkers-betawetenschappen
Title: Open University

Search URL Search Domain Scan URL

URL: http://why3.lri.fr/
Title: Why3

Search URL Search Domain Scan URL

URL: https://cvc4.github.io/
Title: CVC4

Search URL Search Domain Scan URL

URL: https://github.com/Z3Prover/z3
Title: Z3

Search URL Search Domain Scan URL

URL: https://www.spoofax.dev/
Title: domain specific languages

Search URL Search Domain Scan URL

URL: https://zenodo.org/record/4640377

Search URL Search Domain Scan URL

URL: https://arxiv.org/abs/2012.09919

Search URL Search Domain Scan URL

URL: http://doi.org/10.1007/978-3-030-76384-8_19

Search URL Search Domain Scan URL

URL: https://doi.org/10.1145/3375258.3375265

Search URL Search Domain Scan URL

URL: https://gitlab.science.ru.nl/sovereign/why3-avr/-/tree/validate-0.88.3

Search URL Search Domain Scan URL

URL: http://doi.org/10.1007/978-3-319-72308-2_5

Search URL Search Domain Scan URL

URL: http://resourceanalysis.cs.ru.nl/energy/

Search URL Search Domain Scan URL

URL: https://doi.org/10.1145/2588548.2588553

Search URL Search Domain Scan URL

URL: https://www.cs.ru.nl/~mschool/swan2019/
Title: 1819 Software Analysis

Search URL Search Domain Scan URL

URL: https://www.cs.ru.nl/~hubbers/courses/ms_1819/
Title: 1819 Mathematical Structures

Search URL Search Domain Scan URL

URL: https://www.cs.ru.nl/~hubbers/courses/sc_1718/
Title: 1718 Semantics & Correctness

Search URL Search Domain Scan URL

URL: https://www.cs.ru.nl/~hubbers/courses/ms_1718/
Title: 1718 Mathematical Structures

Search URL Search Domain Scan URL

URL: https://www.cs.ru.nl/~hubbers/courses/ms_1617/
Title: 1617 Mathematical Structures

Search URL Search Domain Scan URL

URL: https://www.cs.ru.nl/~hubbers/courses/ms_1516/
Title: 1516 Mathematical Structures

Search URL Search Domain Scan URL

URL: https://www.cs.ru.nl/~hubbers/courses/co_1415/
Title: 1415 Combinatorics

Search URL Search Domain Scan URL

URL: https://www.ru.nl/publish/pages/769526/jonathan_moerman.pdf
Title: Asm3: modelling assembly languages efficiently in Why3

Search URL Search Domain Scan URL

URL: https://www.cs.ru.nl/bachelors-theses/2019/Nienke_Wessel___4598350___The_Semantics_of_Ownership_and_Borrowing_in_the_Rust_Programming_Language.pdf
Title: The Semantics of Ownership and Borrowing in the Rust Programming Language

Search URL Search Domain Scan URL

URL: https://www.cs.ru.nl/bachelors-theses/2018/Jonathan_Moerman___4436555___Evaluating_the_performance_of_open_source_static_analysis_tools.pdf
Title: Evaluating the performance of open source static analysis tools

Search URL Search Domain Scan URL

URL: https://www.cs.ru.nl/bachelors-theses/2017/Matthias_Vogelaar___4372913___Defining_the_Undefined_in_C.pdf
Title: Defining the Undefined in C

Search URL Search Domain Scan URL

URL: https://github.com/squell/bb-scripts/
Title: bb-scripts

Search URL Search Domain Scan URL

URL: https://github.com/squell/fastavr/
Title: fastavr

Search URL Search Domain Scan URL

URL: https://github.com/squell/tinyTwofish/
Title: tinyTwofish

Search URL Search Domain Scan URL

URL: https://www.schneier.com/academic/archives/1998/12/the_twofish_encrypti.html
Title: Twofish

Search URL Search Domain Scan URL

URL: https://github.com/squell/dunsel/
Title: dunsel

Search URL Search Domain Scan URL

URL: https://www.ru.nl/publish/pages/769526/marc_schoolderman.pdf
Title: Verification of Goroutines using Why3

Search URL Search Domain Scan URL

URL: https://www.cs.ru.nl/~freek/
Title: Freek Wiedijk

Search URL Search Domain Scan URL

URL: https://www.cs.ru.nl/bachelorscripties/2012/Marc_Schoolderman___0620866___Fuzzy_lexical_matching.pdf
Title: Fuzzy Lexical Matching

Search URL Search Domain Scan URL

URL: https://en.wikipedia.org/wiki/Cornelis_H._A._Koster
Title: Kees Koster

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://wwwwwwweb.marcschoolderman.nl/ HTTP 302
https://cs.ru.nl/~M.Schoolderman/ Page URL

Redirected requests

There were HTTP redirect chains for the following requests:

7 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	Primary Request / Show response cs.ru.nl/~M.Schoolderman/ Redirect Chain https://wwwwwwweb.marcschoolderman.nl/ https://cs.ru.nl/~M.Schoolderman/	11 KB 11 KB	100ms 22ms	Document text/html	131.174.9.227 SURFNET-NL SURFnet
General Check archive.org Show headers Download Go to Full URL https://cs.ru.nl/~M.Schoolderman/ Protocol HTTP/1.1 Security TLS 1.2, ECDHE_ECDSA, AES_256_GCM Server 131.174.9.227 Nijmegen, Netherlands, ASN1103 (SURFNET-NL SURFnet, The Netherlands, NL), Reverse DNS www.cs.ru.nl Software Apache / Resource Hash `77ae2768a81a8ba08ae2a02aee00ddeb0bb3d2bb517d75870c315fb333be0bc3` Request headers Upgrade-Insecure-Requests 1 User-Agent Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/127.0.0.0 Safari/537.36 Response headers Accept-Ranges bytes Connection Keep-Alive Content-Length 10964 Content-Type text/html Date Wed, 07 Aug 2024 10:02:20 GMT ETag "2ad4-5eda9a98e4e00" Keep-Alive timeout=15, max=100 Last-Modified Thu, 17 Nov 2022 12:23:53 GMT Server Apache Redirect headers alt-svc h3=":443"; ma=2592000 cache-control no-cache content-length 0 content-type text/html; charset=UTF-8 date Wed, 07 Aug 2024 10:02:20 GMT location https://cs.ru.nl/~M.Schoolderman/ server Caddy strict-transport-security max-age=63072000; includeSubDomains x-request-id 30f3fe84-5d8e-4036-8f64-ec8e96216f8e x-runtime 0.002799
GET H/1.1	200 OK	retro-light.css cs.ru.nl/~M.Schoolderman/	2 KB 2 KB	19ms 18ms	Stylesheet text/css	131.174.9.227 SURFNET-NL SURFnet
General Check archive.org Show headers Download Go to Full URL https://cs.ru.nl/~M.Schoolderman/retro-light.css Requested by Host: cs.ru.nl URL: https://cs.ru.nl/~M.Schoolderman/ Protocol HTTP/1.1 Security TLS 1.2, ECDHE_ECDSA, AES_256_GCM Server 131.174.9.227 Nijmegen, Netherlands, ASN1103 (SURFNET-NL SURFnet, The Netherlands, NL), Reverse DNS www.cs.ru.nl Software Apache / Resource Hash `e751e4d726f4cf4ff54a98508c152df8c63436ba708936d5c9844fcba7af1c85` Request headers Referer https://cs.ru.nl/~M.Schoolderman/ User-Agent Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/127.0.0.0 Safari/537.36 Response headers Date Wed, 07 Aug 2024 10:02:20 GMT Last-Modified Wed, 31 May 2017 00:09:55 GMT Server Apache ETag "8dd-550c6bd73bfa4" Content-Type text/css Connection Keep-Alive Accept-Ranges bytes Keep-Alive timeout=15, max=99 Content-Length 2269
GET H/1.1	200 OK	open-iconic.css cs.ru.nl/~M.Schoolderman/open-iconic/font/css/	14 KB 14 KB	47ms 27ms	Stylesheet text/css	131.174.9.227 SURFNET-NL SURFnet
General Check archive.org Show headers Download Go to Full URL https://cs.ru.nl/~M.Schoolderman/open-iconic/font/css/open-iconic.css Requested by Host: cs.ru.nl URL: https://cs.ru.nl/~M.Schoolderman/ Protocol HTTP/1.1 Security TLS 1.2, ECDHE_ECDSA, AES_256_GCM Server 131.174.9.227 Nijmegen, Netherlands, ASN1103 (SURFNET-NL SURFnet, The Netherlands, NL), Reverse DNS www.cs.ru.nl Software Apache / Resource Hash `fe87c4ee35e9572074dbba7a934bfc7cbb684d55a1cc08859a8046d5ba41708a` Request headers Referer https://cs.ru.nl/~M.Schoolderman/ User-Agent Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/127.0.0.0 Safari/537.36 Response headers Date Wed, 07 Aug 2024 10:02:20 GMT Last-Modified Wed, 02 Jul 2014 21:45:42 GMT Server Apache ETag "3620-4fd3cd055ed80" Content-Type text/css Connection Keep-Alive Accept-Ranges bytes Keep-Alive timeout=15, max=98 Content-Length 13856
GET H/1.1	200 OK	mugshot.jpg cs.ru.nl/~M.Schoolderman/	43 KB 43 KB	66ms 19ms	Image image/jpeg	131.174.9.227 SURFNET-NL SURFnet
General Check archive.org Show headers Download Go to Show image Full URL https://cs.ru.nl/~M.Schoolderman/mugshot.jpg Requested by Host: cs.ru.nl URL: https://cs.ru.nl/~M.Schoolderman/ Protocol HTTP/1.1 Security TLS 1.2, ECDHE_ECDSA, AES_256_GCM Server 131.174.9.227 Nijmegen, Netherlands, ASN1103 (SURFNET-NL SURFnet, The Netherlands, NL), Reverse DNS www.cs.ru.nl Software Apache / Resource Hash `dbc26f18039ef8ccb3903279e355b59b876564ed580eb89298130efbe340cea5` Request headers Referer https://cs.ru.nl/~M.Schoolderman/ User-Agent Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/127.0.0.0 Safari/537.36 Response headers Date Wed, 07 Aug 2024 10:02:20 GMT Last-Modified Fri, 02 Jun 2017 23:33:30 GMT Server Apache ETag "aa9b-5510294c02eba" Content-Type image/jpeg Connection Keep-Alive Accept-Ranges bytes Keep-Alive timeout=15, max=100 Content-Length 43675
GET H/1.1	200 OK	retro.css cs.ru.nl/~M.Schoolderman/	2 KB 2 KB	17ms 16ms	Stylesheet text/css	131.174.9.227 SURFNET-NL SURFnet
General Check archive.org Show headers Download Go to Full URL https://cs.ru.nl/~M.Schoolderman/retro.css Requested by Host: cs.ru.nl URL: https://cs.ru.nl/~M.Schoolderman/ Protocol HTTP/1.1 Security TLS 1.2, ECDHE_ECDSA, AES_256_GCM Server 131.174.9.227 Nijmegen, Netherlands, ASN1103 (SURFNET-NL SURFnet, The Netherlands, NL), Reverse DNS www.cs.ru.nl Software Apache / Resource Hash `d4f90d0f5bf2899956885881b64848a99f661fe580841bbd87437e3dfd6a733d` Request headers Referer https://cs.ru.nl/~M.Schoolderman/ User-Agent Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/127.0.0.0 Safari/537.36 Response headers Date Wed, 07 Aug 2024 10:02:20 GMT Last-Modified Tue, 30 May 2017 23:04:53 GMT Server Apache ETag "8da-550c5d4dbbb71" Content-Type text/css Connection Keep-Alive Accept-Ranges bytes Keep-Alive timeout=15, max=97 Content-Length 2266
GET H/1.1	200 OK	open-iconic.woff cs.ru.nl/~M.Schoolderman/open-iconic/font/fonts/	15 KB 15 KB	33ms 32ms	Font application/font-woff	131.174.9.227 SURFNET-NL SURFnet
General Check archive.org Show headers Download Go to Full URL https://cs.ru.nl/~M.Schoolderman/open-iconic/font/fonts/open-iconic.woff Requested by Host: cs.ru.nl URL: https://cs.ru.nl/~M.Schoolderman/open-iconic/font/css/open-iconic.css Protocol HTTP/1.1 Security TLS 1.2, ECDHE_ECDSA, AES_256_GCM Server 131.174.9.227 Nijmegen, Netherlands, ASN1103 (SURFNET-NL SURFnet, The Netherlands, NL), Reverse DNS www.cs.ru.nl Software Apache / Resource Hash `7193ea5654497d2356d0a690e3e50f39767fbff4335e57a3443c1435d648a1f2` Request headers Referer https://cs.ru.nl/~M.Schoolderman/open-iconic/font/css/open-iconic.css Origin https://cs.ru.nl User-Agent Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/127.0.0.0 Safari/537.36 Response headers Date Wed, 07 Aug 2024 10:02:20 GMT Last-Modified Wed, 02 Jul 2014 21:45:42 GMT Server Apache ETag "3a88-4fd3cd055ed80" Content-Type application/font-woff Connection Keep-Alive Accept-Ranges bytes Keep-Alive timeout=15, max=99 Content-Length 14984
GET H/1.1	200 OK	favicon.ico cs.ru.nl/	2 KB 2 KB	20ms 19ms	Other image/vnd.microsoft.icon	131.174.9.227 SURFNET-NL SURFnet
General Check archive.org Show headers Download Go to Full URL https://cs.ru.nl/favicon.ico Protocol HTTP/1.1 Security TLS 1.2, ECDHE_ECDSA, AES_256_GCM Server 131.174.9.227 Nijmegen, Netherlands, ASN1103 (SURFNET-NL SURFnet, The Netherlands, NL), Reverse DNS www.cs.ru.nl Software Apache / Resource Hash `d4d5ff59bfd71beaddd87af9b014ca88b9a715ae242dd3c735482d69a2ee1038` Request headers Referer https://cs.ru.nl/~M.Schoolderman/ User-Agent Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/127.0.0.0 Safari/537.36 Response headers Date Wed, 07 Aug 2024 10:02:20 GMT Last-Modified Wed, 24 Mar 2010 08:38:41 GMT Server Apache ETag "8be-48287db764640" Content-Type image/vnd.microsoft.icon Connection Keep-Alive Accept-Ranges bytes Keep-Alive timeout=15, max=98 Content-Length 2238

Verdicts & Comments Add Verdict or Comment

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

function| swapStyleSheet number| n

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.

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.

cs.ru.nl
wwwwwwweb.marcschoolderman.nl
131.174.9.227
2a10:de80:1:4091:b9e9:22c:0:1
7193ea5654497d2356d0a690e3e50f39767fbff4335e57a3443c1435d648a1f2
77ae2768a81a8ba08ae2a02aee00ddeb0bb3d2bb517d75870c315fb333be0bc3
d4d5ff59bfd71beaddd87af9b014ca88b9a715ae242dd3c735482d69a2ee1038
d4f90d0f5bf2899956885881b64848a99f661fe580841bbd87437e3dfd6a733d
dbc26f18039ef8ccb3903279e355b59b876564ed580eb89298130efbe340cea5
e751e4d726f4cf4ff54a98508c152df8c63436ba708936d5c9844fcba7af1c85
fe87c4ee35e9572074dbba7a934bfc7cbb684d55a1cc08859a8046d5ba41708a

cs.ru.nl Open in urlscan Pro 131.174.9.227 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

7 Requests

100 %HTTPS

50 %IPv6

2 Domains

2 Subdomains

1 IPs

1 Countries

90 kBTransfer

88 kBSize

0 Cookies

37 Outgoing links

Page URL History

Redirected requests

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

Request headers

Response headers

Redirect 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

Verdicts & Comments Add Verdict or Comment

2 JavaScript Global Variables

0 Cookies

Indicators

cs.ru.nl Open in urlscan Pro
131.174.9.227 Public Scan

Screenshot
Live screenshot

Full Image

7
Requests

100 %
HTTPS

50 %
IPv6

2
Domains

2
Subdomains

1
IPs

1
Countries

90 kB
Transfer

88 kB
Size

0
Cookies

7 HTTP transactions
0 data transactions