All Stories

  1. Making Train-to-Train Wireless Communication Safe for Virtual Coupling

    Article • Formal Aspects of Computing, November 2026, ACM (Association for Computing Machinery)

    Professor Nicola Sacco, Prof. Francesco Flammini, Getachew Hagos Geleta