From bb9b37a358fe6e89b300daee825a696713b19d55 Mon Sep 17 00:00:00 2001
From: Luca Olivieri <58490171+olivieriluca@users.noreply.github.com>
Date: Fri, 12 Jul 2024 16:40:50 +0200
Subject: [PATCH] Update index.html

---
 index.html | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/index.html b/index.html
index 0e064bc..8557104 100644
--- a/index.html
+++ b/index.html
@@ -119,6 +119,10 @@ <h2>Publications</h2>
 			<ul>
 				<li><strong>2024</strong></li>
 				<ul>
+					<li><strong>Luca Olivieri</strong>, Fausto Spoto. 
+						<em>Software verification challenges in the blockchain ecosystem</em>. International Journal on Software Tools for Technology Transfer.
+						[<a href="https://doi.org/10.1007/s10009-024-00758-x">link</a>]
+					</li>
 					<li><strong>Luca Olivieri</strong>, Luca Negrini, Vincenzo Arceri, Badaruddin Chachar, Pietro Ferrara, and Agostino Cortesi. 
 						<em>Detection of Phantom Reads in Hyperledger Fabric</em>. Journal IEEE Access. 
 						[<a href="https://doi.org/10.1109/access.2024.3410019">link</a>]