Formal Security and Privacy in Cryptoeconomic Systems

James Hsin-yu Chiang

Research output: Book/Report › Ph.D. thesis

155 Downloads (Pure)

1 results

Finished
Formal Security and Privacy-Preserving Techniques for Blockchain Protocols
Chiang, J. H.-Y. (PhD Student), Lluch Lafuente, A. (Main Supervisor), Bartoletti, M. (Supervisor), Machado David, B. (Supervisor), Baldimtsi, F. (Examiner) & Wattenhofer, R. (Examiner)
01/06/2020 → 31/08/2023
Project: PhD