@misc{cryptoeprint:2021:798, author = {Pierre Civit and Maria Potop-Butucaru}, title = {Probabilistic Dynamic Input Output Automata}, howpublished = {Cryptology ePrint Archive, Report 2021/798}, year = {2021}, url = {https://eprint.iacr.org/2021/798}, }