Mercurial > pysmcl
changeset 281:d755e7edd114
provsec: A little more about the eclipse plugin
author | Sigurd Meldgaard <stm@daimi.au.dk> |
---|---|
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,