Marino Miculan
  • about
  • news
  • publications
  • projects
  • repositories
  • teaching
  • services

Talk about "Behavioral Equivalences for AbU: Verifying Security and Safety in Distributed IoT Systems" at IMT, Lucca

May 24, 2023

2023

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!

© Copyright 2023 Marino Miculan.