Formal Analysis of Cryptographic Protocols
Link to E2 write up on the “double lock” encryption algorithm.
Archive of entries posted by Graeme
Lecture notes- Galois Theory
Notes from MA40037 Galois Theory, as pdf.
A second survey of game theory
The E2 version of my project.
NP vs Co-NP
Notes from a talk on complexity theory and logic.
A survey of game theory
My undergraduate project.
Iterated prisoner’s dilemma in MATALB
MATLAB Code for running IPD tournaments.
Prospects in Mathematics (Durham 2005)
Summary of speakers and topics presented at a two-day pure mathematics conference for undergraduates.
On the Geometry of Triangle Centres- Report
Report on my undergraduate summer research project on plane geometry.