Nedas Matulevicius

Publication Activity (10 Years)

Years Active: 2021-2022
Publications (10 Years): 3

Top Topics

Security Vulnerabilities

Specification Language

Top Venues

Publications

Kunjian Song, Nedas Matulevicius, Eddie B. de Lima Filho, Lucas C. Cordeiro
ESBMC-Solidity: An SMT-Based Model Checker for Solidity Smart Contracts. ICSE-Companion (2022)
Kunjian Song, Nedas Matulevicius, Eddie B. de Lima Filho, Lucas C. Cordeiro
ESBMC-Solidity: An SMT-Based Model Checker for Solidity Smart Contracts. CoRR (2021)
Nedas Matulevicius, Lucas C. Cordeiro
Verifying Security Vulnerabilities for Blockchain-based Smart Contracts. SBESC (2021)