diff options
| author | Cristian Cadar <cristic@cs.stanford.edu> | 2010-12-10 11:48:59 +0000 |
|---|---|---|
| committer | Cristian Cadar <cristic@cs.stanford.edu> | 2010-12-10 11:48:59 +0000 |
| commit | 0143b7c813e64fd5d9a5a2520a8c1a23a3049b24 (patch) | |
| tree | 57d3ee541e932ab2d1c972c69932be8a93ab60b0 | |
| parent | c0b18618f469db92ff8b1649399c4b9c40d0e74b (diff) | |
| download | klee-0143b7c813e64fd5d9a5a2520a8c1a23a3049b24.tar.gz | |
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
| -rw-r--r-- | www/Publications.html | 17 |
1 files changed, 16 insertions, 1 deletions
diff --git a/www/Publications.html b/www/Publications.html index 9eea4149..07e16de7 100644 --- a/www/Publications.html +++ b/www/Publications.html @@ -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> |