School of Mathematics

In 1975 Goppa suggested a general method for constructing error correcting codes based on algebraic geometry. In a long line of research such codes were constructed, constituting as a precious example of a construction that beats the probabilistic...

Joint work with Ivan Smith. Let p be a positive integer. Take the quotient of a 2-disc by the equivalence relation which identifies two boundary points if the boundary arc connecting them subtends an angle which is an integer multiple of ($2 \pi / p...

I will continue last week's discussion of this model, this time giving sketches of proofs of some of the theorems. No technical background is necessary for this lecture, but for motivation and background it is good to consult the Tue Feb 11 talk...

The goal of computationally sound symbolic security is to create formal systems of cryptography which have a sound interpretation with respect to complexity-based notions of security. While there has been much progress in the development of such...