AI-enhanced blockchain technology: A review of advancements and opportunities

D Ressi, R Romanello, C Piazza, S Rossi - Journal of Network and …, 2024 - Elsevier
Blockchain technology has rapidly gained popularity, permeating various fields due to its
inherent features of security, transparency, and decentralization. Blockchain-based …

An Energy-Efficient T-Based Routing Topology for Target Tracking in Battery Operated Mobile Wireless Sensor Networks

K Kalaivanan, G Idayachandran, P Vetrivelan… - Sensors, 2023 - mdpi.com
Real-time smart applications are now possible because to developments in communication
and sensor technology. Wireless sensor networks (WSNs) are used to collect data from …

[HTML][HTML] Compressing neural networks via formal methods

D Ressi, R Romanello, S Rossi, C Piazza - Neural Networks, 2024 - Elsevier
Abstract Advancements in Neural Networks have led to larger models, challenging
implementation on embedded devices with memory, battery, and computational constraints …

Broadcast, denial-of-service, and secure communication

R Vigo, F Nielson, HR Nielson - … , IFM 2013, Turku, Finland, June 10-14 …, 2013 - Springer
A main challenge in the design of wireless-based Cyber-Physical Systems consists in
balancing the need for security and the effect of broadcast communication with the limited …

On the optimality of opportunistic routing protocols for underwater sensor networks

M Jafri, A Marin, A Torsello, M Ghaderi - Proceedings of the 21st ACM …, 2018 - dl.acm.org
In the last decade, underwater wireless sensor networks (UWSNs) have attracted a lot of
attention from the research community thanks to their wide range of applications that include …

Neighborhood-based interference minimization for stable position-based routing in mobile ad hoc networks

A Zadin, T Fevens - Future Generation Computer Systems, 2016 - Elsevier
For efficient communication in a mobile ad hoc network (MANET), dealing with interference
while performing concurrent multi-hop routing is of great importance. By establishing an …

Crisis of Trust: Analyzing the Verifier's Dilemma in Ethereum's Proof-of-Stake Blockchain

D Smuseva, I Malakhov, A Marin… - 2023 IEEE International …, 2023 - ieeexplore.ieee.org
Blockchain technology has become deeply integrated into modern life, offering diverse
applications beyond its origins in cryptocurrency. Ethereum's transition to a Proof-of-Stake …

Behavioural equivalences and interference metrics for mobile ad-hoc networks

M Bugliesi, L Gallina, S Hamadou, A Marin… - Performance …, 2014 - Elsevier
Connectivity and communication interference are two key aspects in mobile ad-hoc
networks (MANETs). This paper proposes a process algebraic model targeted at the …

Optimal scheduling and fair service policy for STDMA in underwater networks with acoustic communications

MÁ Luque-Nieto, JM Moreno-Roldán, P Otero… - Sensors, 2018 - mdpi.com
In this work, a multi-hop string network with a single sink node is analyzed. A periodic
optimal scheduling for TDMA operation that considers the characteristic long propagation …

Modelling probabilistic wireless networks

A Cerone, M Hennessy - Logical Methods in Computer …, 2013 - lmcs.episciences.org
We propose a process calculus to model high level wireless systems, where the topology of
a network is described by a digraph. The calculus enjoys features which are proper of …