gancher.dev valuation and analysis

Robots.txt Information
Robot Path Permission
GoogleBot /
BingBot /
BaiduSpider /
YandexBot /
Meta Tags
Title Joshua
Description Joshua Gancher Email: jgancher@andrew.cmu.edu I am a postdoc at Carnegie Mellon University, advised by Bryan Parno . I obtained my PhD from Cornell Univer
Keywords N/A
Server Information
WebSite gancher favicongancher.dev
Host IP 185.199.108.153
Location -
Related Websites
Site Rank
More to Explore
gancher.dev Valuation
US$510,237
Last updated: 2023-05-12 04:51:49

gancher.dev has Semrush global rank of 20,743,898. gancher.dev has an estimated worth of US$ 510,237, based on its estimated Ads revenue. gancher.dev receives approximately 58,874 unique visitors each day. Its web server is located in -, with IP address 185.199.108.153. According to SiteAdvisor, gancher.dev is safe to visit.

Traffic & Worth Estimates
Purchase/Sale Value US$510,237
Daily Ads Revenue US$471
Monthly Ads Revenue US$14,130
Yearly Ads Revenue US$169,556
Daily Unique Visitors 3,925
Note: All traffic and earnings values are estimates.
DNS Records
Host Type TTL Data
gancher.dev. A 3599 IP: 185.199.108.153
gancher.dev. A 3599 IP: 185.199.110.153
gancher.dev. A 3599 IP: 185.199.109.153
gancher.dev. A 3599 IP: 185.199.111.153
gancher.dev. NS 21600 NS Record: ns-cloud-d4.googledomains.com.
gancher.dev. NS 21600 NS Record: ns-cloud-d2.googledomains.com.
gancher.dev. NS 21600 NS Record: ns-cloud-d3.googledomains.com.
gancher.dev. NS 21600 NS Record: ns-cloud-d1.googledomains.com.
HtmlToTextCheckTime:2023-05-12 04:51:49
Joshua Gancher Email: jgancher@andrew.cmu.edu I am a postdoc at Carnegie Mellon University, advised by Bryan Parno . I obtained my PhD from Cornell University, co-advised by Elaine Shi and Greg Morrisett . My research is about using techniques from formal methods and program verification to certify cryptographic implementations and proofs. Preprints/Publications: Owl: Compositional Verification of Security Protocols via an Information-Flow Type System . To appear at IEEE S&P 2023. Joshua Gancher, Sydney Gibson, Pratap Singh, Samvid Dharanikota, and Bryan Parno. Project link here . A Core Calculus for Equational Proofs of Cryptographic Protocols. POPL 2023. Joshua Gancher, Kristina Sojakova, Xiong Fan, Elaine Shi, and Greg Morrisett. Project link here . Viaduct: An Extensible, Optimizing Compiler for Secure Distributed Programs. PLDI 2021. Coşku Acay, Rolph Recto, Joshua Gancher, Andrew Myers, and Elaine Shi. Project link here . Symbolic Proofs for Lattice-Based Cryptography . CCS
HTTP Headers
HTTP/1.1 301 Moved Permanently
Server: GitHub.com
Content-Type: text/html
Location: https://gancher.dev/
X-GitHub-Request-Id: 8030:501F:195046:242EF7:61A5E2B3
Content-Length: 162
Accept-Ranges: bytes
Date: Tue, 30 Nov 2021 08:37:07 GMT
Via: 1.1 varnish
Age: 0
Connection: keep-alive
X-Served-By: cache-lga21972-LGA
X-Cache: MISS
X-Cache-Hits: 0
X-Timer: S1638261427.359314,VS0,VE11
Vary: Accept-Encoding
X-Fastly-Request-ID: 9b093bae493629bb655b349c336aa885f25c4d9c

HTTP/2 200 
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Mon, 09 Aug 2021 14:52:57 GMT
access-control-allow-origin: *
etag: "61114149-a86"
expires: Tue, 30 Nov 2021 08:47:07 GMT
cache-control: max-age=600
x-proxy-cache: MISS
x-github-request-id: 627C:4F78:EEE46:1C30AF:61A5E2B3
accept-ranges: bytes
date: Tue, 30 Nov 2021 08:37:07 GMT
via: 1.1 varnish
age: 0
x-served-by: cache-ewr18161-EWR
x-cache: MISS
x-cache-hits: 0
x-timer: S1638261427.404417,VS0,VE14
vary: Accept-Encoding
x-fastly-request-id: e1ae1709bcdbc3cd230b36895b94abcd4fffe872
content-length: 2694
gancher.dev Whois Information
Domain Name: gancher.dev
Registry Domain ID: 335C8BDAE-DEV
Registrar WHOIS Server: whois.google.com
Registrar URL: domains.google
Updated Date: 2021-04-17T19:23:16Z
Creation Date: 2019-03-03T19:23:16Z
Registry Expiry Date: 2022-03-03T19:23:16Z
Registrar: Google LLC.
Registrar IANA ID: 895
Registrar Abuse Contact Email: registrar-abuse@google.com
Registrar Abuse Contact Phone: +1.8772376466
Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited
Registrant Organization: Contact Privacy Inc. Customer 1244063560
Registrant State/Province: ON
Registrant Country: CA
Name Server: ns-cloud-d1.googledomains.com
Name Server: ns-cloud-d2.googledomains.com
Name Server: ns-cloud-d3.googledomains.com
Name Server: ns-cloud-d4.googledomains.com
DNSSEC: unsigned
>>> Last update of WHOIS database: 2021-12-09T04:54:52Z <<<