Papers1 provider Ā· 1 record
August 29, 2025Ā· Innovations in Systems and Software Engineering
article

Analyzing Safety and Security of Solidity Smart Contracts via Semantics-Preserving Transcompilation

Authors:Kartik KaushikRaju Halder *Samrat Mondal

Abstract

No abstract metadata is available for this record.

Community

0 comments
Use Connect Wallet in the navigation

No discussion yet

Be the first to share a question or observation.