Domain > ocra.fbk.eu

More information on this domain is in AlienVault OTX

DNS Resolutions

Date	IP Address
2016-07-14	217.77.80.35 (ClassC)
2025-10-26	20.76.131.198 (ClassC)

HTTP/1.1 200 OKServer: nginx/1.24.0 (Ubuntu)Date: Wed, 27 Aug 2025 00:08:28 GMTContent-Type: text/htmlContent-Length: 3520Connection: keep-aliveLast-Modified: Tue, 30 May 2023 08:13:01 GMTETag: dc0-5f

!DOCTYPE html>html langen>!DOCTYPE html>html>head>  title>OCRA - Home page/title>  meta charsetutf-8 /> !-- IMPORTANTE!-->  meta nameviewport contentwidthdevice-width, initial-scale1.0>  link relstylesheet hrefhttps://cdnjs.cloudflare.com/ajax/libs/font-awesome/4.7.0/css/font-awesome.min.css>  link relstylesheet typetext/css hrefhttps://ocra.fbk.eu/theme//style.css />link relpreconnect hrefhttps://fonts.googleapis.com>link relpreconnect hrefhttps://fonts.gstatic.com crossorigin>link hrefhttps://fonts.googleapis.com/css2?familyNoto+Sans+Display:wdth,wght@87.5,300&displayswap relstylesheet>/head>body>div class  grid-container>      !-- BANNER -->    div classbanner >      a hrefhttps://ocra.fbk.eu/ >         img srchttps://ocra.fbk.eu/theme/logo-ocra.png altOCRA Test>       /a> !-- decisamente meglio del completo: https://ocra.fbk.eu/pub/images/logo-ocra.png-->    /div> !-- #banner  -->        !-- FKB LOGO -->    div class  fbk_logo>      a hrefhttp://www.fbk.eu> img srchttps://ocra.fbk.eu/theme/fbk.png altFBK />/a>    /div>      !-- SIDENAV -->    div classsidenav id mySidenav> !-- ITEM 1-->      a hrefjavascript:void(0); classicon onclickmyFunction()>        i classfa fa-bars>/i>        a hrefhttps://ocra.fbk.eu/ >Home/a> /li>          a  hrefhttps://ocra.fbk.eu/people-contact.html>People & Contact/a>          a  hrefhttps://ocra.fbk.eu/documentation.html>Documentation/a>          a  hrefhttps://ocra.fbk.eu/download.html>Download/a>          a  hrefhttps://ocra.fbk.eu/examples.html>Examples/a>          a  hrefhttps://ocra.fbk.eu/links.html>Links/a>        /a>    /div>    !-- CONTENT-->    section idcontent> !-- ITEM 2 -->h2>Welcome/h2>p>Welcome to the home page of OCRA, a command-line tool for the verification of logic-based contract refinement for embedded systems. br>It supports the specification and analysis of component-based specifications of system architectures. br> Components are enriched with contracts specified in discrete or hybrid linear-time temporal logics.br> OCRA is developed by the a hrefhttp://e

View on OTX | View on ThreatMiner

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

Domain > ocra.fbk.eu

Is this malicious?

DNS Resolutions

Port 80

Port 443