Domain > alexanderlhicks.com

More information on this domain is in AlienVault OTX

DNS Resolutions

Date	IP Address
2018-04-19	104.24.109.49 (ClassC)
2025-01-14	104.21.29.220 (ClassC)

HTTP/1.1 200 OKDate: Sun, 27 Oct 2024 23:29:53 GMTContent-Type: text/html; charsetutf-8Transfer-Encoding: chunkedConnection: keep-aliveAccess-Control-Allow-Origin: *Cache-Control: public, max-age0, mu

!DOCTYPE html>html langen>head>    meta charsetutf-8>    meta nameviewport contentwidthdevice-width, initial-scale1>    meta nameauthor contentAlexander Hicks>    meta namekeywords contentAlexander Hicks, Researcher, Ethereum Foundation>    meta namedescription contentAlexander Hicks personal website - Researcher at the Ethereum Foundation>    title>Alexander Hicks/title>    link hrefhttps://fonts.googleapis.com/css2?familyMerriweather:ital,wght@0,300;0,400;0,700;1,300;1,400;1,700&displayswap relstylesheet>    link relstylesheet hrefmain.css>/head>body>    header>        nav>            a href#about>About/a>            a href#work>Work/a>            a href#contact>Contact/a>            a href#publications>Publications/a>            a href/blog>Blog/a>        /nav>    /header>    div classcontainer>            section idabout classsection>                    img srcalh-profile.jpeg altAlexander Hicks classprofile>            h1>Alexander Hicks/h1>            p>                I am a researcher and currently work for the a hrefhttps://ethereum.foundation>Ethereum Foundation/a> where I am leading an effort to expand the use of formal verification to secure codebases that are critical to Ethereum. I am also interested in the interaction between formal verification and AI, in this as well as other contexts.                This follows on from my past research on how to make more open, decentralized, and transparent systems in which user privacy is preserved, and the relation between these social goals and a systems underlying technical mechanisms.            /p>            p>                I obtained a PhD with a thesis on the design and usage of transparency enhancing technologies based on cryptographic logs under the supervision of a hrefhttps://murdoch.is/>Steven Murdoch/a> in the a hrefhttps://sec.cs.ucl.ac.uk>information security research group/a>.                Before this, I obtained a BSc in Theoretical Physics from Queen Mary University of London and a MASt in Mathematics from the University of Cambridge, w

View on OTX | View on ThreatMiner

Data with thanks to AlienVault OTX, VirusTotal, Malwr and others. [Sitemap]

Domain > alexanderlhicks.com

Is this malicious?

DNS Resolutions

Port 80

Port 443