@misc{indiciae36be19e8c406, title = {A security framework for Ethereum smart contracts}, author = {Antonio López Vivar and Ana Lucila Sandoval Orozco and Luis Javier García Villalba}, year = {2024}, doi = {10.1016/j.comcom.2021.03.008}, url = {https://arxiv.org/abs/2402.03555}, note = {Source identifier: 2402.03555} }