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)

Vronicle: A System for Producing Videos with Verifiable Provenance. - Yuxin (Myles) Liu; Yoshimichi Nakatsuka; Ardalan Amiri Sani; Sharad Agarwal; Gene Tsudik (CoRR, 2021)

Vronicle: verifiable provenance for videos from mobile devices. - Yuxin (Myles) Liu; Yoshimichi Nakatsuka; Ardalan Amiri Sani; Sharad Agarwal; Gene Tsudik (MobiSys, 2022)

ProvCam: A Camera Module with Self-Contained TCB for Producing Verifiable Videos. - Yuxin (Myles) Liu; Zhihao Yao 001; Mingyi Chen; Ardalan Amiri Sani; Sharad Agarwal; Gene Tsudik (MobiCom, 2024)