Martín Vigil

Publication Activity (10 Years)

Years Active: 2019-2021
Publications (10 Years): 2

Top Topics

Formal Verification

Key Establishment

Wireless Sensor

Bounded Model Checking

Top Venues

Inf. Process. Manag.

Publications

Gabriel Estevam, Lucas M. Palma, Luan R. Silva, Jean Everson Martina, Martín Vigil
Accurate and decentralized timestamping using smart contracts on the Ethereum blockchain. Inf. Process. Manag. 58 (3) (2021)
Giann Spilere Nandi, David Pereira, Martín Vigil, Ricardo de Moraes, Analúcia Schiaffino Morales, Gustavo Medeiros de Araújo
Security in Wireless Sensor Networks: A formal verification of protocols. INDIN (2019)