Volume: Vol-3962 ITASEC & SERICS 2025 | Year: 2025

Paper: « paper15 | paper16 | paper17 »

Cross-chain Smart Contracts and dApps Verification by Static Analysis: Limits and Challenges

• Luca Olivieri
• Aradhita Mukherjee
• Nabendu Chaki
• Agostino Cortesi

PDF