Publicly Auditable MPC-as-a-Service with succinct verification and universal setup.

Sanket Kanjalkar Ye Zhang Shreyas Gandlur Andrew Miller

Published in: EuroS&P Workshops (2021)

Keyphrases

protocol specification
service providers
service composition
service quality
web services
model checking
service oriented
service discovery
semantic web services
formal verification
management system
digital libraries
genetic algorithm
loosely coupled
signature verification
service management
information systems