Binary file hws/hw04.pdf has changed

--- 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}
 
 

Binary file hws/hw05.pdf has changed

--- 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}
 

Binary file hws/hw06.pdf has changed

--- 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}

--- 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