Today I have given a talk about Behavioral Equivalences for AbU: Verifying Security and Safety in Distributed IoT Systems, at the IMT Scuola Alti Studi, Lucca. The slides are available here. Nice to see again so many friends!