Scalable Verification of Zero-Knowledge Protocols

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

ISSN: 1081-6011

ISBN: 9798350331301

Ano de publicación: 2024

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

Páxinas: 1794-1812

Tipo: Achega congreso

DOI: 10.1109/SP54263.2024.00133 GOOGLE SCHOLAR
Fonte de datos: Scopus