[klee] r121480 - /klee/trunk/www/Publications.html

[Cristian Cadar]

Author: cristic
Date: Fri Dec 10 05:48:59 2010
New Revision: 121480

URL: http://llvm.org/viewvc/llvm-project?rev=121480&view=rev
Log:
Added a new KLEE-related paper, and fixed some typos.

Modified:
    klee/trunk/www/Publications.html

Modified: klee/trunk/www/Publications.html
URL: http://llvm.org/viewvc/llvm-project/klee/trunk/www/Publications.html?rev=121480&r1=121479&r2=121480&view=diff
==============================================================================
--- klee/trunk/www/Publications.html (original)
+++ klee/trunk/www/Publications.html Fri Dec 10 05:48:59 2010
@@ -39,6 +39,21 @@
     </li>
     
     <li>
+    <a href="http://www.isoc.org/isoc/conferences/ndss/10/pdf/01.pdf">
+    <em>
+      Server-side verification of client behavior in online games
+    </em>
+    </a> 
+    <br>
+    Darrell Bethea, Robert Cochran, Michael Reiter
+    <br>
+    Network and Distributed System Security Symposium (NDSS 2010)
+    <br>
+    February 28 - March 3, San Diego, CA, USA
+    <br><br>
+    </li>
+
+    <li>
     <a href="http://ds.informatik.rwth-aachen.de/publications/2010/pdfs/2010-04-ipsn-sasnauskas-KleeNet.pdf">
     <em>
     KleeNet: Discovering Insidious Interaction Bugs in Wireless Sensor Networks Before Deployment
@@ -46,7 +61,7 @@
     </a> 
     <br>
     Raimondas Sasnauskas, Olaf Landsiedel, Muhammad Hamad Alizai,
-    Carsten Weisez, Stefan Kowalewskiz, Klaus Wehrle
+    Carsten Weise,  Stefan Kowalewski,  Klaus Wehrle
     <br>
     ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN 2010)
     <br>