Notary: a device for secure transaction approval. - Athalye, Anish; Belay, Adam; Kaashoek, M. Frans; Morris, Robert; Zeldovich, Nickolai (2019)