Domain > scottmcpeak.com

More information on this domain is in AlienVault OTX

DNS Resolutions

Date	IP Address
2018-06-22	69.65.27.156 (ClassC)
2025-07-10	45.42.212.202 (ClassC)

Port 443

HTTP/1.1 200 OKDate: Tue, 04 Feb 2025 19:29:55 GMTServer: ApacheLast-Modified: Mon, 15 Jan 2007 02:24:09 GMTAccept-Ranges: bytesContent-Length: 6607Content-Type: text/html

!DOCTYPE HTML PUBLIC -//W3C//DTD HTML 4.01 Transitional//EN>HTML>HEAD>  TITLE>Scott McPeak/TITLE>  meta http-equivContent-Type contenttext/html; charsetUS-ASCII>  style typetext/css>    H1 { font-size: 150% }    H2 { font-size: 125% }    H3 { font-size: 100% }    P.title { font-size: 175% }  /style>/HEAD>body>p>table width100%>  tr>    td>      table>        tr>          td>            a hrefsmcpeak-kyoto-small.jpg>            img srcsmcpeak-kyoto-tiny.jpg altPhoto aligntop>/a>          /td>          td valignbottom>            Scott McPeakbr>            565 Soda Hallbr>            510-642-9542br>            smcpeak {at} cs {dot} berkeley {dot} edubr>            a hrefpgpkey.txt>PGP key/a>br>            a hrefresume.html>Resume/a>              (or in a hrefresume.pdf>PDF/a>)br>            a hrefresearch-statement.html>Research Statement/a>              (or in a hrefresearch-statement.pdf>PDF/a>)br>          /td>        /tr>      /table>    /td>    td alignright>      a hrefhttp://www.berkeley.edu>img srccampanile.jpg altCampanile>/a>    /td>  /tr>/table>p>I am a graduate student in Computer Science at UC Berkeley.My advisor is a hrefhttp://www.cs.berkeley.edu/~necula>George Necula/a>.My research focus is on program verification with formal methods, inparticular verifying pointer-intensive programs written in unsafelanguages like C.  I also dabble in parsing and run-time safetychecking, and am interested in software engineering and security.h1>Verifier/h1>p>I am working on building a program verifier for C programs.  An initial release is here:a hrefverifier-2005.07.05.tar.gz>verifier-2005.07.05.tar.gz/a>.To build and test it, say:pre>  ./configure && make && cd verifier && ./regrtest/pre>This release has not had much portability testing yet.  Some testsrequire the Simplify theorem prover, which can be obtained aspart of the a hrefhttp://www.research.compaq.com/SRC/esc/>ESC/Java/a>distribution.p>My work is closely related to that of Greg Nelson; since his thesiswas nontrivial to find, Ive scanned and posted it (wi

Subdomains

Date	Domain	IP
mail.scottmcpeak.com	2025-05-26	45.42.212.202

View on OTX | View on ThreatMiner

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

Domain > scottmcpeak.com

Is this malicious?

DNS Resolutions

Port 443

Subdomains