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)

Status	Finished
Effective start/end date	01/06/2020 → 31/08/2023

1 Ph.D. thesis

Formal Security and Privacy in Cryptoeconomic Systems
Chiang, J.H.-Y., 2023, Technical University of Denmark. 375 p.
Research output: Book/Report › Ph.D. thesis

Open Access
File
300 Downloads (Orbit)