Scalable Verification of Zero-Knowledge Protocols

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

ISSN: 1081-6011

ISBN: 9798350331301

Année de publication: 2024

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

Pages: 1794-1812

Type: Communication dans un congrès

DOI: 10.1109/SP54263.2024.00133 GOOGLE SCHOLAR
La source de données: Scopus