[llvm-commits] CVS: llvm-www/pubs/2009-01-Pattabiraman-Thesis.html 2009-01-Pattabiraman-Thesis.pdf pubs.js

Sun Nov 8 12:13:09 PST 2009

Changes in directory llvm-www/pubs:

2009-01-Pattabiraman-Thesis.html added (r1.1)
2009-01-Pattabiraman-Thesis.pdf added (r1.1)
pubs.js updated: 1.74 -> 1.75
---
Log message:

add a phd thesis.


---
Diffs of the changes:  (+44 -0)

 2009-01-Pattabiraman-Thesis.html |   37 +++++++++++++++++++++++++++++++++++++
 2009-01-Pattabiraman-Thesis.pdf  |    0 
 pubs.js                          |    7 +++++++
 3 files changed, 44 insertions(+)


Index: llvm-www/pubs/2009-01-Pattabiraman-Thesis.html
diff -c /dev/null llvm-www/pubs/2009-01-Pattabiraman-Thesis.html:1.1
*** /dev/null	Sun Nov  8 14:13:04 2009

--- llvm-www/pubs/2009-01-Pattabiraman-Thesis.html	Sun Nov  8 14:12:53 2009
***************
*** 0 ****
--- 1,37 ----
+ <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
+ <html>
+ <head>
+   <meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
+   <link rel="stylesheet" href="../llvm.css" type="text/css" media="screen" />
+   <title>Automated Derivation of Application-Aware Error and Attack Detectors</title>
+ </head>
+ <body>
+ 
+ <div class="pub_title">
+   Automated Derivation of Application-Aware Error and Attack Detectors
+ </div>
+ <div class="pub_author">
+   Karthik Pattabiraman, Ph.D. Thesis
+ </div>
+ 
+ 
+ <h2>Abstract:</h2>
+ <blockquote>
+ As computer systems become more and more complex, it becomes harder to ensure that they are dependable i.e. reliable and secure. Existing dependability techniques do not take into account the characteristics of the application and hence detect errors that may not manifest in the application. This results in wasteful detections and high overheads. In contrast to these techniques, this dissertation proposes a novel paradigm called "Application-Aware Dependability", which leverages application properties to provide low-overhead, targeted detection of errors and attacks that impact the application. The dissertation focuses on derivation, validation and implementation of application-aware error and attack detectors.<p>
+ The key insight in this dissertation is that certain data in the program is more important than other data from a reliability or security point of view (we call this the critical data). Protecting only the critical data provides significant performance improvements while achieving high detection coverage. The technique derives error and attack detectors to detect corruptions of critical data at runtime using a combination of static and dynamic approaches. The derived detectors are validated using both experimental approaches and formal verification. The experimental approaches validate the detectors using random fault-injection and known security attacks. The formal approach considers the effect of all possible errors and attacks according to a given fault or threat model and finds the corner cases that escape detection. The detectors have also been implemented in reconfigurable hardware in the context of the Reliability and Security Engine (RSE)
+ </blockquote>
+ 
+ <h2>Published:</h2>
+ <blockquote>
+   Automated Derivation of Application-Aware Error and Attack Detectors, Karthik Pattabiraman.<br>
+   <i>Ph.D Thesis</i>, Computer Science Dept., University of Illinois at
+   Urbana-Champaign, 2009.
+ </blockquote>
+ 
+ <h2>Download:</h2>
+ <ul>
+   <li><a href="2009-01-Pattabiraman-Thesis.pdf">Automated Derivation of Application-Aware Error and Attack Detectors</a> (PDF)</li>
+ </ul>
+ 
+ </body>
+ </html>


Index: llvm-www/pubs/2009-01-Pattabiraman-Thesis.pdf


Index: llvm-www/pubs/pubs.js
diff -u llvm-www/pubs/pubs.js:1.74 llvm-www/pubs/pubs.js:1.75
--- llvm-www/pubs/pubs.js:1.74	Sun Nov  8 13:57:16 2009
+++ llvm-www/pubs/pubs.js	Sun Nov  8 14:12:53 2009
@@ -289,6 +289,13 @@
     month: 1,
     year: 2009},
 
+   {url: "2009-01-Pattabiraman-Thesis.html",
+    title: "Automated Derivation of Application-Aware Error and Attack Detectors",
+    author: "Karthik Pattabiraman",
+    published: "Ph.D. Thesis, University of Illinois at Urbana-Champaign",
+    month: 1,
+    year: 2009},
+
   {url: '2008-12-OSDI-KLEE.html',
    title: 'KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs',
    author: 'Cristian Cadar, Daniel Dunbar, Dawson Engler',




