Provable and practical security 16th international conference, ProvSec 2022, Nanjing, China, November 11-12, 2022 : proceedings - Ge, Chunpeng; Guo, Fuchun (Springer, 2022)