~mdw / doc / modes / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b98a7b3) | patch
Various improvements. A small selection:
authorMark Wooding <mdw@ncipher.com>
Sat, 19 Aug 2006 07:37:32 +0000 (08:37 +0100)
committerMark Wooding <mdw@ncipher.com>
Sat, 19 Aug 2006 07:37:32 +0000 (08:37 +0100)
commit16ad8466d3b3ad677cfc9371201a9eee81f79148
tree31e253eea119e7ca5489fc5ed161649ed1a4758ctree | snapshot (tar.gz zip)
parentb98a7b3e9d73d581675b036b53acbebb330eec82commit | diff
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.
modes.tex diff | blob | blame | history
New proofs for old modes