Kalyan Inturi. Verifiable and Programmable Cross-Border Payments. IJCESEN 2025, 11.