changeset 297:d3175810162e

Added comment about range analysis
author Sigurd Meldgaard <stm@daimi.au.dk>
date Tue, 13 Apr 2010 12:56:07 +0200
parents 243e7fcd0421
children 8b4194dc016d
files provsec/paper.tex
diffstat 1 files changed, 3 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- a/provsec/paper.tex	Tue Apr 13 12:42:06 2010 +0200
+++ b/provsec/paper.tex	Tue Apr 13 12:56:07 2010 +0200
@@ -387,9 +387,9 @@
   %\item Input/output values.
   %\item Unknown random values (for hiding secret values, such as the
   %  variable $b$ in the above example).
-\item Range analysis, at least keeping track of which secret values
-  contain Boolean values (such as the variable $bigger$ in the above
-  example).
+\item Range analysis, keeping track of the intervals which we can
+  guarantee variables to be in. This is especially convenient for
+  Boolean values (such as the variable $bigger$ in the above example).
 \end{itemize}
 
 The feedback from the verifier to the programmer is used to alert the