My notes on the Dolev-Yao model.
An expository presentation on Arithmetic Coding with rescaling over continuous intervals and floating point tags for arbitrary length sequences.
A post on Kraft's inequality and length optimisation for data compression covering prefix-free codes and expected codeword length.
An introductory post on information and coding theory covering source encoding, data compression, and fundamental concepts in information theory.