MIGUEL
ISABEL MÁRQUEZ
Profesor ayudante doctor
ALBERTO
RUBIO GIMENO
Catedrático de universidad
Publicacions en què col·labora amb ALBERTO RUBIO GIMENO (4)
2023
-
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
-
Distilling Constraints in Zero-Knowledge Protocols
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2021
-
Actor-based model checking for Software-Defined Networks
Journal of Logical and Algebraic Methods in Programming, Vol. 118
2018
-
Constrained dynamic partial order reduction
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)