Update README.md

Author: olivieriluca

README.md

@@ -16,7 +16,7 @@ The main class is [GoLiSA](go-lisa/src/main/java/it/unive/golisa/GoLiSA.java) an
 	- `non-determinism-ni`  performs an analysis to detect explicit and implicit flows that lead to issues related to __non-determinism__ in blockchain software
 	- `phantom-read` performs an analysis to detect __phantom__ __reads__ in blockchain software for Hyperledger Fabric 
 	- `ucci`  performs an analysis to detect __untrusted__ __cross-contract__ __invocations__ in blockchain software for Hyperledger Fabric 
-	- `cchi` performs an analysis to detect issues related to cross-channel invocations in blockchain software for Hyperledger Fabric
+	- `cchi` performs an analysis to detect issues related to __cross-channel invocations__ in blockchain software for Hyperledger Fabric
 	- `read-write` performs an analysis to detect __read-after-write__ and __over-write__ issues in blockchain software for Hyperledger Fabric 
 	- `unhandled-errors` performs an analysis to detect __unhandled__ __errors__ in blockchain software for Hyperledger Fabric 
 	- `phantom-read` performs an analysis to detect __phantom__ __reads__ in blockchain software for Hyperledger Fabric 
@@ -28,9 +28,13 @@ The main class is [GoLiSA](go-lisa/src/main/java/it/unive/golisa/GoLiSA.java) an
 `-i C:\Users\MyAccount\mycontract.go -o C:\Users\MyAccount\output -f hyperledger-fabric -a unhandled-errors`
 
 ## Publications
+- Luca Olivieri, Luca Negrini, Vincenzo Arceri, Pietro Ferrara, Agostino Cortesi: <i>Detection of Read-Write Issues in Hyperledger Fabric Smart Contracts</i>, in Proceedings of The 40th ACM/SIGAPP Symposium On Applied Computing (SAC), 2025
+- Luca Olivieri, Luca Negrini, Vincenzo Arceri, Pietro Ferrara, Agostino Cortesi, Fausto Spoto: <i>Static Detection of Untrusted Cross-Contract Invocations in Go Smart Contracts</i> in Proceedings of The 40th ACM/SIGAPP Symposium On Applied Computing (SAC), 2025
+- Luca Olivieri, Luca Negrini,  Vincenzo Arceri, Badar Chachar, Pietro Ferrara, Agostino Cortesi: <i>Detection of Phantom Reads in Hyperledger Fabric</i>, in IEEE Access, vol. 12, pp. 80687-80697, 2024 ([link]([10.1109/ACCESS.2024.3410019](http://doi.org/10.1109/ACCESS.2024.3410019))
 - Luca Olivieri, Luca Negrini, Vincenzo Arceri, Fabio Tagliaferro, Pietro Ferrara, Agostino Cortesi, Fausto Spoto: <i>Information Flow Analysis for Detecting Non-Determinism in Blockchain</i>. ECOOP 2023: 23:1-23:25 ([link](https://drops.dagstuhl.de/opus/volltexte/2023/18216/))
 - Luca Olivieri, Fabio Tagliaferro, Vincenzo Arceri, Marco Ruaro, Luca Negrini, Agostino Cortesi, Pietro Ferrara, Fausto Spoto, Enrico Talin:
 <i>Ensuring determinism in blockchain software with GoLiSA: an industrial experience report</i>. SOAP@PLDI 2022: 23-29 ([link](https://dl.acm.org/doi/10.1145/3520313.3534658))
 
+
 ## How to build the project ##
 GoLiSA comes as a Gradle 8.0 project. For development with Eclipse, please install the [Gradle IDE Pack](https://marketplace.eclipse.org/content/gradle-ide-pack) plugin from the Eclipse marketplace, and make sure to import the project into the workspace as a Gradle project.