Formally Verified Verifiable Group Generators (FSEN 2025 - Research Papers) - FSEN 2025

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

Who

Mukesh Tiwari, Mina Cyrus

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 11:00 - 11:30 - Conference session 2 Chair(s): Cristina Seceleanu

Mukesh Tiwari

Swansea University, Swansea, UK

United Kingdom

Mina Cyrus

Swansea University, Swansea, UK

United Kingdom

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

	11:00 - 12:30	Conference session 2 Research Papers Chair(s): Cristina Seceleanu Mälardalen University

	11:00 30m Paper		Formally Verified Verifiable Group Generators Research Papers Mukesh Tiwari Swansea University, Swansea, UK, Mina Cyrus Swansea University, Swansea, UK
	11:30 30m Research paper		Improved Gas Optimization of Smart Contracts Research Papers Togzhan Barakbayeva HKUST, Soroush Farokhnia Hong Kong University of Science and Technology, Amir Kafshdar Goharshady Hong Kong University of Science and Technology, Pingjiang Li HKUST, Zhaorun LIN
	12:00 30m Research paper		Finding Universally Quantified Heap Invariants by Horn Clause Transformations Research Papers Zafer Esen Uppsala University, Philipp Rümmer University of Regensburg and Uppsala University, Tjark Weber Uppsala University