Credit Without Debit: Formal Verification of Banking Payment Systems
Ali Hamza Malik, Muhammad Taqi Raza
2026年份
问问这篇 Paper
问问你的智能体。
Lune 读过与它相关的顶会 Paper，每个回答都会注明依据哪几篇。
相关 Paper
- Verifying Secure Speculation in Isabelle/HOLMatt Griffin, Brijesh DongolFM 2021 · 被引用 6 次
- Formal Verification of Intelligent Hybrid Systems that are Modeled with Simulink and the Reinforcement Learning ToolboxJulius Adelt, Timm Liebrenz, Paula HerberFM 2021 · 被引用 17 次
- Formal Verification of Circuit-Soundness in zkWasm, a General Purpose zkVMVilhelm Sjöberg, Roger Bai, Hao Chen, Xifeng Jin 等CCS 2026
- Ghost in the Android Shell: Pragmatic Test-oracle Specification of a Production HypervisorKayvan Memarian, Ben Simner, David Kaloper-Mersinjak, Thibaut Pérami 等SOSP 2025
- When Authorization Loses Its Meaning: Breaking and Fixing Third-Party Online PaymentsYongkang Xiao, Jing Chen, Min Shi, Kun He 等USENIX Security 2026
