Secure Synthesis of Distributed Cryptographic Applications (Technical Report)

Coşku Acay, Joshua Gancher, Rolph Recto +1

Developing secure distributed systems is difficult, and even harder when advanced cryptography must be used to achieve security goals. Following prior work, we advocate using secur…