A presentation of the  <a href="http://www.cs.cornell.edu/Info/Projects/HORUS/hardening/" >Securing and Hardening Horus</a> project; and in particular, a Java applet that <a href= "http://www.cs.cornell.edu/Info/Projects/HORUS/hardening/demo1/HorusStack.html" >verifies the properties of Horus protocol stacks</a>. </li>
