From 0143b7c813e64fd5d9a5a2520a8c1a23a3049b24 Mon Sep 17 00:00:00 2001
From: Cristian Cadar <cristic@cs.stanford.edu>
Date: Fri, 10 Dec 2010 11:48:59 +0000
Subject: Added a new KLEE-related paper, and fixed some typos.

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@121480 91177308-0d34-0410-b5e6-96231b3b80d8
---
 www/Publications.html | 17 ++++++++++++++++-
 1 file changed, 16 insertions(+), 1 deletion(-)

diff --git a/www/Publications.html b/www/Publications.html
index 9eea4149..07e16de7 100644
--- a/www/Publications.html
+++ b/www/Publications.html
@@ -38,6 +38,21 @@
     <br><br>
     </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>
@@ -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>
-- 
cgit 1.4.1