Enhancing CRYSTAL: Preventive Recovery in Brief (NWPT 2023 - 34th Nordic Workshop on Programming Theory ) - NWPT 2023 - 34th Nordic Workshop on Programming Theory

Who

Fereidoun Moradi, Zahra Moezkarimi, Marjan Sirjani

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

Save

When

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

Link to Preprint

https://mdu.drive.sunet.se/index.php/s/26fEJEX5gH5nsLN

Fereidoun Moradi

Mälardalen University

Sweden

Zahra Moezkarimi

Mälardalen University

Sweden

Marjan Sirjani

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

Display full programSpecify a time band

Save

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, Björn 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