Scalable Verification of Zero-Knowledge Protocols
ISSN: 1081-6011
ISBN: 9798350331301
Argitalpen urtea: 2024
Proceedings - 45th IEEE Symposium on Security and Privacy, SP 2024
Orrialdeak: 1794-1812
Mota: Biltzar ekarpena
ISSN: 1081-6011
ISBN: 9798350331301
Argitalpen urtea: 2024
Proceedings - 45th IEEE Symposium on Security and Privacy, SP 2024
Orrialdeak: 1794-1812
Mota: Biltzar ekarpena