Login / Signup
Zaira Pindado
ORCID
Publication Activity (10 Years)
Years Active: 2019-2024
Publications (10 Years): 11
Top Topics
Knowledge Sources
Formal Proof
Sequential Quadratic Programming
Black Box
Top Venues
IACR Cryptol. ePrint Arch.
Public Key Cryptography (1)
AFRICACRYPT
Financial Cryptography (1)
</>
Publications
</>