2 papers
cs.LO2026
An Effective Orchestral Approach to Satisfiability Modulo Prime Fields
Miguel Isabel, Enric Rodríguez-Carbonell, Clara Rodríguez-Núñez +1
Zero-knowledge proofs (ZKPs) are an emerging technology that has become the solution to efficiently provide security and privacy along with the transparency requirement of blockcha…
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…