As of this writing hosted at another University perhaps because of the last two "unexplained" network outages at UIC (in the spirit of full disclosure he has been promoting).

stuff ~ $ dig cr.yp.to
cr.yp.to.               600     IN      A       131.155.70.11
cr.yp.to.               600     IN      A       131.155.70.13

stuff ~ $ whois 131.155.70.13

[...filter out non-relevant stuff...]

inetnum:        131.155.0.0 - 131.155.255.255
netname:        TUENET1
descr:          P.O. Box 513
descr:          5600 MD Eindhoven
country:        NL
organisation:   ORG-TUE2-RIPE
org-name:       Technische Universiteit Eindhoven