2021. Formal Verification of Multi-Party Privacy Protocols Using Probabilistic Automata and Symbolic Abstraction in High-Stakes Data Environments. ISCSITR- INTERNATIONAL JOURNAL OF DATA SCIENCE (ISCSITR-IJDS) - ISSN: 3067-7408. 2, 1 (Apr. 2021), 1–7.