Publicacions en què col·labora amb ALBERTO RUBIO GIMENO (5)

2024

  1. Scalable Verification of Zero-Knowledge Protocols

    Proceedings - IEEE Symposium on Security and Privacy

2023

  1. Circom: A Circuit Description Language for Building Zero-Knowledge Applications

    IEEE Transactions on Dependable and Secure Computing, Vol. 20, Núm. 6, pp. 4733-4751

2022

  1. Distilling Constraints in Zero-Knowledge Protocols

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2021

  1. Actor-based model checking for Software-Defined Networks

    Journal of Logical and Algebraic Methods in Programming, Vol. 118

2018

  1. Constrained dynamic partial order reduction

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)