Provable and practical security 15th international conference, ProvSec 2021, Guangzhou, China, November 5–8, 2021 : proceedings - Huang, Qiong (Springer, 2021)