selected publications conference paper Detection of vulnerabilities in smart contracts specifications in ethereum platforms. Leibniz International Proceedings in Informatics, LIPIcs. 1-16. 2020