Relational Verification of Identity Disclosure Using Alloy (FM 2026 - ABZ)

Mon 18 - Fri 22 May 2026 Tokyo, Japan

Who

Seungil Yang, Peter Riviere, Toshiaki Aoki

Track

FM 2026 ABZ

Time Zone

The program is currently displayed in (GMT+09:00) Osaka, Sapporo, Tokyo.

Use conference time zone: (GMT+09:00) Osaka, Sapporo, TokyoSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Tue 19 May 2026 14:45 - 15:10 at 2F Conf Room 4 - ABZ Session 2: Safety and Security Chair(s): Marc Frappier

Seungil Yang

Japan Advanced Institute of Science and Technology (JAIST)

Japan

Peter Riviere

Japan Advanced Institute of Science and Technology (JAIST)

Japan

Toshiaki Aoki

JAIST

Japan

Time Zone

The program is currently displayed in (GMT+09:00) Osaka, Sapporo, Tokyo.

Use conference time zone: (GMT+09:00) Osaka, Sapporo, TokyoSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

Tue 19 May
Displayed time zone: Osaka, Sapporo, Tokyo change

14:45 - 15:50	ABZ Session 2: Safety and SecurityABZ at 2F Conf Room 4 Chair(s): Marc Frappier Université de Sherbrooke, Canada

14:45 25m Talk		Relational Verification of Identity Disclosure Using Alloy ABZ Seungil Yang Japan Advanced Institute of Science and Technology (JAIST), Peter Riviere Japan Advanced Institute of Science and Technology (JAIST), Toshiaki Aoki JAIST
15:10 25m Talk		Security-Minded Modelling and Verification of Autonomous Satellite Docking ABZ Juel Hussain University of Manchester, Marie Farrell The University of Manchester, Louise Dennis University of Manchester, Clare Dixon University of Manchester
15:35 15m Talk		SHARCS: Refinement-Centric Hazard Analysis of Requirements for Critical Systems ABZ Asieh Salehi Fathabadi University of Southampton, Thai Son Hoang University of Southampton, Michael Butler University of Southampton