Follow
Anaïs Querol
Anaïs Querol
IMDEA Software Institute, Universidad Politécnica de Madrid
Verified email at imdea.org - Homepage
Title
Cited by
Cited by
Year
LegoSNARK: modular design and composition of succinct zero-knowledge proofs
M Campanelli, D Fiore, A Querol
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications …, 2019
1552019
Lunar: A Toolbox for More Efficient Universal and Updatable zkSNARKs and Commit-and-Prove Extensions
M Campanelli, A Faonio, D Fiore, A Querol, H Rodríguez
International Conference on the Theory and Application of Cryptology and …, 2021
542021
Proposal: commit-and-prove zero-knowledge proof systems and extensions
D Benarroch, M Campanelli, D Fiore, J Kim, J Lee, H Oh, A Querol
4th ZKProof Workshop, 2021
62021
Conditional Differential Cryptanalysis of the Post-Quantum ARX Symmetric Primitive Salsa20
AQ Cruz
Univeristé Denis Diderot Paris 7, 2018
32018
STARK WARS
D Benarroch, A Querol
2019
Cryptographic methods for secure delegation of computation in electronic voting applications
A Querol Cruz
ETSI_Informatica, 2017
2017
The system can't perform the operation now. Try again later.
Articles 1–6