Scalable Verification of Zero-Knowledge Protocols

  1. Isabel, M.
  2. Rodríguez-Núñez, C.
  3. Rubio, A.
Aktak:
Proceedings - IEEE Symposium on Security and Privacy

ISSN: 1081-6011

ISBN: 9798350331301

Argitalpen urtea: 2024

Proceedings - 45th IEEE Symposium on Security and Privacy, SP 2024

Orrialdeak: 1794-1812

Mota: Biltzar ekarpena

DOI: 10.1109/SP54263.2024.00133 GOOGLE SCHOLAR
Datuen iturria: Scopus