Relational Verification of Identity Disclosure Using Alloy. - Seungil Yang; Peter Rivière; Toshiaki Aoki (ABZ, 2026)