On managing security in smart e-health applications[J] INTERNATIONAL JOURNAL OF COMPUTATIONAL SCIENCE AND ENGINEERING 2021(24) Marulli, Fiammetta Bellini, Emanuele Marrone, Stefano
An approach for the automatic verification of blockchain protocols: the Tweetchain case study[J] JOURNAL OF COMPUTER VIROLOGY AND HACKING TECHNIQUES Raimondo, Mariapia Bernardi, Simona Marrone, Stefano Merseguer, Jose
