Sky Security Seminar: Derek Leung, MIT: “Aardvark: An Asynchronous Authenticated Dictionary with Applications to Account-based Cryptocurrencies”