A. Tolkachova and D. Zhuravchak, “Automate the verification of session cookie attributes”, ITS, vol. 12, no. 1, pp. 68–79, Jun. 2024.