# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1475839770 -3600
# Node ID 6764a249118a675c7fff90a76352bdd202de21c1
# Parent  7d4aa41b748ee64e368dd99f64238e47cff3dc7f
updated

diff -r 7d4aa41b748e -r 6764a249118a hws/hw04.pdf
Binary file hws/hw04.pdf has changed
diff -r 7d4aa41b748e -r 6764a249118a hws/hw04.tex
--- a/hws/hw04.tex	Wed Oct 05 08:50:44 2016 +0100
+++ b/hws/hw04.tex	Fri Oct 07 12:29:30 2016 +0100
@@ -96,6 +96,7 @@
 differences between the {\it read rule} of the Bell-LaPadula access
 policy and the Biba access policy. Do the same for the {\it write rule}.
 
+\item \POSTSCRIPT
 \end{enumerate}
 
 
diff -r 7d4aa41b748e -r 6764a249118a hws/hw05.pdf
Binary file hws/hw05.pdf has changed
diff -r 7d4aa41b748e -r 6764a249118a hws/hw05.tex
--- a/hws/hw05.tex	Wed Oct 05 08:50:44 2016 +0100
+++ b/hws/hw05.tex	Fri Oct 07 12:29:30 2016 +0100
@@ -80,7 +80,7 @@
 $C$? Does the car authenticate itself to the transponder?
 
 
-
+\item \POSTSCRIPT
 \end{enumerate}
 \end{document}
 
diff -r 7d4aa41b748e -r 6764a249118a hws/hw06.pdf
Binary file hws/hw06.pdf has changed
diff -r 7d4aa41b748e -r 6764a249118a hws/hw06.tex
--- a/hws/hw06.tex	Wed Oct 05 08:50:44 2016 +0100
+++ b/hws/hw06.tex	Fri Oct 07 12:29:30 2016 +0100
@@ -27,6 +27,8 @@
 
 \item Why is it a good choice in a ZKP to flip a coin when requesting a 
   proof from the person who knows the secret?
+
+\item \POSTSCRIPT
 \end{enumerate}
 
 \end{document}
diff -r 7d4aa41b748e -r 6764a249118a progs/README
--- a/progs/README	Wed Oct 05 08:50:44 2016 +0100
+++ b/progs/README	Fri Oct 07 12:29:30 2016 +0100
@@ -33,8 +33,8 @@
 
 needs to be called using
 
-  ./C1 `args1-good`
-  ./C1 `args1-bad`
+  ./C1 `./args1-good`
+  ./C1 `./args1-bad`
 
 or in gdb using