Emmanouela Stachtiari

Publications

Keerthi Nelaturu, Anastasia Mavridou, Emmanouela Stachtiari, Andreas Veneris, Aron Laszka (2023). Correct-by-Design Interacting Smart Contracts and a Systematic Approach for Verifying ERC20 and ERC721 Contracts with VeriSolid. IEEE Transactions on Dependable and Secure Computing. Impact Factor: 6.79 (2023).

PDF Cite Project

Anastasia Mavridou, Aron Laszka, Emmanouela Stachtiari, Abhishek Dubey (2019). VeriSolid: Correct-by-Design Smart Contracts for Ethereum. FC 2019. Acceptance rate: 22%.

PDF Cite Dataset Project Slides