Publications

A Formal Treatment of Deterministic Wallets

AuthorDas, Poulami; Faust, Sebastian; Loss, Julian
Date2019
TypeConference Proceedings
ConferenceACM CCS 2019 - Symposium on Computer and Communications Security
Urlhttps://tubiblio.ulb.tu-darmstadt.de/id/eprint/116164