Aydin Abadi


I am a research fellow at University College London (UCL).


My main research interests include information security, privacy, and cryptography, with a focus on:


  • Bank Fraud

  • Verifiable Computation

  • Private Set Intersection (PSI)

  • Blockchain Technology and its Applications

  • Secure Multi-party Computation (MPC)

  • Smart Contracts' Design, Implementation, and Applications

  • Cloud computing's Security (including storage and computation)

  • Data Structures' use to improve cryptographic protocols' efficiency

I'm a member of the UCL information security research group (UCL InfoSec) and the National Research Centre on Privacy, Harm Reduction, and Adversarial Influence Online (REPHRAIN).

Prior to holding the research fellow position, I held a lectureship position at the University of Gloucestershire and before that, I was a research associate at the University of Edinburgh, where I was a member of the Blockchain Technology Laboratory Briefly, my work can be categorised into (a) Pure Research: designing provable cryptographic protocols, and (b) Research and Development: developing new (decentralised) cryptographic applications using different programming languages, e.g. C++, Solidity.

Education/Academic qualification:

  • Doctor of Philosophy (PhD), University of Strathclyde- Glasgow

  • Master of Computing (MSc), University of Leeds

  • Bachelor of Science (Honours), University of Lahijan

Other Profiles:

  • My ''Google Scholar'' can be found here.

  • My ''DBLP Profile'' can be found here.

  • My ''GitHub profile'' can be found here, which contains the codes of the open source software and decentralised apps (Dapps) I have developed.

Latest News:


  • Our new paper's eprint version has been released now.

"Recurring Contingent Payment for Proofs of Retrievability"

Aydin Abadi, Steven J. Murdoch, and Thomas Zacharias

* It is available here


  • My new book chapter entitled "Smarter Data Availability Checks in the Cloud: Proof of Storage via Blockchain" will appear in the "Handbook of Research on Digital Transformation, Industry Use Cases, and the Impact of Disruptive Technologies".

* The book is released on October 2021 and is available here.


"Polynomial Representation Is Tricky: Maliciously Secure Private Set Intersection Revisited"

Aydin Abadi, Steven J. Murdoch, and Thomas Zacharias

* A preprint version is available here


  • Our new paper has been accepted at FC 2021:

''Multi-instance Publicly Verifiable Time-lock Puzzle and its Applications''

Aydin Abadi and Aggelos Kiayias.

* A preprint version is available here

* A recorded talk is available here


  • Our new paper has been accepted at OZCHI 2020:

''Smart Donations: Event-Driven Conditional Donations Using Smart Contracts On The Blockchain''

Ludwig Trotter, Aydin Abadi, Mike Harding, Peter Shaw, Nigel Davies, Chris Elsden, Chris Speed, John Vines, Josh Hallwright

* A preprint version is available here


  • Our decentralised software has been released on Sep 2020:

''Privacy-preserving Identity Management System'' (PIMS)

* It can be found here.


  • Our new paper has been released on Apr 2020:

''Feather: Lightweight Multi-party Updatable Delegated Private Set Intersection''

Aydin Abadi and Sotirios Terzis and Changyu Dong

* A preprint version can be found here.


  • Our decentralised software has been released on Feb 2020:

ValuED: Decentralised Service Market (for academics and students)

* It can be accessed here.



PIMS Demo