Publicaciones en colaboración con investigadores/as de Universitat Politècnica de Catalunya (2)

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

2018

  1. Constrained dynamic partial order reduction

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