changeset 312:d312076342ed

mention design
author Sigurd Meldgaard <stm@daimi.au.dk>
date Fri, 16 Apr 2010 09:41:18 +0200
parents 68683c9fe4f1
children 578001fa9dd6
files provsec/paper.tex
diffstat 1 files changed, 8 insertions(+), 7 deletions(-) [+]
line wrap: on
line diff
--- a/provsec/paper.tex	Fri Apr 16 09:39:12 2010 +0200
+++ b/provsec/paper.tex	Fri Apr 16 09:41:18 2010 +0200
@@ -37,13 +37,14 @@
 \end{abstract}
 % keywords: multiparty secure embedded language
 \section{Introduction}
-This document describes the implementation of PySMCL, a domain
-specific language for secure multiparty computation, embedded in
-Python. The implementation includes a static verifier working with an
-Eclipse plugin and a preprocessor for the language, allowing automatic
-verification of various security properties for programs. This work
-builds on the existing prototype language SMCL\cite{damnielsen09}, and
-works on top of the VIFF framework\cite{geisler10}.
+This document describes the design and implementation of PySMCL, a
+domain specific language for secure multiparty computation, embedded
+in Python. The implementation includes a static verifier working with
+an Eclipse plugin and a preprocessor for the language, allowing
+automatic verification of various security properties for
+programs. This work builds on the existing prototype language
+SMCL\cite{damnielsen09}, and works on top of the VIFF
+framework\cite{geisler10}.
 
 First we informally describe the concept of multi-party computation,
 and go through the different components of PySMCL, and give an example