Reasearch Areas Grants Team Members Efficient Secure Computation Applied Cryptography Differential Privacy Blockchains and Smart Contracts EPSRC (EP/W032481/1) "AGENCY: Assuring Citizen Agency in a World with Complex Online Harms" £2,793,095 (80% FTE), co-I. EPSRC IAA, "Defence against adversarial examples" £13,354, PI. EPSRC (EP/M013561/2) "Practical Data-intensive Secure Computation: a Data Structural Approach" £377,537 (80% FTE), PI. EPSRC DTG studentship, "Accountable Cloud Computing" £62,600, PI. PhD Students Roberto Metere, graduated 2022 (now at University of York) Thesis topic "Machine-Checked Formalisation and Automatic Verification of Secure Computation Protocols" Aydin Abadi, graduated 2017 (now at UCL) Thesis topic "Delegated Private Set Intersection on Outsourced Private Datasets" Co-supervised PhD Students Shaimaa Bajoudah, graduated 2022 (with Paolo Missier) Thesis topic "Decentralized, Trust-less Marketplace for Brokered IoT Data Trading using Blockchain" Postdocs Changhui Hu (2018 - 2020) Yilei Wang (2016 - 2018)
