1. Dynamic input/output automata: A formal and compositional model for dynamic systems
2. Task-structured probabilistic I/O automata
3. Ran Canetti , Ling Cheung , Dilsun Kirli Kaynar , Nancy A. Lynch , and Olivier Pereira . 2007 . Compositional Security for Task-PIOAs. In 20th IEEE Computer Security Foundations Symposium, CSF 2007 , 6--8 July 2007, Venice, Italy. IEEE Computer Society, 125--139. https://doi.org/10.1109/CSF. 2007.15 10.1109/CSF.2007.15 Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nancy A. Lynch, and Olivier Pereira. 2007. Compositional Security for Task-PIOAs. In 20th IEEE Computer Security Foundations Symposium, CSF 2007, 6--8 July 2007, Venice, Italy. IEEE Computer Society, 125--139. https://doi.org/10.1109/CSF.2007.15
4. Pierre Civit and Maria Potop-Butucaru. 2021. Probabilistic Dynamic Input Output Automata. IACR Cryptol. ePrint Arch. (2021) 798. https://eprint.iacr.org/2021/798 Pierre Civit and Maria Potop-Butucaru. 2021. Probabilistic Dynamic Input Output Automata. IACR Cryptol. ePrint Arch. (2021) 798. https://eprint.iacr.org/2021/798
5. Pierre Civit and Maria Potop-Butucaru. 2022. Composable Dynamic Secure Emulation. IACR Cryptol. ePrint Arch. (2022) 326. https://eprint.iacr.org/2022/326 Pierre Civit and Maria Potop-Butucaru. 2022. Composable Dynamic Secure Emulation. IACR Cryptol. ePrint Arch. (2022) 326. https://eprint.iacr.org/2022/326