Shorter Quadratic QA-NIZK Proofs. - Vanesa Daza; Alonso González; Zaira Pindado; Carla Ràfols; Javier Silva 001 (IACR Cryptol. ePrint Arch., 2019)

Signatures of Knowledge for Boolean Circuits under Standard Assumptions (Full version). - Karim Baghery; Alonso González; Zaira Pindado; Carla Ràfols (IACR Cryptol. ePrint Arch., 2020)

Simulation Extractable Versions of Groth's zk-SNARK Revisited. - Karim Baghery; Zaira Pindado; Carla Ràfols (IACR Cryptol. ePrint Arch., 2020)

Somewhere Statistically Binding Commitment Schemes with Applications. - Prastudy Fauzi; Helger Lipmaa; Zaira Pindado; Janno Siim (IACR Cryptol. ePrint Arch., 2020)

Pairing-based non-interactive zero-knowledge arguments and applications. - Zaira Pindado (2021)

Signatures of knowledge for Boolean circuits under standard assumptions. - Karim Baghery; Alonso González; Zaira Pindado; Carla Ràfols (Theor. Comput. Sci., 2022)

Simulation extractable versions of Groth's zk-SNARK revisited. - Oussama Amine; Karim Baghery; Zaira Pindado; Carla Ràfols (Int. J. Inf. Sec., 2024)