Acay, Coşku

1. Secure Synthesis of Distributed Cryptographic Applications (Technical Report)
   2024/01/06 by Coşku Acay, Acay, Coşku, Joshua Gancher +5 · 1 citation
   Computer Science · #Security and Verification in Computing #Parallel Computing and Optimization Techniques #Distributed systems and fault tolerance