Domain > andreas-lochbihler.de

More information on this domain is in AlienVault OTX

DNS Resolutions

Date	IP Address
2025-10-10	5.175.14.111 (ClassC)

HTTP/1.1 200 OKDate: Sun, 12 May 2024 23:23:01 GMTContent-Type: text/htmlContent-Length: 96461Connection: keep-aliveServer: ApacheLast-Modified: Sat, 02 Jul 2022 08:49:52 GMTETag: 178cd-5e2ce9613ae46A

!doctype html>html langen>head>  meta charsetutf-8/>  meta nameviewport contentwidthdevice-width, initial-scale1.0/>  title>Dr. Andreas Lochbihler/title>  link relstylesheet href./style.css>/head>body>header>  a idtop>/a>a idnavlink titlenavigation menu href#navigation>☰/a>  h1>Dr. Andreas Lochbihler/h1>  a hrefmailto:mail@andreas-lochbihler.de>mail@andreas-lochbihler.de/a>/header>main>  section>    h2>a idabout>About me/a>/h2>    p>I am now a principal engineer at a hrefhttp://www.digitalasset.com/>Digital Asset/a> working on the a hrefhttps://www.canton.io>Canton protocol/a>.     This is my private homepage and its content does not necessarily represent Digital Assets views or positions./p>    p>From 2013 to 2018, I was a senior researcher in the a hrefhttp://www.infsec.ethz.ch/>Information Security Group/a> at a hrefhttps://www.ethz.ch/>ETH Zürich/a>.     My research revolved around the theory and tools to formalise protocols and their proofs such that definitions and proofs can be check mechanically.     My framework a hrefhttps://www.isa-afp.org/entries/CryptHOL.shtml>CryptHOL/a> brings to cryptography the expressiveness and rigour of higher-order logic and coalgebraic methods as implemented in the proof assistant a hrefhttp://isabelle.in.tum.de/>Isabelle/HOL/a>.     /p>    p>Before joining ETH, I was a member of a hrefhttp://pp.ipd.kit.edu/>Programming Paradigms group/a> at the a hrefhttp://www.kit.edu/>Karlsruhe Institute of Technology/a> and of the Sofware Systems group at the a hrefhttp://www.fim.uni-passau.de/>University of Passau/a>.     I received my PhD from the KIT in 2012.     In my thesis, I built a formal model of Java concurrency which formalises source code, bytecode, a virtual machine, the compiler and the Java memory model in Isabelle/HOL.    /p>  /section>  section>    h2>a idpublications>Publications/a>     a idnavlink titletop href#top>↥/a>    /h2>    Listing on a hrefhttps://dblp.uni-trier.de/pers/hd/l/Lochbihler:Andreas>DBLP/a> and a hrefhttps://scholar.google.com/cita

View on OTX | View on ThreatMiner

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

Domain > andreas-lochbihler.de

Is this malicious?

DNS Resolutions

Port 80