Andreas Veneris

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

Keerthi Nelaturu, Anastasia Mavridou, Andreas Veneris, Aron Laszka (2020). Verified Development and Deployment of Multiple Interacting Smart Contracts with VeriSolid. ICBC 2020. Acceptance rate: 22%.

PDF Cite Project