Eduard Baranov, Juliana Bowles, Thomas Given-Wilson, Axel Legay, Thais Webber. A Secure User-Centred Healthcare System: Design and Verification. In Juliana Bowles, Giovanna Broccia, Roberto Pellungrini, editors, From Data to Models and Back - 10th International Symposium, DataMod 2021, Virtual Event, December 6-7, 2021, Revised Selected Papers. Volume 13268 of Lecture Notes in Computer Science, pages 44-60, Springer, 2021. [doi]
Abstract is missing.