### changeset 297:d3175810162e

author Sigurd Meldgaard Tue, 13 Apr 2010 12:56:07 +0200 243e7fcd0421 8b4194dc016d provsec/paper.tex 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