[llvm-commits] CVS: llvm-www/safecode/menagerie/other.html

[John Criswell]

Changes in directory llvm-www/safecode/menagerie:

other.html updated: 1.3 -> 1.4
---
Log message:

Replaced tabs with spaces.
Added randomization papers.


---
Diffs of the changes:  (+86 -43)

 other.html |  129 ++++++++++++++++++++++++++++++++++++++++---------------------
 1 file changed, 86 insertions(+), 43 deletions(-)


Index: llvm-www/safecode/menagerie/other.html
diff -u llvm-www/safecode/menagerie/other.html:1.3 llvm-www/safecode/menagerie/other.html:1.4
--- llvm-www/safecode/menagerie/other.html:1.3	Thu Jun 17 09:15:41 2010
+++ llvm-www/safecode/menagerie/other.html	Thu Jun 17 09:46:21 2010
@@ -21,42 +21,42 @@
 <!-- wrap starts here -->
 <div id="wrap">
 
-		<!-- header -->
-		<div id="header">			
-					
-			<!-- <span id="slogan"> your site slogan here...</span> -->
-			
-			<!-- tabs -->
+    <!-- header -->
+    <div id="header">      
+          
+      <!-- <span id="slogan"> your site slogan here...</span> -->
+      
+      <!-- tabs -->
       <!--
-			<ul>
-				<li id="current"><a href="index.html"><span>Home</span></a></li>
-				<li><a href="index.html"><span>Archives</span></a></li>
-				<li><a href="index.html"><span>Downloads</span></a></li>
-				<li><a href="index.html"><span>Services</span></a></li>
-				<li><a href="index.html"><span>Support</span></a></li>
-				<li><a href="index.html"><span>About</span></a></li>			
-			</ul>
+      <ul>
+        <li id="current"><a href="index.html"><span>Home</span></a></li>
+        <li><a href="index.html"><span>Archives</span></a></li>
+        <li><a href="index.html"><span>Downloads</span></a></li>
+        <li><a href="index.html"><span>Services</span></a></li>
+        <li><a href="index.html"><span>Support</span></a></li>
+        <li><a href="index.html"><span>About</span></a></li>      
+      </ul>
       -->
-											
-		</div>
-		
-		<div id="header-logo">			
-			
-			<div id="logo">Memory Safety <span class="red">Menagerie</span></div>		
-			
+                      
+    </div>
+    
+    <div id="header-logo">      
+      
+      <div id="logo">Memory Safety <span class="red">Menagerie</span></div>    
+      
 <!-- 
-			<form method="post" class="search" action="#">
-				<p><input name="search_query" class="textbox" type="text" />
-  				<input name="search" class="searchbutton" value="Search" type="submit" /></p>
-			</form>
+      <form method="post" class="search" action="#">
+        <p><input name="search_query" class="textbox" type="text" />
+          <input name="search" class="searchbutton" value="Search" type="submit" /></p>
+      </form>
 -->
-						
-		</div>
-		
-       	<div id="main">
-			
-			<a name="intro"></a>
-			<h1>Introduction</h1>
+            
+    </div>
+    
+    <div id="main">
+      
+      <a name="intro"></a>
+      <h1>Introduction</h1>
 
       <p>
       While memory safety is at the heart of preventing attacks via undefined
@@ -72,17 +72,60 @@
       prevention.
       </p>
 
-			<a name="infoflow"></a>
-			<h1>Information Flow Papers</h1>
+      <a name="infoflow"></a>
+      <h1>Information Flow Papers</h1>
+
+      <a name="random"></a>
+      <h1>Randomization Papers</h1>
+
+      <ul>
+        <li><a href="http://research.microsoft.com/apps/pubs/default.aspx?id=70626">
+        <b>
+        Data Randomization
+        </b></a>
+        <br>
+        Cristian Cadar, Periklis Akritidis, Manuel Costa, Jean-Philippe Martin,
+and Miguel Castro
+        <br>
+        <i>MSR-TR-2008-120</i>,
+        September 2008.
+        <br>
+        </li>
+
+        <br>
+
+        <li><a href="http://seclab.cs.sunysb.edu/seclab/pubs/dsr.pdf">
+        <b>
+        Data Space Randomization
+        </b></a>
+        <br>
+        Sandeep Bhatkar and R. Sekar
+        <br>
+        <i>Detection of Intrusions and Malware, and Vulnerability Assessment
+(DIMVA 2008)</i>,
+        July 2008.
+        <br>
+        </li>
+
+        <br>
 
-				<ul>
-        </ul>
+        <li><a href="http://www.cs.umass.edu/%7Eemery/pubs/fp014-berger.pdf">
+        <b>
+        DieHard: Probabilistic Memory Safety for Unsafe Languages
+        </b></a>
+        <br>
+        Emery D. Berger and Benjamin G. Zorn 
+        <br>
+        <i>Proceedings of the 2006 ACM SIGPLAN conference on Programming
+Language Design and Implementation (PLDI 2006)</i>,
+        Ottawa, Canada, June 2006.
+        <br>
+        </li>
 
-			<a name="random"></a>
-			<h1>Randomization Papers</h1>
+      </ul>
 
-			<a name="adhoc"></a>
-			<h1>Miscellaneous Papers</h1>
+      <a name="adhoc"></a>
+      <h1>Miscellaneous Papers</h1>
 
       <ul>
         <li><a href="http://www.csc.ncsu.edu/faculty/jiang/pubs/OAKLAND10.pdf">
@@ -103,7 +146,7 @@
 
         <li><a href="http://portal.acm.org/citation.cfm?id=1755913.1755934">
         <b>
-        Defeating return-oriented rootkits with "Return-Less" kernels
+        Defeating Return-Oriented Rootkits with "Return-Less" Kernels
         </b></a>
         <br>
         Jinku Li, Zhi Wang, Xuxian Jiang, Michael Grace, and Sina Bahram.
@@ -113,13 +156,13 @@
         <br>
         </li>
       </ul>
-		</div>
+    </div>
 
     <!--#include virtual="sidebar.incl" -->
 
 <!-- wrap ends here -->
 </div>
-		
+
 <!-- footer starts here -->
 <!--#include virtual="footer.incl" -->