@misc{indiciaea2a8eef56a23,
  title = {Secure Synthesis of Distributed Cryptographic Applications (Technical Report)},
  author = {Coşku Acay and Joshua Gancher and Rolph Recto and Andrew C. Myers},
  year = {2024},
  url = {https://arxiv.org/abs/2401.04131},
  note = {Source identifier: 2401.04131}
}