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)

1 Ph.D. thesis

1 results

2023
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
154 Downloads (Pure)