Ph.D. student @ TU Wien (Security & Privacy Research Unit). Formal methods for blockchain security πβοΈ