Madalina G. Ciobanu, Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Antonella Santone. Accidental Sensitive Data Leaks Prevention via Formal Verification. In Steven Furnell, Paolo Mori, Edgar R. Weippl, Olivier Camp, editors, Proceedings of the 6th International Conference on Information Systems Security and Privacy, ICISSP 2020, Valletta, Malta, February 25-27, 2020. pages 825-834, SCITEPRESS, 2020. [doi]
Abstract is missing.