PAGANI, ELENA
PAGANI, ELENA
Dipartimento di Informatica Giovanni Degli Antoni
Ensuring cybersecurity for industrial networks: A solution for ARP-based MITM attacks
2024 D. Bruschi, A. Di Pasquale, A. Lanzi, E. Pagani
Formal Verification of Storm Topologies - Supplementary Material
2024 E. Pagani, M. Maria Bersani, M. Erascu, F. Marconi, S. Ghilardi
A Transfer Learning and explainable solution to detect mpox from smartphones images
2024 M. Giovanni Campana, M. Colussi, F. Delmastro, S. Mascetti, E. Pagani
Transfer Learning for the Efficient Detection of COVID-19 from Smartphone Audio Data
2023 M.G. Campana, F. Delmastro, E. Pagani
Mpox Close Skin Images
2023 M.G. Campana, M. Colussi, F. Delmastro, S. Mascetti, E. Pagani
Mobile mpox detection system Supplementary Material
2023 M. Campana, M. Colussi, F. Delmastro, S. Mascetti, E. Pagani
L3-Net Deep Audio Embeddings to Improve COVID-19 Detection from Smartphone Data
2022 M. Campana, A. Rovati, F. Delmastro, E. Pagani
Toward a Detailed Evaluation of Wireless Industrial Data Distribution Approaches
2022 T.P. Raptis, A. Formica, E. Pagani, A. Passarella, M. Conti
A formal verification of ARPON - a tool for avoiding Man-in-the-Middle attacks in Ethernet networks
2021 D. Bruschi, A. Di Pasquale, S. Ghilardi, A. Lanzi, E. Pagani
Higher-Order Quantifier Elimination, Counter Simulations and Fault-Tolerant Systems
2020 S. Ghilardi, E. Pagani
5G Technology for Augmented and Virtual Reality in Education
2019 A. Baratè, G. Haus, L.A. Ludovico, E. Pagani, N. Scarabottolo
Scenari d’uso della tecnologia 5G per l’apprendimento dentro e fuori la scuola
2019 A. Baratè, G. Haus, L.A. Ludovico, E. Pagani, N. Scarabottolo
Scenari d'uso della tecnologia 5G per l'apprendimento dentro e fuori la scuola
2019 A. Baratè, G. Haus, L.A. Ludovico, E. Pagani, N. Scarabottolo
5G Technology and Its Application to E-Learning
2019 A. Baratè, G. Haus, L.A. Ludovico, E. Pagani, N. Scarabottolo
5G Technology and Its Applications to Music Education
2019 A. Baratè, G. Haus, L.A. Ludovico, E. Pagani, N. Scarabottolo
On the Performance of Data Distribution Methods for Wireless Industrial Networks
2019 T.P. Raptis, A. Formica, E. Pagani, A. Passarella
5G Technology for Music Education: A Feasibility Study
2019 A. Barate', G.M. Haus, L.A. Ludovico, E. Pagani, N. Scarabottolo
Cardinality constraints for arrays (decidability results and applications)
2017 F. Alberti, S. Ghilardi, E. Pagani
Counter simulations via higher order quantifier elimination : a preliminary report
2017 S. Ghilardi, E. Pagani
Formal Verification of ARP (Address Resolution Protocol) Through SMT-Based Model Checking : a case study
2017 D.M. Bruschi, A. Di Pasquale, S. Ghilardi, A. Lanzi, E. Pagani