Credit Without Debit: Formal Verification of Banking Payment Systems
Ali Hamza Malik, Muhammad Taqi Raza
2026Year
Ask about this paper
Ask your agent about it.
Lune has read the top-tier papers around this one, so every answer names the papers it rests on.
Your agent calls
Lunesearch_papers
Free to start. No credit card required.
Terminal
Install the CLIlune papers get a0d32752-5ec9-49b6-bf88-4bf31bf0a7e7Related papers
- Verifying Secure Speculation in Isabelle/HOLMatt Griffin, Brijesh DongolFM 2021 · 6 citations
- Formal Verification of Intelligent Hybrid Systems that are Modeled with Simulink and the Reinforcement Learning ToolboxJulius Adelt, Timm Liebrenz, Paula HerberFM 2021 · 17 citations
- Formal Verification of Circuit-Soundness in zkWasm, a General Purpose zkVMVilhelm Sjöberg, Roger Bai, Hao Chen, Xifeng Jin et al.CCS 2026
- Ghost in the Android Shell: Pragmatic Test-oracle Specification of a Production HypervisorKayvan Memarian, Ben Simner, David Kaloper-Mersinjak, Thibaut Pérami et al.SOSP 2025
- When Authorization Loses Its Meaning: Breaking and Fixing Third-Party Online PaymentsYongkang Xiao, Jing Chen, Min Shi, Kun He et al.USENIX Security 2026
