Provable and Practical Security: 18th International Conference, ProvSec 2024, Gold Coast, QLD, Australia, September 25–27, 2024, Proceedings, Part I - Joseph K. Liu; Chen, Liqun; Liu, Xiaoning; Sun, Shi-Feng (Springer Nature, 2025)