Fix a latex markup issue
Add section about predictable IV attacks

Closes #133.
Tweak predictable IV section
Update TeX source