Login / Signup
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