Tabellion: secure legal contracts on mobile devices. - Saeed Mirzamohammadi; Yuxin (Myles) Liu; Tianmei Ann Huang; Ardalan Amiri Sani; Sharad Agarwal; Sung Eun (Summer) Kim (MobiSys, 2020)