Instrumenting Transaction Trace Properties in Smart Contracts: Extending EVM for Real-Time Security (SANER 2025 - Workshops) - SANER 2025

Tue 4 - Fri 7 March 2025 Montréal, Québec, Canada

Who

Zhiyang Chen, Jan Gorzny, Martin Derka

Track

SANER 2025 Workshops

Time Zone

The program is currently displayed in (GMT-05:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-05:00) Eastern Time (US & Canada)Select 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 4 Mar 2025 09:40 - 10:05 at M-2107 - IWBOSE: Session 1

Zhiyang Chen

Zircuit & University of Toronto

Canada

Jan Gorzny

Zircuit

Martin Derka

Time Zone

The program is currently displayed in (GMT-05:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-05:00) Eastern Time (US & Canada)Select 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 4 Mar
Displayed time zone: Eastern Time (US & Canada) change

	09:00 - 10:30	IWBOSE: Session 1Workshops at M-2107

	09:00 15m Talk		IWBOSE: Opening Remarks Workshops Henrique Rocha Loyola University Maryland, USA, Roberto Tonelli University of Cagliari
	09:15 25m Talk		Metamorphic Testing for Smart Contract Validation: A Case Study of Ethereum-Based Crowdfunding Contracts. Workshops Irving Jared Villanueva , Madhusudan Srinivasan East Carolina University, Faqeer ur Rehman
	09:40 25m Talk		Instrumenting Transaction Trace Properties in Smart Contracts: Extending EVM for Real-Time Security Workshops Zhiyang Chen Zircuit & University of Toronto, Jan Gorzny Zircuit, Martin Derka
	10:05 25m Talk		Tokenizing Urban Sustainability: Leveraging Open Data and Blockchain for Smarter Cities Workshops Antonio Pierro , Andy Amoordon Université Paris 1 Panthéon-Sorbonne

:

:

:

: