A Summary and Personal Perspective on Recent Advances in Privacy Risk Assessment in Digital Pathology Through Formal Methods
摘要
This paper summarizes a recently published approach to assessing privacy risks in sharing whole-slide images. The particular focus is on aspects related to the novel application of formal methods to evaluate possible privacy breaches due to the unrestricted sharing of microscopic tissue images. This paper also briefly describes the process of creating such a model and the obstacles a theoretical computer scientist must overcome to apply formal methods in medicine successfully.