ftfjp.github.io
Open in
urlscan Pro
2606:50c0:8002::153
Public Scan
Submission: On September 27 via api from US — Scanned from DE
Summary
TLS certificate: Issued by DigiCert Global G2 TLS RSA SHA256 202... on March 15th 2024. Valid for: a year.
This is the only time ftfjp.github.io was scanned on urlscan.io!
urlscan.io Verdict: No classification
Domain & IP information
IP Address | AS Autonomous System | ||
---|---|---|---|
18 | 2606:50c0:800... 2606:50c0:8002::153 | 54113 (FASTLY) (FASTLY) | |
5 | 129.97.92.179 129.97.92.179 | 12093 (UWATERLOO) (UWATERLOO) | |
23 | 2 |
ASN12093 (UWATERLOO, CA)
PTR: eric-reserved.uwaterloo.ca
ece.uwaterloo.ca |
Apex Domain Subdomains |
Transfer | |
---|---|---|
18 |
github.io
ftfjp.github.io |
360 KB |
5 |
uwaterloo.ca
ece.uwaterloo.ca |
302 KB |
23 | 2 |
Domain | Requested by | |
---|---|---|
18 | ftfjp.github.io |
ftfjp.github.io
|
5 | ece.uwaterloo.ca |
ftfjp.github.io
|
23 | 2 |
This site contains links to these domains. Also see Links.
Subject Issuer | Validity | Valid | |
---|---|---|---|
*.github.io DigiCert Global G2 TLS RSA SHA256 2020 CA1 |
2024-03-15 - 2025-03-14 |
a year | crt.sh |
capds.uwaterloo.ca R11 |
2024-09-22 - 2024-12-21 |
3 months | crt.sh |
This page contains 1 frames:
Primary Page:
https://ftfjp.github.io/
Frame ID: EA8C3CE9BF96EA865174CAEEDC9352E3
Requests: 23 HTTP requests in this frame
Screenshot
Page Title
Formal Techniques for Judicious Programming (FTfJP)Detected technologies
Bootstrap (Web Frameworks) ExpandDetected patterns
- <link[^>]* href=[^>]*?bootstrap(?:[^>]*?([0-9a-fA-F]{7,40}|[\d]+(?:.[\d]+(?:.[\d]+)?)?)|)[^>]*?(?:\.min)?\.css
- bootstrap(?:[^>]*?([0-9a-fA-F]{7,40}|[\d]+(?:.[\d]+(?:.[\d]+)?)?)|)[^>]*?(?:\.min)?\.js
GitHub Pages (CDN) Expand
Detected patterns
- ^https?://[^/]+\.github\.io
jQuery (JavaScript Libraries) Expand
Detected patterns
- jquery.*\.js(?:\?ver(?:sion)?=([\d.]+))?
Page Statistics
74 Outgoing links
These are links going to different origins than the main page.
Title: Werner Dietl
Search URL Search Domain Scan URL
Title: Radu Grigore
Search URL Search Domain Scan URL
Title: Gary T. Leavens
Search URL Search Domain Scan URL
Title: Rosemary Monahan
Search URL Search Domain Scan URL
Title: Alex Summers
Search URL Search Domain Scan URL
Title: Peter Müller
Search URL Search Domain Scan URL
Title: Sophia Drossopoulou
Search URL Search Domain Scan URL
Title: Rustan Leino
Search URL Search Domain Scan URL
Title: Erik Poll
Search URL Search Domain Scan URL
Title: Arnd Poetzsch-Heffter
Search URL Search Domain Scan URL
Title: Susan Eisenbach
Search URL Search Domain Scan URL
Title: FTfJP 2024
Search URL Search Domain Scan URL
Title: Proceedings of FTfJP 2024 in ACM digital library
Search URL Search Domain Scan URL
Title: FTfJP 2023
Search URL Search Domain Scan URL
Title: Proceedings of FTfJP 2023 in ACM digital library
Search URL Search Domain Scan URL
Title: FTfJP 2022
Search URL Search Domain Scan URL
Title: Proceedings of FTfJP 2022 in ACM digital library
Search URL Search Domain Scan URL
Title: FTfJP 2021
Search URL Search Domain Scan URL
Title: Proceedings of FTfJP 2021 in ACM digital library
Search URL Search Domain Scan URL
Title: FTfJP 2020
Search URL Search Domain Scan URL
Title: Proceedings of FTfJP 2020 in ACM digital library
Search URL Search Domain Scan URL
Title: FTfJP 2019
Search URL Search Domain Scan URL
Title: Proceedings of FTfJP 2019 in ACM digital library
Search URL Search Domain Scan URL
Title: FTfJP 2018
Search URL Search Domain Scan URL
Title: Proceedings of FTfJP 2018 in ACM digital library
Search URL Search Domain Scan URL
Title: FTfJP 2017
Search URL Search Domain Scan URL
Title: Proceedings of FTfJP 2017 in ACM digital library
Search URL Search Domain Scan URL
Title: FTfJP 2016
Search URL Search Domain Scan URL
Title: Proceedings of FTfJP 2016 in ACM digital library
Search URL Search Domain Scan URL
Title: FTfJP 2015
Search URL Search Domain Scan URL
Title: Proceedings of FTfJP 2015 in ACM digital library
Search URL Search Domain Scan URL
Title: FTfJP 2014
Search URL Search Domain Scan URL
Title: Proceedings of FTfJP 2014 in ACM digital library
Search URL Search Domain Scan URL
Title: FTfJP 2013
Search URL Search Domain Scan URL
Title: Proceedings of FTfJP 2013 in ACM digital library
Search URL Search Domain Scan URL
Search URL Search Domain Scan URL
Title: FTfJP 2012
Search URL Search Domain Scan URL
Title: Proceedings of FTfJP 2012 in ACM digital library
Search URL Search Domain Scan URL
Title: FTfJP 2011
Search URL Search Domain Scan URL
Title: Proceedings of FTfJP 2011 in ACM digital library
Search URL Search Domain Scan URL
Title: FTfJP 2010
Search URL Search Domain Scan URL
Title: Proceedings of FTfJP 2010 in ACM digital library
Search URL Search Domain Scan URL
Title: FTfJP 2009
Search URL Search Domain Scan URL
Title: Proceedings of FTfJP 2009 in ACM digital library
Search URL Search Domain Scan URL
Search URL Search Domain Scan URL
Title: FTfJP 2008
Search URL Search Domain Scan URL
Title: IWACO’08
Search URL Search Domain Scan URL
Title: Journal of Object Technology, Vol. 8, No. 4, 2009
Search URL Search Domain Scan URL
Title: FTfJP 2007
Search URL Search Domain Scan URL
Title: Journal of Object Technology, Vol. 7, No. 5, 2007
Search URL Search Domain Scan URL
Title: FTfJP 2006
Search URL Search Domain Scan URL
Title: Journal of Object Technology, Vol. 6, No. 5, 2007
Search URL Search Domain Scan URL
Title: Pictures from the workshop
Search URL Search Domain Scan URL
Title: FTfJP 2005
Search URL Search Domain Scan URL
Title: Journal of Object Technology, Vol. 5, No. 5, 2006
Search URL Search Domain Scan URL
Title: FTfJP 2004
Search URL Search Domain Scan URL
Title: Journal of Object Technology, Vol. 4, No. 8, 2005
Search URL Search Domain Scan URL
Title: FTfJP 2003
Search URL Search Domain Scan URL
Title: Journal of Object Technology, Vol. 3, No. 6, 2004
Search URL Search Domain Scan URL
Title: FTfJP 2002
Search URL Search Domain Scan URL
Title: Concurrency and Computation: Practice and Experience, Vol. 16, No. 7, 2004
Search URL Search Domain Scan URL
Title: FTfJP 2001
Search URL Search Domain Scan URL
Title: papers separately
Search URL Search Domain Scan URL
Title: Concurrency and Computation: Practice and Experience, Vol. 15, No. 2, 2003
Search URL Search Domain Scan URL
Title: FTfJP 2000
Search URL Search Domain Scan URL
Title: Concurrency and Computation: Practice and Experience, Vol. 13, No. 13, 2001
Search URL Search Domain Scan URL
Title: FTfJP’99
Search URL Search Domain Scan URL
Title: Formal Underpinnings of Java
Search URL Search Domain Scan URL
Title: GitHub
Search URL Search Domain Scan URL
Title: Werner Dietl
Search URL Search Domain Scan URL
Title: AsciiDoc
Search URL Search Domain Scan URL
Title: AsciiDoc-Bootstrap backend
Search URL Search Domain Scan URL
Title: Bootstrap
Search URL Search Domain Scan URL
Title: Cerulean theme
Search URL Search Domain Scan URL
Redirected requests
There were HTTP redirect chains for the following requests:
23 HTTP transactions
Method Protocol |
Resource Path |
Size x-fer |
Type MIME-Type |
||||||||||||||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
GET H2 |
Primary Request
/
ftfjp.github.io/ |
17 KB 5 KB |
Document
text/html |
||||||||||||||||||||||||||||||||||||||||||||||||||||
General
Request headers
Response headers
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
GET H/1.1 |
asciidoc-bootstrap.cerulean.min.css
ece.uwaterloo.ca/~wdietl/bootstrap/stylesheets/ |
198 KB 199 KB |
Stylesheet
text/css |
||||||||||||||||||||||||||||||||||||||||||||||||||||
General
Request headers
Response headers
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
GET H/1.1 |
ui.totop.css
ece.uwaterloo.ca/~wdietl/bootstrap/stylesheets/ |
749 B 1 KB |
Stylesheet
text/css |
||||||||||||||||||||||||||||||||||||||||||||||||||||
General
Request headers
Response headers
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
GET H2 |
ecoop2016.png
ftfjp.github.io/images/ |
65 KB 66 KB |
Image
image/png |
||||||||||||||||||||||||||||||||||||||||||||||||||||
General
Request headers
Response headers
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
GET H2 |
ecoop2015.jpg
ftfjp.github.io/images/ |
12 KB 12 KB |
Image
image/jpeg |
||||||||||||||||||||||||||||||||||||||||||||||||||||
General
Request headers
Response headers
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
GET H2 |
ecoop2013.jpg
ftfjp.github.io/images/ |
8 KB 9 KB |
Image
image/jpeg |
||||||||||||||||||||||||||||||||||||||||||||||||||||
General
Request headers
Response headers
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
GET H2 |
ecoop2012small.jpg
ftfjp.github.io/images/ |
35 KB 36 KB |
Image
image/jpeg |
||||||||||||||||||||||||||||||||||||||||||||||||||||
General
Request headers
Response headers
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
GET H2 |
ecoop2009.png
ftfjp.github.io/images/ |
92 KB 92 KB |
Image
image/png |
||||||||||||||||||||||||||||||||||||||||||||||||||||
General
Request headers
Response headers
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
GET H2 |
ecoop2008.gif
ftfjp.github.io/images/ |
5 KB 5 KB |
Image
image/gif |
||||||||||||||||||||||||||||||||||||||||||||||||||||
General
Request headers
Response headers
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
GET H2 |
ecoop2007.gif
ftfjp.github.io/images/ |
5 KB 6 KB |
Image
image/gif |
||||||||||||||||||||||||||||||||||||||||||||||||||||
General
Request headers
Response headers
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
GET H2 |
ecoop2005.gif
ftfjp.github.io/images/ |
4 KB 5 KB |
Image
image/gif |
||||||||||||||||||||||||||||||||||||||||||||||||||||
General
Request headers
Response headers
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
GET H2 |
ecoop2004.gif
ftfjp.github.io/images/ |
2 KB 2 KB |
Image
image/gif |
||||||||||||||||||||||||||||||||||||||||||||||||||||
General
Request headers
Response headers
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
GET H2 |
ecoop2003.jpg
ftfjp.github.io/images/ |
98 KB 98 KB |
Image
image/jpeg |
||||||||||||||||||||||||||||||||||||||||||||||||||||
General
Request headers
Response headers
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
GET H2 |
ecoop2002.gif
ftfjp.github.io/images/ |
4 KB 4 KB |
Image
image/gif |
||||||||||||||||||||||||||||||||||||||||||||||||||||
General
Request headers
Response headers
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
GET H2 |
ecoop2001.jpg
ftfjp.github.io/images/ |
3 KB 3 KB |
Image
image/jpeg |
||||||||||||||||||||||||||||||||||||||||||||||||||||
General
Request headers
Response headers
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
GET H2 |
ecoop2000.gif
ftfjp.github.io/images/ |
5 KB 5 KB |
Image
image/gif |
||||||||||||||||||||||||||||||||||||||||||||||||||||
General
Request headers
Response headers
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
GET H2 |
ecoop1999.gif
ftfjp.github.io/images/ |
5 KB 5 KB |
Image
image/gif |
||||||||||||||||||||||||||||||||||||||||||||||||||||
General
Request headers
Response headers
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
GET H2 |
oopsla1998.gif
ftfjp.github.io/images/ |
4 KB 4 KB |
Image
image/gif |
||||||||||||||||||||||||||||||||||||||||||||||||||||
General
Request headers
Response headers
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
GET H/1.1 |
jquery.min.js
ece.uwaterloo.ca/~wdietl/bootstrap/javascripts/ |
94 KB 94 KB |
Script
application/javascript |
||||||||||||||||||||||||||||||||||||||||||||||||||||
General
Request headers
Response headers
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
GET H2 |
bootstrap.min.js
ftfjp.github.io/bootstrap/js/ |
0 0 |
Script
text/html |
||||||||||||||||||||||||||||||||||||||||||||||||||||
General
Request headers
Response headers
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
GET H/1.1 |
asciidoc.js
ece.uwaterloo.ca/~wdietl/bootstrap/javascripts/ |
6 KB 6 KB |
Script
application/javascript |
||||||||||||||||||||||||||||||||||||||||||||||||||||
General
Request headers
Response headers
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
GET H/1.1 |
jquery.ui.totop.min.js
ece.uwaterloo.ca/~wdietl/bootstrap/javascripts/ |
1 KB 2 KB |
Script
application/javascript |
||||||||||||||||||||||||||||||||||||||||||||||||||||
General
Request headers
Response headers
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
GET H2 |
favicon.ico
ftfjp.github.io/ |
9 KB 5 KB |
Other
text/html |
||||||||||||||||||||||||||||||||||||||||||||||||||||
General
Request headers
Response headers
|
Verdicts & Comments Add Verdict or Comment
4 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| $ function| jQuery object| asciidoc object| jQuery11110209008543407526170 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.
2 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 Headers
This page lists any security headers set by the main page. If you want to understand what these mean and how to use them, head on over to this page
Header | Value |
---|---|
Strict-Transport-Security | max-age=31556952 |
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.
ece.uwaterloo.ca
ftfjp.github.io
129.97.92.179
2606:50c0:8002::153
03c37ecea47cc54fbfef0b94f7f5bbce1dd41b199243374e280f09214bb98917
0fc2a82c22a20afe6544ae475ed4a311ff7f7ba45328b3675a2ee018feb73075
14eb596d583d90ff6b30246d9df0f354a56898db32bcd6178e89477a598ca532
15c8cd7293113070f1e17e4de73bf32ffb7568f96d82cbcff41932cccdac6d5a
30e188d0da23a417288092a6d2349c240f968449691ce1cdceed8c8636f20620
4c5cfd33c30d1a99ad4656705d6da928565db40ca381de1596b7e43e7fedc034
536e6e088239bdfc899078584dcdc0591adaf817b3436282b51ea3373a898d9b
540bc6dec1dd4b92ea4d3fb903f69eabf6d919afd48f4e312b163c28cff0f441
616a44e879ebdd3f94883a8dd5939a184938b4b6a7f140e584ad5e03787f1197
71249bd26f6fec494dd778a51900e34b4411b8429c0650cf3a0edf4180bee8f6
8db4bcccc9ba1a7a3ae02e2bab78732d81e0e010fa2153305e6728a92d77d9c3
9f386ce7092b9390a691f5fb2754691022625cce4ed395ac24cc41a34a0c3046
a7996a73b90a15839750162f3b845355c28c8c5af6307972a36113c04de8818b
aeb091be4ea248ff7a579619475b7e592c9316bd5458ccfed16e8d5d0eb4530d
b620507312c5e97566a3c6cfaf99144fefc18a0da7d941401dfa0f5f58fb0368
ba8bf74aba00d4ff5e55d97304385b6806f1a066ddb076e2691d485c5d26a248
bc3efbddb41cd56d4ce95b97cd9859b5fffc94acc8a93fb7bf3e3d23204db09e
ca974670b2928320665c9525005d4f8e31484b069db8d63fe7589f3c7595bab0
d00bf1dd7641268cbaeaaf2dbf0140da196bb7e2fdb7de24473c1be0b188c9cd
f1a60272f631ebda886f76df69d78ebf2aa83edd0edd504d5c4c126dcd97310e
f263e6400844487c9d254e5516fb140a9eb8bc591a7cce2420f676fd6fb2297f
fb48b320a6c3bcc0e07d21a99a6a87ea23ad83ae469426bd17ea428f261e0237