No Security Risks Detected
This domain appears to be safe and secure
100%
Score
Disclaimer: This assessment is based on automated analysis of publicly available information. Results are for informational purposes only. For critical applications, consult security professionals.
Scan Information
Last checked:August 15, 2025 10:28:29
Target URL:https://academic-homepage.pages.dev/
Scan Complete
Refresh page after 10 minutes
for updated results
Page Information
Target URL
https://academic-homepage.pages.dev/
Page Title
Luca Di Stefano - University assistant (Post-doc)
Status
Active
Host Information
Domain
academic-homepage.pages.dev
Server
cloudflare
Country
United States
IP Address
172.66.44.75
ASN Information
13335
CLOUDFLARENET
Technologies
Hugo
Static site generator
HSTS
Security
Cloudflare Browser Insights
Analytics
Cloudflare
CDN
HTTP/3
Miscellaneous
Gravatar
Miscellaneous
SSL Certificate
HTTPS Enabled
Secure
Certificate Issuer
N/A
Valid From
2025-08-14 10:28:34
Valid Until
2026-08-15 10:28:34
Subject Name
academic-homepage.pages.dev
Performance Statistics
8
Total Requests
5
Domains
5
IP Addresses
438.18 KB
Transfer Size
Content Size490.25 KB
HTTP Headers
Access-Control-Allow-Origin
*
CF-RAY
96f80183bc91bc6f-HNL
Cache-Control
public, max-age=0, must-revalidate
Connection
keep-alive
Content-Encoding
br
Content-Type
text/html; charset=utf-8
Date
Fri, 15 Aug 2025 10:28:34 GMT
NEL
{"success_fraction":0,"report_to":"cf-nel","max_age":604800}
Report-To
{"endpoints":[{"url":"https:\/\/a.nel.cloudflare.com\/report\/v4?s=tC4ft44odnOKDijohn5fl55Y9s8Lwhxc6fW0UrMySsmY9blPnZimV8trOZlcqEoNZyLx9728XQuaoY0XZq3i1Zsdc1NFdHYmzO9U%2BGw3BCo6h0ooP%2BRiXdpgjtwzZRwFvEz9KiLyI%2FqcttXy4js%3D"}],"group":"cf-nel","max_age":604800}
Server
cloudflare
Transfer-Encoding
chunked
Vary
Accept-Encoding
alt-svc
h3=":443"; ma=86400
referrer-policy
strict-origin-when-cross-origin
server-timing
cfL4;desc="?proto=TCP&rtt=0&min_rtt=0&rtt_var=0&sent=0&recv=0&lost=0&retrans=0&sent_bytes=0&recv_bytes=0&delivery_rate=0&cwnd=0&unsent_bytes=0&cid=ffa2df7c485487f2&ts=319&x=0"
x-content-type-options
nosniff
16 headers detected
Technology Stack Analysis
Hugo
Static site generator
Hugo is an open-source static site generator written in Go.
HSTS
Security
HTTP Strict Transport Security (HSTS) informs browsers that the site should only be accessed using HTTPS.
Cloudflare Browser Insights
AnalyticsRUM
Cloudflare Browser Insights is a tool that measures the performance of websites from the perspective of users.
Cloudflare
CDN
Cloudflare is a web-infrastructure and website-security company, providing content-delivery-network services, DDoS mitigation, Internet security, and distributed domain-name-server services.
HTTP/3
Miscellaneous
HTTP/3 is the third major version of the Hypertext Transfer Protocol used to exchange information on the World Wide Web.
Gravatar
Miscellaneous
Gravatar is a service for providing globally unique avatars.
External Links 68
[[rss]]
www.lucadistefano.eu
Target URL
https://www.lucadistefano.eu/index.xml
[blog]
lou1306.github.io
Target URL
http://lou1306.github.io/en/
[dblp]
dblp.uni-trier.de
Target URL
https://dblp.uni-trier.de/pid/215/9758.html
[github]
github.com
Target URL
https://github.com/lou1306
[linkedin]
linkedin.com
Target URL
https://linkedin.com/in/lou1306/
[orcid]
orcid.org
Target URL
https://orcid.org/0000-0003-1922-3151
[researchgate]
www.researchgate.net
Target URL
https://www.researchgate.net/profile/Luca-Di-Stefano
Ezio Bartocci
www.eziobartocci.com
Target URL
https://www.eziobartocci.com
TISS
tiss.tuwien.ac.at
Target URL
https://tiss.tuwien.ac.at/thesis/theses.xhtml?dswid=1688&dsrid=150
[archive]
www.lucadistefano.eu
Target URL
https://www.lucadistefano.eu/news
VASSAL Workshop
vassal.fit.vut.cz
Target URL
https://vassal.fit.vut.cz/vassal-workshop-on-software-verification-and-runtime-analysis
RV'25
rv25.isec.tugraz.at
Target URL
https://rv25.isec.tugraz.at/
EMSOFT'25
esweek.org
Target URL
https://esweek.org/emsoft/
ArXiv
doi.org
Target URL
https://doi.org/10.48550/arXiv.2307.09776
CPS research unit
informatics.tuwien.ac.at
Target URL
https://informatics.tuwien.ac.at/orgs/e191-01
d-SynMA team
dsynma.bitbucket.io
Target URL
https://dsynma.bitbucket.io/
CONVECS
convecs.inria.fr
Target URL
https://convecs.inria.fr
SysMA
sysma.imtlucca.it
Target URL
https://sysma.imtlucca.it/
Gran Sasso Science Institute
gssi.it
Target URL
https://gssi.it
DISIM
www.disim.univaq.it
Target URL
https://www.disim.univaq.it/
TU Wien
www.tuwien.ac.at
Target URL
https://www.tuwien.ac.at/
course Web page
tiss.tuwien.ac.at
Target URL
https://tiss.tuwien.ac.at/course/courseDetails.xhtml?dswid=2885&dsrid=3&semester=2025S&courseNr=182731
course Web page
tiss.tuwien.ac.at
Target URL
https://tiss.tuwien.ac.at/course/courseDetails.xhtml?dswid=1134&dsrid=838&courseNr=182731&semester=2024S&locale=en
University of Gothenburg
www.gu.se
Target URL
https://www.gu.se/
Chalmers
www.chalmers.se
Target URL
https://www.chalmers.se
Polytech Paris-Saclay
www.polytech.universite-paris-saclay.fr
Target URL
https://www.polytech.universite-paris-saclay.fr/
UPPAAL
uppaal.org
Target URL
https://uppaal.org/
CADP
cadp.inria.fr
Target URL
https://cadp.inria.fr/
TESTOR
convecs.inria.fr
Target URL
http://convecs.inria.fr/software/testor/
[code]
github.com
Target URL
https://github.com/labs-lang/labs
[code]
github.com
Target URL
https://github.com/labs-lang/sliver
[code]
github.com
Target URL
https://github.com/dSynMa/recipe
[code]
github.com
Target URL
https://github.com/shaunazzopardi/sweap
[code]
github.com
Target URL
https://github.com/lou1306/pyxmv
Compositional Verification of Priority Systems using Sharp Bisimulation
doi.org
Target URL
https://doi.org/10.1007/s10703-023-00422-1
[pdf]
link.springer.com
Target URL
https://link.springer.com/content/pdf/10.1007/s10703-023-00422-1.pdf
Emerging Synchrony in Applauding Audiences: Formal Analysis and Specification
doi.org
Target URL
https://doi.org/10.1007/978-3-031-73709-1_16
Attributed Point-to-Point Communication in R-CHECK
doi.org
Target URL
https://doi.org/10.1007/978-3-031-75107-3_20
Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants
doi.org
Target URL
https://doi.org/10.1007/978-3-031-42697-1_4
Compositional verification of stigmergic collective systems
doi.org
Target URL
https://doi.org/10.1007/978-3-031-24950-1_8
Modelling Flocks of Birds and Colonies of Ants from the Bottom Up
doi.org
Target URL
https://doi.org/10.1007/s10009-023-00731-0
Language Support for Verifying Reconfigurable Interacting Systems
doi.org
Target URL
https://doi.org/10.1007/s10009-023-00729-8
Automated replication of tuple spaces via static analysis
doi.org
Target URL
https://doi.org/10.1016/j.scico.2022.102863
Process Algebras and Flocks of Birds
doi.org
Target URL
https://doi.org/10.1007/978-3-031-15629-8_27
Modelling Flocks of Birds from the Bottom Up
doi.org
Target URL
https://doi.org/10.1007/978-3-031-19759-8_6
Verification of Distributed Systems via Sequential Emulation
doi.org
Target URL
https://doi.org/10.1145/3490387
Verifying temporal properties of stigmergic collective systems using CADP
doi.org
Target URL
https://doi.org/10.1007/978-3-030-89159-6_29
[pdf]
hal.inria.fr
Target URL
https://hal.inria.fr/hal-03385131/document
Modelling and Verification of Multi-Agent Systems via Sequential Emulation
iris.gssi.it
Target URL
https://iris.gssi.it/handle/20.500.12571/10181
[pdf]
iris.gssi.it
Target URL
https://iris.gssi.it/retrieve/handle/20.500.12571/10181/3143/2020_DiStefano.pdf
Combining SLiVER with CADP to Analyze Multi-agent Systems
doi.org
Target URL
https://doi.org/10.1007/978-3-030-50029-0_23
[pdf]
convecs.inria.fr
Target URL
http://convecs.inria.fr/doc/publications/DiStefano-Lang-Serwe-20.pdf
[slides]
convecs.inria.fr
Target URL
http://convecs.inria.fr/doc/presentations/DiStefano-COORDINATION-20.pdf
[video]
youtu.be
Target URL
https://youtu.be/4D5KdkM9zA4
Multi-agent systems with virtual stigmergy
doi.org
Target URL
https://doi.org/10.1016/j.scico.2019.102345
Toward Formal Models and Languages for Verifiable Multi-Robot Systems
doi.org
Target URL
https://doi.org/10.3389/frobt.2018.00094
Reactive Obstacle Avoidance for Multicopter UAVs via Evaluation of Depth Maps
doi.org
Target URL
https://doi.org/10.1007/978-3-319-63946-8_10
Software verification: from programs to complex systems
www.unipr.it
Target URL
https://www.unipr.it/node/106652
Evaluating in-memory caching strategies for distributed Web services
hdl.handle.net
Target URL
http://hdl.handle.net/20.500.12380/307480
[pdf]
odr.chalmers.se
Target URL
https://odr.chalmers.se/server/api/core/bitstreams/6a0bd79e-9fee-443b-b5a6-1d439a33dcd4/content
LTL Synthesis on Infinite-State Arenas defined by Programs
arxiv.org
Target URL
https://arxiv.org/abs/2307.09776
[pdf]
arxiv.org
Target URL
https://arxiv.org/pdf/2307.09776.pdf
Compositional Verification of Priority Systems using Sharp Bisimulation
hal.inria.fr
Target URL
https://hal.inria.fr/hal-03640683
[pdf]
hal.inria.fr
Target URL
https://hal.inria.fr/hal-03640683/document
IT-MATTERS project
itmatters.imtlucca.it
Target URL
http://itmatters.imtlucca.it/description/
Zampanò Theme
github.com
Target URL
https://github.com/lou1306/zampano
Avicenna
github.com
Target URL
https://github.com/hadisinaee/avicenna
Hugo
gohugo.io
Target URL
https://gohugo.io
Requested Domains 5
academic-homepage.pages.dev
Unknown Type
No category information available
cloudflareinsights.com
Unknown Type
No category information available
static.cloudflareinsights.com
Unknown Type
No category information available
www.gravatar.com
Unknown Type
No category information available
www.lucadistefano.eu
Unknown Type
No category information available