Domain > fmcad10.iaik.tugraz.at

More information on this domain is in AlienVault OTX

DNS Resolutions

Date	IP Address
2023-08-28	129.27.142.24 (ClassC)
2024-09-21	129.27.142.90 (ClassC)
2025-01-09	129.27.142.7 (ClassC)

HTTP/1.1 200 OKDate: Mon, 28 Aug 2023 22:39:41 GMTServer: ApacheLast-Modified: Mon, 16 Apr 2012 12:53:50 GMTETag: 1428-4bdcb504bd380Accept-Ranges: bytesContent-Length: 5160Vary: Accept-EncodingContent

!DOCTYPE html PUBLIC -//W3C//DTD HTML 4.01//EN>html>head>title>FMCAD 2010/title>link relstylesheet hreffmcad-style.css typetext/css>/head>body>div classnavbar>ul classnavbar>  li>a hrefindex.html>Home/a> /li>  li>a hrefvenue.html classhere>Venue/a>/li>  li>a hrefhotels.html classhere>Hotels/a>/li>  li>a hrefgetting.html classhere>Getting to Lugano/a>/li>  li>a hrefvisa.html classhere>Visa Info/a>/li>  li>a hrefsubmission.html>Submission/a>/li>li>a hrefhttps://www.regonline.com/FMCAD10>Registration/a>/li>li>a hrefPapers/index.html>Program/a>/li>li>a hrefevents.html>Social Events/a>/li>  li>a hrefcfp.html>Call For Papers/a>/li>  li>a hrefinvited.html>Invited Speakers/a>/li>  li>a hrefexhibition.html>Exhibition/a>/li>  li>a hreforg.html>Organization/a>/li>  li>a hrefcontact.html>Contact Info/a>/li>  li>a hrefhttp://www.fmcad.org/>FMCAD.org/a>/li>  li>a hrefsponsors.html>Sponsors/a>/li>/ul>/div>div classtitlebar>b>FMCAD 2010/b>br>Formal Methods in Computer Aided Designbr>Lugano, Switzerland, October 20 - 23  br>Sponsored by IEEE br>In Cooperation with ACM SIGPLAN and ACM SIGSOFT/div>div classmain> h4>a hrefhttps://www.regonline.com/FMCAD10>Registration/a> is now open./h4>!--b>a hrefaccepted.html>List of accepted papers/a>/b>-->!--h4>a hrefFMCAD10_program.pdf>Program of the conference/a> is available./h4>-->h4>a hrefresources.html>Recorded sessions and other resources/a>/h4>h4>a hrefprogram.pdf>Program (PDF)/a>h4>a hrefPapers/FMCAD10.pdf>Proceedings/a>p>FMCAD 2010 will be colocated with the a hrefhttp://richmodels.epfl.ch/lugano>2010 Alpine Verification Meeting/a>.h3>Best Paper/h3>i>The FMCAD10 best paper award goes to the paper  Applying SMT inSymbolic Execution of Microcode by Anders Franzen, Alessandro Cimatti, Alexander Nadel,Roberto Sebastiani, and Jonathan Shalev. Thepaper is a pleasure to read, and provides impressive results. Thepaper shows that SMT-based techniques can beat SAT-techniques in anindustrial setting, even for problems where SAT has previously beenthe dominating technique. These results, although

Port 443

HTTP/1.1 200 OKDate: Mon, 28 Aug 2023 22:39:42 GMTServer: ApacheLast-Modified: Sun, 04 Jun 2023 21:11:46 GMTETag: 78d9-5fd543bd06995Accept-Ranges: bytesContent-Length: 30937Vary: Accept-EncodingConten

!DOCTYPE html>html>head>title>Austrian Computer Science Day 2023/title>meta charsetUTF-8>meta nameviewport contentwidthdevice-width, initial-scale1>link relstylesheet hrefhttps://www.w3schools.com/w3css/4/w3.css>link relstylesheet hrefhttps://fonts.googleapis.com/css2?familySource+Sans+Pro:wght@200;300;400;500;600;700&displayswap>link relstylesheet hrefhttps://cdnjs.cloudflare.com/ajax/libs/font-awesome/4.7.0/css/font-awesome.min.css>style>body,h1,h2,h3,h4,h5,h6 {font-family: Source Sans Pro, sans-serif}body, html {  font-size: 18px;  font-weight: 300;  height: 100%;  color: #000;  line-height: 1.6;}b {  font-weight: 600;}.tugbg {  color: #fff!important;  background-color: #E4154B!important;}.tugbluebg {  color: #fff!important;  background-color: #2C5876!important;}.tugdarkbg {  color: #fff!important;  background-color: #1d4960!important;}.tugbluealtbg {  color: #fff!important;  background-color: #2C5876!important;}.iaikgraybg {  color: #000!important;  background-color: #f8f8f8!important;}.person {  color: #2C5876!important;  font-weight: 500;}.partners img {  height: 50px;  width: auto;}div.ul-parent {  text-align: center;}ul {  display: inline-block;  text-align: left;}.list-inline {  padding-left:0;  list-style:none;  margin-left:-5px}.list-inline > li {  display:inline-block;  padding-left:5px;  padding-right:5px}.partners {  padding-top:0;  align:center}.partners h5 {  margin-top:30px}.partners .list-inline li {  /*width:25%;max-width:180px;*/  margin:13px 7px}.partners img {  /*width:100%;*/  -webkit-transition:all 0.3s;  transition:all 0.3s;  -webkit-filter:grayscale(1);  filter:grayscale(1)}.partners img:hover {  -webkit-filter:grayscale(0);  filter:grayscale(0)}.partners .list-inline li {  /*width:25%; max-width:400px*/}/* speakers */.button-url {  border: none;  background-color: inherit;  padding: 0px 32px 0px 0px;  cursor: pointer;  display: inline-block;}/* Create a Parallax Effect */.bgimg-1 {  background-attachment: fixed;  background-position: center;  background-repeat: no-repeat;  background-si

View on OTX | View on ThreatMiner

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

Domain > fmcad10.iaik.tugraz.at

Is this malicious?

DNS Resolutions

Port 80

Port 443