Time-Sensitive Control Closure: A Key Component for Secure Information Flow (NWPT 2023 - 34th Nordic Workshop on Programming Theory ) - NWPT 2023 - 34th Nordic Workshop on Programming Theory

Wed 22 - Thu 23 November 2023 Västerås

Who

Abu Naser Masud, Bjorn Lisper

Track

NWPT 2023 - 34th Nordic Workshop on Programming Theory

Time Zone

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

Use conference time zone: (GMT+01: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

Thu 23 Nov 2023 16:20 - 16:40 at My (MDU Campus) - Security and Safety Chair(s): Wojciech Mostowski

Link to Preprint

https://mdu.drive.sunet.se/index.php/s/kmm7SwkjJcsBoXb

Abu Naser Masud

Malardalen University

Sweden

Bjorn Lisper

Malardalen University

Sweden

Time Zone

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

Use conference time zone: (GMT+01: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

Thu 23 Nov
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

	16:00 - 17:20	Security and SafetyNWPT 2023 at My (MDU Campus) Chair(s): Wojciech Mostowski Halmstad University

	16:00 20m Talk		Exposing Flaws by Modeling Vulnerable-by-Design Smart Contracts NWPT 2023 Mojtaba Eshghie KTH Royal Institute of Technology, Cyrille Artho KTH Royal Institute of Technology, Sweden, Wolfgang Ahrendt Chalmers University of Technology, Thomas T. Hildebrandt University of Copenhagen, Gerardo Schneider University of Gothenburg Pre-print
	16:20 20m Talk		Time-Sensitive Control Closure: A Key Component for Secure Information Flow NWPT 2023 Abu Naser Masud Malardalen University, Bjorn Lisper Malardalen University Pre-print
	16:40 20m Talk		Buzzy: An eBPF Fuzzer NWPT 2023 Mikkel Tolstrup Jensen Aalborg University, Tobias Bruun Sandberg Hansen Aalborg University, Danny Bøgsted Poulsen Aalborg University, René Rydhof Hansen Aalborg University, Denmark Pre-print
	17:00 20m Talk		Enhancing CRYSTAL: Preventive Recovery in Brief NWPT 2023 Fereidoun Moradi Mälardalen University, Zahra Moezkarimi Mälardalen University, Marjan Sirjani Malardalen University Pre-print