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

[John Criswell]

Dear All,

If someone could take a second and review this patch, I'd appreciate it.

-- John  T.

On 5/23/14, 1:35 PM, John Criswell wrote:
> 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",
>
>
> _______________________________________________
> llvm-commits mailing list
> llvm-commits at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits