Publicly Auditable MPC-as-a-Service with succinct verification and universal setup.
Sanket KanjalkarYe ZhangShreyas GandlurAndrew MillerPublished in: CoRR (2021)
Keyphrases
- service providers
- end users
- management system
- protocol specification
- model checking
- dynamic model
- service quality
- service composition
- service management
- customer service
- mobile services
- semantic web services
- genetic algorithm
- face verification
- information services
- digital libraries
- processor sharing
- functional verification
- web services