Unlinkability and history preserving bisimilarity. - Aubert, Clément; Horne, Ross; Johansen, Christian; Mauw, Sjouke (Computers & Security, 2026)