Andrew M. Marshall, Catherine Meadows 0001, Paliath Narendran, Veena Ravishankar, Brandon Rozek. Algorithmic Problems in Synthesized Cryptosystems (Extended Abstract). In Temur Kutsia, Andrew M. Marshall, editors, Proceedings of the 34th International Workshop on Unification, UNIF 2020, Linz, Austria, June 29, 2020. 2020. [doi]
Abstract is missing.