doc/modes
17 years agoChange acknowledgements. master
Mark Wooding [Wed, 1 Nov 2006 15:16:20 +0000 (15:16 +0000)]
Change acknowledgements.

17 years agoVarious improvements. A small selection:
Mark Wooding [Sat, 19 Aug 2006 07:37:32 +0000 (08:37 +0100)]
Various improvements.  A small selection:

  * Fix errors in abstract noticed by Vicky.
  * Fix `ackonowledgements', noticed by Nicko.
  * Improve notation in prop:rog-and-lor
  * Remove redundant IV-prediction algorithm from mode definition.
  * Fix statement of prop:enc-info-to-real.
  * Expand and fix proof of prop:enc-hybrid.
  * Fix IV notation in CBC proof (v_0 -> V_0).
  * Expand note on IV-stealing.
  * Expand and explain material on sliding strings.

18 years agoPut the fixme in the right place.
Mark Wooding [Wed, 1 Mar 2006 14:07:44 +0000 (14:07 +0000)]
Put the fixme in the right place.

18 years agoMakefile: Need to LaTeX four times in total. :-(
Mark Wooding [Wed, 1 Mar 2006 14:07:20 +0000 (14:07 +0000)]
Makefile: Need to LaTeX four times in total. :-(

18 years agoCheck stuff in.
Mark Wooding [Wed, 1 Mar 2006 13:10:38 +0000 (13:10 +0000)]
Check stuff in.