[www-pubs] r209535 - Added the Strato paper from Lehigh.

[John Criswell]

Author: criswell
Date: Fri May 23 13:35:13 2014
New Revision: 209535

URL: http://llvm.org/viewvc/llvm-project?rev=209535&view=rev
Log:
Added the Strato paper from Lehigh.
Added Usenix Security 2013 papers which I know use LLVM.

Modified:
    www-pubs/trunk/pubs.js

Modified: www-pubs/trunk/pubs.js
URL: http://llvm.org/viewvc/llvm-project/www-pubs/trunk/pubs.js?rev=209535&r1=209534&r2=209535&view=diff
==============================================================================
--- www-pubs/trunk/pubs.js (original)
+++ www-pubs/trunk/pubs.js Fri May 23 13:35:13 2014
@@ -42,6 +42,30 @@ var PUBS =
     year: 2013,
   },
 
+  { url: "http://www.cse.lehigh.edu/~gtan/paper/strato.pdf",
+    author: "Bin Zeng, Gang Tan, and Ulfar Erlingsson",
+    title: "Strato: A Retargetable Framework for Low-level Inlined-reference Monitors",
+    published: "Proceedings of the Twenty Second Usenix Security Symposium",
+    month: 8,
+    year: 2013,
+  },
+
+  { url: "http://0b4af6cdc2f0c5998459-c0245c5c937c5dedcca3f1764ecc9b2f.r43.cf2.rackcdn.com/12295-sec13-paper_haller.pdf",
+    author: "Istvan Haller, Asia Slowinska, Matthias Neugschwandtner, Herbert Bos",
+    title: "Dowsing for Overflows: A Guided Fuzzer to Find Buffer Boundary Violations",
+    published: "Proceedings of the Twenty Second Usenix Security Symposium",
+    month: 8,
+    year: 2013,
+  },
+
+  { url: "http://0b4af6cdc2f0c5998459-c0245c5c937c5dedcca3f1764ecc9b2f.r43.cf2.rackcdn.com/12341-sec13-paper_davidson.pdf",
+    author: "Drew Davidson, Benjamin Moench, Somesh Jha, and Thomas Ristenpart",
+    title: "FIE on Firmware: Finding Vulnerabilities in Embedded Systems Using Symbolic Execution",
+    published: "Proceedings of the Twenty Second Usenix Security Symposium",
+    month: 8,
+    year: 2013,
+  },
+
   { url: "http://www.cs.rutgers.edu/~santosh.nagarakatte/pldi2013.pdf",
     author: "Jianzhou Zhao, Santosh Nagarakatte, Milo M K Martin, and Steve Zdancewic",
     title: "Formal Verification of SSA Optimizations for LLVM",