On time-sensitive control closure for secure information flow (FSEN 2025 - Research Papers) - FSEN 2025

Mon 7 - Tue 8 April 2025 Västerås, Sweden

Who

Abu Naser Masud, Björn Lisper

Track

FSEN 2025 Research Papers

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect 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

When

Tue 8 Apr 2025 16:30 - 17:00 - Conference Session 4 Chair(s): Fatemeh Ghassemi

Abu Naser Masud

Malardalen University

Björn Lisper

Malardalen University

Sweden

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect 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

Session Program

Tue 8 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

	16:00 - 17:30	Conference Session 4Research Papers Chair(s): Fatemeh Ghassemi University of Tehran

	16:00 30m Research paper		A Note on Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic Research Papers Tim Lyon Technische Universität Dresden
	16:30 30m Research paper		On time-sensitive control closure for secure information flow Research Papers Abu Naser Masud Malardalen University, Björn Lisper Malardalen University
	17:00 30m Research paper		Distributing Quantum Circuits Using Formal Methods Research Papers Ali Ebnenasir Michigan Technological University, Kieran Young Michigan Technological University, Ronald Stempien Michigan Technological University