Provable and practical security 14th international conference, ProvSec 2020, Singapore, November 29 – December 1, 2020 : proceedings - Nguyen, Khoa; Wu, Wenling; Lam, Kwok Yan; Wang, Huaxiong (Springer, 2020)