Formal Treatment of Watchtowers and FPPW: A Fair and Privacy-Preserving Bitcoin Watchtower. - Arash Mirzaei; Amin Sakzad; Jianhshan Yu; Ron Steinfeld (IEEE Trans. Dependable Secur. Comput., 2025)