Quentin Peyras, Ghada Gharbi, Souheib Baarir. Towards Verifying Security Policies for Infinite-State Systems. In Jonathan Protzenko, Azalea Raad, editors, Verified Software. Theories, Tools and Experiments - 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024, Revised Selected Papers. Volume 15525 of Lecture Notes in Computer Science, pages 15-27, Springer, 2024. [doi]
Abstract is missing.