nginx
tcp/80
Open service 2a03:6000:1813:1337::157:80 · abhishekcs.com
2026-01-25 01:11
HTTP/1.1 302 Moved Temporarily Server: nginx Date: Sun, 25 Jan 2026 01:11:48 GMT Content-Type: text/html Content-Length: 138 Connection: close Location: https://abhishekcs.com/ Page title: 302 Found <html> <head><title>302 Found</title></head> <body> <center><h1>302 Found</h1></center> <hr><center>nginx</center> </body> </html>
Open service 2a03:6000:1813:1337::157:443 · abhishekcs.com
2026-01-25 01:11
HTTP/1.1 200 OK
Access-Control-Allow-Origin: *
Access-Control-Request-Methods: GET, HEAD, OPTIONS
Content-Length: 1164
Content-Security-Policy: default-src 'self' data: blob:; script-src 'self' 'unsafe-eval' 'unsafe-inline'; style-src 'self' 'unsafe-inline'; worker-src 'self' 'unsafe-eval' 'unsafe-inline' data: blob:; frame-src https:; img-src data: https:; media-src https:; object-src 'none'; sandbox allow-downloads allow-forms allow-modals allow-pointer-lock allow-popups allow-presentation allow-same-origin allow-scripts;
Content-Type: text/html; charset=utf-8
Last-Modified: Sun, 25 Jan 2026 01:10:53 GMT
Vary: Accept-Encoding
Date: Sun, 25 Jan 2026 01:11:48 GMT
Connection: close
Page title: Abhishek Sharma
<!doctype html>
<html lang="en">
<head>
<meta charset="utf-8">
<meta http-equiv="X-UA-Compatible" content="IE=edge">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<link rel="stylesheet" href=https://abhishekcs.com/main.css >
<title>Abhishek Sharma</title>
<meta name="description" content="A website for my research activities and blog">
<meta name="author" content="Abhishek Sharma">
</head>
<body>
<header>
<h1>
<a href=https://abhishekcs.com>Abhishek Sharma</a>
</div>
</header>
<main>
<h1 id="about-me">About Me</h1>
<p>I am a Master's Student in Computer Science at UC San Diego. My research interests are primarily in
the usage of programming language and formal verification techniques to help build secure and
trustworthy systems. I am currently a part of the ProgSys lab advised by Deian Stefan, where I have
been working on web-browser just-in-time (JIT) compiler verification. <strong>I will be starting my Ph.D.
in Computer Science at UT Austin in Fall 2023.</strong></p>
</main>
</body>
</html>
Open service 46.23.81.157:80 · abhishekcs.com
2026-01-25 01:11
HTTP/1.1 302 Moved Temporarily Server: nginx Date: Sun, 25 Jan 2026 01:11:48 GMT Content-Type: text/html Content-Length: 138 Connection: close Location: https://abhishekcs.com/ Page title: 302 Found <html> <head><title>302 Found</title></head> <body> <center><h1>302 Found</h1></center> <hr><center>nginx</center> </body> </html>
Open service 46.23.81.157:443 · abhishekcs.com
2026-01-25 01:11
HTTP/1.1 200 OK
Access-Control-Allow-Origin: *
Access-Control-Request-Methods: GET, HEAD, OPTIONS
Content-Length: 1164
Content-Security-Policy: default-src 'self' data: blob:; script-src 'self' 'unsafe-eval' 'unsafe-inline'; style-src 'self' 'unsafe-inline'; worker-src 'self' 'unsafe-eval' 'unsafe-inline' data: blob:; frame-src https:; img-src data: https:; media-src https:; object-src 'none'; sandbox allow-downloads allow-forms allow-modals allow-pointer-lock allow-popups allow-presentation allow-same-origin allow-scripts;
Content-Type: text/html; charset=utf-8
Last-Modified: Sun, 25 Jan 2026 01:10:53 GMT
Vary: Accept-Encoding
Date: Sun, 25 Jan 2026 01:11:48 GMT
Connection: close
Page title: Abhishek Sharma
<!doctype html>
<html lang="en">
<head>
<meta charset="utf-8">
<meta http-equiv="X-UA-Compatible" content="IE=edge">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<link rel="stylesheet" href=https://abhishekcs.com/main.css >
<title>Abhishek Sharma</title>
<meta name="description" content="A website for my research activities and blog">
<meta name="author" content="Abhishek Sharma">
</head>
<body>
<header>
<h1>
<a href=https://abhishekcs.com>Abhishek Sharma</a>
</div>
</header>
<main>
<h1 id="about-me">About Me</h1>
<p>I am a Master's Student in Computer Science at UC San Diego. My research interests are primarily in
the usage of programming language and formal verification techniques to help build secure and
trustworthy systems. I am currently a part of the ProgSys lab advised by Deian Stefan, where I have
been working on web-browser just-in-time (JIT) compiler verification. <strong>I will be starting my Ph.D.
in Computer Science at UT Austin in Fall 2023.</strong></p>
</main>
</body>
</html>