changeset 281:d755e7edd114

provsec: A little more about the eclipse plugin
author Sigurd Meldgaard <>
date Mon, 15 Mar 2010 11:04:35 +0100
parents 38bbe1986ebf
children 3e3f0a417637
files provsec/paper.tex
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/provsec/paper.tex	Mon Mar 15 10:25:41 2010 +0100
+++ b/provsec/paper.tex	Mon Mar 15 11:04:35 2010 +0100
@@ -76,14 +76,14 @@
 \section{Usage scenario}
 %TODO: rewrite for eclipse interaction.
-The programmer will first write his program in PySMCL 
+The programmer will first write his program in PySMCL using the Eclipse plugin,
 specifying a desired computation as described above.
 PySMCL is designed to offer high level constructs
 specialized for the MPC domain. Special sections of a PySMCL program will allow
 high-level MPC primitives to be expressed directly, without considering low-level
 VIFF or MPC  protocol details. 
-One then runs the PySMCL preprocessor, which  will perform static
+Eclipse constantly runs the PySMCL preprocessor, which performs static
 analysis of these special sections, tracking the flow of secret values, and
 generating warnings for programmers if information is unintentionally revealed.
 If the analysis finds potential security problems,