Provable and Practical Security 18th International Conference, ProvSec 2024, Gold Coast, QLD, Australia, September 25–27, 2024, Proceedings, Part I Liu Joseph K. Heftet / 2025 / Engelsk
Provable and Practical Security 18th International Conference, ProvSec 2024, Gold Coast, QLD, Australia, September 25–27, 2024, Proceedings, Part II Liu Joseph K. Heftet / 2025 / Engelsk
