Ignacio Ballesteros

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 2

Top Topics

Adverse Selection

Automatically Generate

Software Engineering

Top Venues

Erlang Workshop

Publications

Sergio Pérez, Luis Eduardo Bueso de Barrio, Ignacio Ballesteros, Ángel Herranz, Julio Mariño, Clara Benac Earle, Lars-Åke Fredlund
Executable contracts for Elixir. Erlang Workshop (2022)
Ignacio Ballesteros, Clara Benac Earle, Luis Eduardo Bueso de Barrio, Lars-Åke Fredlund, Ángel Herranz, Julio Mariño
Automatic Generation of Attacker Contracts in Solidity. FMBC@CAV (2022)