Scalable Verification of Zero-Knowledge Protocols

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

ISSN: 1081-6011

ISBN: 9798350331301

Datum der Publikation: 2024

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

Seiten: 1794-1812

Art: Konferenz-Beitrag

DOI: 10.1109/SP54263.2024.00133 GOOGLE SCHOLAR