Nedas Matulevicius

According to our database, Nedas Matulevicius authored at least 2 papers between 2021 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

ESBMC-Solidity: An SMT-Based Model Checker for Solidity Smart Contracts.

Kunjian Song, Nedas Matulevicius, Eddie B. de Lima Filho, Lucas C. Cordeiro

Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2022

2021

Verifying Security Vulnerabilities for Blockchain-based Smart Contracts.

Nedas Matulevicius, Lucas C. Cordeiro

Proceedings of the XI Brazilian Symposium on Computing Systems Engineering, 2021