Analyzing Safety and Security of Solidity Smart Contracts via Semantics-Preserving Transcompilation. - Kaushik, Kartik; Halder, Raju; Mondal, Samrat (Innovations in Systems & Software Engineering, 2025)