Reactive Key-Loss Protection in Blockchains

von Blackshear, Sam
Veröffentlicht in FC (Veranstaltung : 25. : 2021 : Online) Financial cryptography and data security (2021)

The Move Prover

von Zhong, Jingyi Emma
Veröffentlicht in CAV (32. : 2020 : Online) Computer aided verification ; Part 1 (2020)