Masayuki Abe, Miguel Ambrona, Andrej Bogdanov, Miyako Ohkubo, Alon Rosen. Acyclicity Programming for Sigma-Protocols. In Kobbi Nissim, Brent Waters, editors, Theory of Cryptography - 19th International Conference, TCC 2021, Raleigh, NC, USA, November 8-11, 2021, Proceedings, Part I. Volume 13042 of Lecture Notes in Computer Science, pages 435-465, Springer, 2021. [doi]
Abstract is missing.