summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
Mark Wooding [Wed, 1 Nov 2006 15:16:20 +0000 (15:16 +0000)]
Change acknowledgements.
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.
Mark Wooding [Wed, 1 Mar 2006 14:07:44 +0000 (14:07 +0000)]
Put the fixme in the right place.
Mark Wooding [Wed, 1 Mar 2006 14:07:20 +0000 (14:07 +0000)]
Makefile: Need to LaTeX four times in total. :-(
Mark Wooding [Wed, 1 Mar 2006 13:10:38 +0000 (13:10 +0000)]
Check stuff in.