Write a Blog >>
FormaliSE 2021
Tue 18 - Fri 21 May 2021
co-located with ICSE 2021
ICSE 2021 (series) / FormaliSE 2021 (series) / Workshops /

Room information: WETSEB Room

VenueWorkshops
Room nameWETSEB Room
Room InformationNo extra information available

Information for Participants
Info for room WETSEB Room:

Go directly to this room on Clowdr

Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 31 May

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

10:00 - 10:30
Keynote speechWETSEB at WETSEB Room
10:30 - 11:50
Session 1: Blockchain analysis and analyticsWETSEB at WETSEB Room
10:30
20m
Talk
Evaluating Machine-Learning Techniques for Detecting Smart Ponzi Schemes
WETSEB
Giacomo Ibba University of Cagliari - Department of Mathematics and Computer Science, Antonio Pierro University of Cagliari - Department of Mathematics and Computer Science, Marco Di Francesco Flosslab
Media Attached
10:50
20m
Talk
Automatic Generation of Blockchain Agri-food Traceability Systems
WETSEB
Lodovica Marchesi University of Cagliari, Katiuscia Mannaro University of Cagliari, Raffaele Porcu University of Cagliari
Media Attached
11:10
20m
Talk
What is your Distributed (Hyper)Ledger?
WETSEB
Remo Pareschi University of Molise, Stefano Dalla Palma Tilburg University, Federico Zappone University of Molise
Media Attached
11:30
20m
Talk
Investigation of Coronavirus impact on Blockchain and cryptocurrencies markets
WETSEB
Stefano Vacca Alkemy Spa, Cecilia Lalatta Costerbosa Alkemy Spa, Alessandra Spada Alkemy Spa, Gianni Riotta Luiss Data Lab, Nicola Uras Dept. of Mathematics and Computer Science
Media Attached
15:00 - 16:20
Session 2: Blockchain design and securityWETSEB at WETSEB Room
15:00
20m
Talk
Design principles for constructing GDPR-compliant blockchain solutions
WETSEB
Maria Fernanda Molina Facultad de Ingeniería, Universidad de la República, Gustavo Betarte Facultad de Ingeniería, Universidad de la República, Carlos Luna Facultad de Ingeniería, Universidad de la República
Media Attached
15:20
20m
Talk
Opportunities and challenges of Blockchain-Oriented systems in the tourism industry.
WETSEB
Fabio Caddeo Università di Cagliari, Andrea Pinna University of Cagliari
Media Attached
15:40
20m
Talk
SmartScan: An approach to detect Denial of Service Vulnerability in Ethereum Smart Contracts
WETSEB
Noama Samreen Ryerson University, Manar H. Alalfi Ryerson University
Media Attached
16:00
20m
Talk
Blockchain-Engineers Wanted: an Empirical Analysis on Required Skills, Education and Experience
WETSEB
Mohamad Kassab The Pennsylvania State University, Giuseppe Destefanis Brunel University London, Joanna DeFranco Pennsylvania State University, Prince Pranav Pennsylvania State University
Media Attached
16:20 - 16:45
Wrap-up and closing sessionWETSEB at WETSEB Room

Mon 31 May

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

Room10:003011:003012:003013:003014:003015:003016:0030
WETSEB Room

WETSEB

Keynote speech

WETSEB

Session 1: Blockchain analysis and analytics

WETSEB

Session 2: Blockchain design and security

WETSEB

Wrap-up and closing session

Mon 31 May

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

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
WETSEB Room
WETSEB
Evaluating Machine-Learning Techniques for Detecting Smart Ponzi Schemes
10:30 - 10:50
WETSEB
Automatic Generation of Blockchain Agri-food Traceability Systems
10:50 - 11:10
WETSEB
What is your Distributed (Hyper)Ledger?
11:10 - 11:30
WETSEB
Investigation of Coronavirus impact on Blockchain and cryptocurrencies ...
11:30 - 11:50
WETSEB
Design principles for constructing GDPR-compliant blockchain solutions
15:00 - 15:20
WETSEB
Opportunities and challenges of Blockchain-Oriented systems in the tour ...
15:20 - 15:40
WETSEB
SmartScan: An approach to detect Denial of Service Vulnerability in Eth ...
15:40 - 16:00
WETSEB
Blockchain-Engineers Wanted: an Empirical Analysis on Required Skills, ...
16:00 - 16:20