Quantifying the Benefits of Verifiable Security Schemes in Communications Software Design. - Lakshya Swarup; Richa Tiwari; Dattatraya Babanrao Nalawade; N. Thangarasu; Rajat Saini; A Keerthika (ICCCNT, 2024)