Anastasia Mavridou

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

Scott Eisele, Carlos Barreto, Abhishek Dubey, Xenofon Koutsoukos, Taha Eghtesad, Aron Laszka, Anastasia Mavridou (2020). Blockchains for Transactive Energy Systems: Opportunities, Challenges, and Approaches. IEEE Computer. Impact Factor: 4.41 (2019).

PDF Cite Project

Mudabbir Kaleem, Anastasia Mavridou, Aron Laszka (2020). Vyper: A Security Comparison with Solidity Based on Common Vulnerabilities. BRAINS 2020.

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

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

Scott Eisele, Aron Laszka, Anastasia Mavridou, Abhishek Dubey (2018). SolidWorx: A Resilient and Trustworthy Transactive Platform for Smart and Connected Communities. IEEE Blockchain 2018. Acceptance rate: 15.3%.

PDF Cite Project

Anastasia Mavridou, Aron Laszka (2018). Tool Demonstration: FSolidM for Designing Secure Ethereum Smart Contracts. POST 2018.

PDF Cite Project

Anastasia Mavridou, Aron Laszka (2018). Designing Secure Ethereum Smart Contracts: A Finite State Machine Based Approach. FC 2018. Acceptance rate: 26%.

PDF Cite Project Slides