PKI and high-level security programming abstractions for SNOOP

When working with sensitive data in a distributed setting, secure multi-partycomputations(SMC) protocols aims to preserve the privacy of participants. Acore aspect of any SMC protocol is secure communication between participants.Based on the NOOP and SNOOP middleware with a combination of secret keyand public-key cryptography we design and implement a public key infrastruc-ture(PKI) to share signed certificates containing a participants credentials andpublic key. Components of the PKI support signing and verification of certifi-cates, public-key encryption supports signing and verification of communica-tion between participants. Our tools provide high-level security programmingabstractions to support the development of SMC protocols