Security Analysis Results

www.danielprol.com

Comprehensive domain security and infrastructure analysis

Live Website Preview

website screenshot of https://danielprol.com/

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:July 28, 2025 09:32:05
Scan Complete

Refresh page after 10 minutes
for updated results

Page Information

Target URL
https://danielprol.com/
Page Title
Daniel Prol
www.danielprol.com faviconSite Favicon
Status
Active

Host Information

Domain
www.danielprol.com
Server
Vercel
Country
United States
IP Address
64.29.17.65
ASN Information
16509
AMAZON-02

Technologies

Vercel logo
Vercel
PaaS
HSTS logo
HSTS
Security

SSL Certificate

HTTPS Enabled
Secure
Certificate Issuer
N/A
Valid From
2025-07-27 09:32:10
Valid Until
2026-07-28 09:32:10
Subject Name
www.danielprol.com

Performance Statistics

13
Total Requests
5
Domains
5
IP Addresses
212.95 KB
Transfer Size
Content Size226.49 KB

HTTP Headers

Accept-Ranges
bytes
Access-Control-Allow-Origin
*
Age
1096
Cache-Control
public, max-age=0, must-revalidate
Content-Disposition
inline
Content-Encoding
br
Content-Length
3785
Content-Type
text/html; charset=utf-8
Date
Mon, 28 Jul 2025 09:32:11 GMT
Etag
"d3ca75804e62ded072370c0e7eaf9135"
Last-Modified
Mon, 28 Jul 2025 09:13:54 GMT
Server
Vercel
Strict-Transport-Security
max-age=63072000
X-Vercel-Cache
HIT
X-Vercel-Id
sfo1::vqt42-1753695131054-f7342e805a0d
15 headers detected

Technology Stack Analysis

Vercel

Vercel

PaaS

Vercel is a cloud platform for static frontends and serverless functions.

HSTS

HSTS

Security

HTTP Strict Transport Security (HSTS) informs browsers that the site should only be accessed using HTTPS.

External Links 49

Untitled Link

github.com

Analyze
Target URL
https://github.com/samestep

Untitled Link

www.linkedin.com

Analyze
Target URL
https://www.linkedin.com/in/sam-estep/

Untitled Link

orcid.org

Analyze
Target URL
https://orcid.org/0000-0002-7107-7043

Untitled Link

stackoverflow.com

Analyze
Target URL
https://stackoverflow.com/users/5044950/sam-estep

Untitled Link

twitter.com

Analyze
Target URL
https://twitter.com/sgestep

Untitled Link

youtube.com

Analyze
Target URL
https://youtube.com/@sam-estep

(he/him)

pronouns.org

Analyze
Target URL
https://pronouns.org/he-him

S3D

s3d.cmu.edu

Analyze
Target URL
https://s3d.cmu.edu/

Joshua Sunshine

www.cs.cmu.edu

Analyze
Target URL
https://www.cs.cmu.edu/~jssunshi/

join us on Discord

discord.gg

Analyze
Target URL
https://discord.gg/RZ37HrpheT

GradBench

github.com

Analyze
Target URL
https://github.com/gradbench/gradbench

Floretta

github.com

Analyze
Target URL
https://github.com/samestep/floretta

Wasm

webassembly.org

Analyze
Target URL
https://webassembly.org/

Enzyme

enzyme.mit.edu

Analyze
Target URL
https://enzyme.mit.edu/

Rose

github.com

Analyze
Target URL
https://github.com/rose-lang/rose

Penrose

penrose.cs.cmu.edu

Analyze
Target URL
https://penrose.cs.cmu.edu/

JAX

jax.readthedocs.io

Analyze
Target URL
https://jax.readthedocs.io/

bouldering

ironcityboulders.com

Analyze
Target URL
https://ironcityboulders.com/

improv

www.arcadecomedytheater.com

Analyze
Target URL
https://www.arcadecomedytheater.com/

comedy

www.theglitterboxtheater.com

Analyze
Target URL
https://www.theglitterboxtheater.com/

Letterboxd

letterboxd.com

Analyze
Target URL
https://letterboxd.com/

Minkowski sum2023 Look, some polygons! Drag them around to see their Minkowski sum. (Still a work in progress.)

samestep.github.io

Analyze
Target URL
https://samestep.github.io/minkowski/

Elliptic curves2017 See how the elliptic curve group law is associative: click three points to get each of their pairwise sums, then click the magnifying glass to see that all the three-way sums converge at the same point. Hit escape to reset or use the box in the top-left to select alternative parameters for the curve.

samestep.github.io

Analyze
Target URL
https://samestep.github.io/elliptic-curves/

Lambda calculus2016 Type Lispy lambda calculus expressions like((λ x x) 42) to see their reduced form. Backslash automatically becomesλ, and parentheses are automatched.

samestep.github.io

Analyze
Target URL
https://samestep.github.io/lambda-calculus/

Codifying Visual Representations

doi.org

Analyze
Target URL
https://doi.org/10.1007/978-3-031-71291-3_37

Wode Ni

www.cs.cmu.edu

Analyze
Target URL
https://www.cs.cmu.edu/~woden/

Hwei-Shin Harriman

hsharriman.github.io

Analyze
Target URL
https://hsharriman.github.io/

Jiří Minarčík

minarcik.com

Analyze
Target URL
https://minarcik.com/

DIAGRAMS 2024

diagrams-2024.diagrams-conference.org

Analyze
Target URL
https://diagrams-2024.diagrams-conference.org/

Rose: Composable Autodiff for the Interactive Web

doi.org

Analyze
Target URL
https://doi.org/10.4230/LIPIcs.ECOOP.2024.15

Raven Rothkopf

ravenrothkopf.com

Analyze
Target URL
https://ravenrothkopf.com/

ECOOP 2024

2024.ecoop.org

Analyze
Target URL
https://2024.ecoop.org/

Minkowski Penalties: Robust Differentiable Constraint Enforcement for Vector Graphics

doi.org

Analyze
Target URL
https://doi.org/10.1145/3641519.3657495

Keenan Crane

www.cs.cmu.edu

Analyze
Target URL
https://www.cs.cmu.edu/~kmcrane/

SIGGRAPH 2024

s2024.siggraph.org

Analyze
Target URL
https://s2024.siggraph.org/

Edgeworth: Efficient and Scalable Authoring of Visual Thinking Activities

doi.org

Analyze
Target URL
https://doi.org/10.1145/3657604.3662034

Ken Koedinger

pact.cs.cmu.edu

Analyze
Target URL
https://pact.cs.cmu.edu/koedinger.html

L@S 2024

learningatscale.hosting.acm.org

Analyze
Target URL
https://learningatscale.hosting.acm.org/las2024/

NaNofuzz: A Usable Tool for Automatic Test Generation

doi.org

Analyze
Target URL
https://doi.org/10.1145/3611643.3616327

Matthew C. Davis

cmumatt.github.io

Analyze
Target URL
https://cmumatt.github.io/

Sangheon Choi

www.linkedin.com

Analyze
Target URL
https://www.linkedin.com/in/sang-heon-choi/

Brad A. Myers

www.cs.cmu.edu

Analyze
Target URL
https://www.cs.cmu.edu/~bam/

ESEC/FSE 2023

conf.researchr.org

Analyze
Target URL
https://conf.researchr.org/home/fse-2023

Gradual Program Analysis for Null Pointers

doi.org

Analyze
Target URL
https://doi.org/10.4230/LIPIcs.ECOOP.2021.3

Jenna DiVincenzo

jennalwise.github.io

Analyze
Target URL
https://jennalwise.github.io/

Jonathan Aldrich

www.cs.cmu.edu

Analyze
Target URL
https://www.cs.cmu.edu/~aldrich/

Éric Tanter

pleiad.cl

Analyze
Target URL
https://pleiad.cl/people/etanter

Johannes Bader

johannes-bader.com

Analyze
Target URL
https://johannes-bader.com/

ECOOP 2021

2021.ecoop.org

Analyze
Target URL
https://2021.ecoop.org/

Requested Domains 5

cdnjs.cloudflare.com

Unknown Type
No category information available

danielprol.com

Unknown Type
No category information available

fonts.googleapis.com

Unknown Type
No category information available

fonts.gstatic.com

Unknown Type
No category information available

www.danielprol.com

Unknown Type
No category information available
LinkCheck

© 2025 LinkCheck. Secure domain analysis you can trust.