Static Analysis for Regular Expression Exponential Runtime via Substr…

…uctural Logics
REMath · Sep 14, 2014 · c4bc293 · c4bc293
1 parent 7660fb2
commit c4bc293
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/mechanization_of_exploits.org b/mechanization_of_exploits.org
@@ -65,6 +65,8 @@ Program Transformations to Fix C Integers - http://www.munawarhafiz.com/research
 
   Fun with Constrained Programming by Tavis Ormandy - http://blog.cmpxchg8b.com/2012/09/fun-with-constrained-programming.html
 
+  Static Analysis for Regular Expression Exponential Runtime via Substructural Logics by Asiri Rathnayake and Hayo Thielecke - http://arxiv.org/pdf/1405.7058v1.pdf and http://www.cs.bham.ac.uk/~hxt/research/rxxr2/
+
   Static Analysis for Regular Expression Denial-of-Service Attacks - http://arxiv.org/pdf/1301.0849v1.pdf and http://www.cs.bham.ac.uk/~hxt/research/rxxr.shtml
 
   Fast and Precise WCET Prediction by Separated Cache and Path Analyses - http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.84.1150&rep=rep1&type=pdf