Add a reference to security papers.

This is a link to collected security papers by @jason_trost.
Fix typo
Merge pull request #150 from brandonbloom/patch-1

Fix typo
Merge pull request #149 from 3rdman/secpapers

Add a reference to security papers.
Add Research Papers from Robert Haper

Research papers around Type Theory, Proof Theory, and Category
Theory.

* Types and Language Design
* Types and Compilation
* Certifying Compilers
* Logical Frameworks
* Scientific Computing
* Computation and Information Grids
* Self-Adjusting Computation
* Security