David Aspinall

Learn More
Interactive theorem provers require input from users to guide the proof process. Some theorems can be complicated, making it difficult to decide which direction to take at a specific point within a proof. PG Tips is a recommender system that has been incorporated into the theorem prover Isabelle's graphical user interface, Proof General, in order to assist(More)
Outline Stream ciphers Block ciphers DES and Rijndael Summary Stream ciphers and block ciphers Symmetric-key encryption schemes are often characterised as stream ciphers or block ciphers, but the distinction can be fuzzy. ◮ A stream cipher is an encryption scheme which treats the plaintext symbol-by-symbol (e.g., by bit or byte); ◮ security in a stream(More)
  • 1