Provable and Practical Security: 17th International Conference, ProvSec 2023, Wuhan, China, October 20–22, 2023, Proceedings - Mingwu Zhang (Springer Nature, 2023)