Mauro C. Argañaraz

Publication Activity (10 Years)

Years Active: 2020-2020
Publications (10 Years): 1

Top Topics

Detection Scheme

Countermeasures

False Positives

Top Venues

Publications

Mauro C. Argañaraz, Mario Marcelo Beron, Maria João Varanda Pereira, Pedro Rangel Henriques
Detection of Vulnerabilities in Smart Contracts Specifications in Ethereum Platforms. SLATE (2020)