Muhammad Ali Siddiqi, Robert M. Seepers, Mohammad Hamad, Vassilis Prevelakis, Christos Strydis. Attack-tree-based Threat Modeling of Medical Implants. In Lejla Batina, Ulrich Kühne, Nele Mentens, editors, PROOFS 2018, 7th International Workshop on Security Proofs for Embedded Systems, colocated with CHES 2018, Amsterdam, The Netherlands, September 13, 2018. Volume 7 of Kalpa Publications in Computing, pages 32-49, EasyChair, 2018.
Abstract is missing.