Our paper Behavioral Equivalences for AbU: Verifying Security and Safety in Distributed IoT Systems has been published on Theoretical Computer Science. Happy Easter! 🐣🐰