Steven Galbraith, Isogeny graphs, computational problems, and applications to cryptography