Session 3: Blockchain & E-Health

SCIENTIFIC & TECHNICAL TRACK

Tue June 21, 2022

h. 17:00 – 18:30
AULA G

Vulnerable Smart Contract Detection by means of Model Checking
Giuseppe Crincoli, Giacomo Iadarola, Piera Elena La Rocca, Fabio Martinelli, Francesco Mercaldo and Antonella Santone.

“Safe Prescription”: A decentralized blockchain protocol to manage medical prescriptions
Claudio Cilli, Giulio Magnanini, Marco Silipigni and Fabrizio Venettoni.

Effect of Auditory Stimuli on Electroencephalography-based authentication
Nibras Abo Alzahab, Angelo Di Iorio, Marco Baldi and Lorenzo Scalise.