7 citations · 7 across the 4 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.PL2020
Analyzing Smart Contracts: From EVM to a sound Control-Flow Graph
Elvira Albert, Jesús Correas, Pablo Gordillo +2
The EVM language is a simple stack-based language with words of 256 bits, with one significant difference between the EVM and other virtual machine languages (like Java Bytecode or…
cs.NI2020
Actor-Based Model Checking for SDN Networks
Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel +3
Software-Defined Networking (SDN) is a networking paradigm that has become increasingly popular in the last decade. The unprecedented control over the global behavior of the networ…