Address:
University College London
Dept. of Computer Science
Gower Street
London WC1E 6BT
United Kingdom
Email: mary.maller.15 at ucl.ac.uk
Office: MPEB 6.22
Ext.: 30401
Curriculum Vitae

About Me: I am a PhD candidate in the area of cryptography, working under the supervision of Dr Sarah Meiklejohn and Dr Jens Groth. Microsoft Research is supporting my PhD and I am being co-supervised by Dr Markulf Kohlweiss. I spent summer 2017 interning at Microsoft Research with Dr Markulf Kohlweiss. I have been studying as part of the Information Security Group at UCL since November 2015. Before joining UCL I studied for an MSci degree in Mathematics at the University of Bristol. My dissertation was on representations and special functions and was supervised by Dr Yves Tourigny.


Research Interests: I am interested in the design of zero-knowledge proofs and their application to anonymous cryptocurrencies. My best work includes helping design a zk-SNARK that has public parameters which can be adapted to work for any arithmetic circuit circuit, and can be generated in a semi-trustless manner. I am currently looking into how to use zero-knowledge proofs to obtain various different properties in the Zerocoin protocol.


Teaching: I helped teach the Cryptanalysis course in 2017. My main role was to supervise students in thier attempt to find trapdoor-ed primes on the internet. I also gave an introductory lecture on the use of zero-knowledge proofs in cryptocurrencies. See here for slides.


Invited Talks:

  • Updatable and Universal Common Reference Strings with Applications to zk-SNARKs: Crypto, August 2018.
  • An empirical analysis of anonymity in Zcash: Zcon0, June 2018.
  • Snarky Signatures: Constructing Minimal Signatures of Knowledge from Simulation Extractable SNARKs: Crypto, August 2017.
  • Déjà Q All Over Again: Tighter and Broader Reductions of q-Type Assumptions: Asiacrypt, December 2016. This paper was also presented at École Normale Supérieure, March 2017 and Royal Holloway University, February 2017.
.



Publications

Updatable and Universal Common Reference Strings with Applications to zk-SNARKs. Jens Groth, Markulf Kohlweiss, Mary Maller, Sarah Meiklejohn, Ian Miers. CRYPTO 2018.
[eprint] [slides]

An empirical analysis of anonymity in Zcash. George Kappos, Haaroon Yousaf, Mary Maller, Sarah Meiklejohn. USENIX SECURITY 2018.
[arxiv] [slides]

Nearly Linear-Time Zero-Knowledge Proofs for Correct Program Execution. Jonathan Bootle, Andrea Cerulli, Jens Groth, Sune Jakobsen, Mary Maller.
[eprint]

Egalitarian Society or Benevolent Dictatorship: The State of Cryptocurrency Governance. Sarah Azouvi, Mary Maller, Sarah Meiklejohn. The Fifth Workshop on Bitcoin and Blockchain Research 2018.
[eprint]

Snarky Signatures: Constructing Minimal Signatures of Knowledge from Simulation Extractable SNARKs. Jens Groth, Mary Maller. CRYPTO 2017.
[eprint] [slides]

Déja Q All Over Again: Tighter and Broader Reductions of q-Type Assumptions. Melissa Chase, Mary Maller, Sarah Meiklejohn. ASIACRYPT 2016.
[eprint] [slides]