Formal Security and Privacy-Preserving Techniques for Blockchain Protocols

  • Chiang, James Hsin-yu (PhD Student)
  • Lluch Lafuente, Alberto (Main Supervisor)
  • Bartoletti, Massimo (Supervisor)
  • Machado David, Bernardo (Supervisor)
  • Baldimtsi, Foteini (Examiner)
  • Wattenhofer, Roger (Examiner)

Project Details

Effective start/end date01/06/202031/08/2023


Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.