1. Dynamic input/output automata: A formal and compositional model for dynamic systems
2. Universally Composable Security
3. Task-structured probabilistic I/O automata
4. Ran Canetti , Ling Cheung , Dilsun Kirli Kaynar , Nancy A. Lynch , and Olivier Pereira . 2007 a . 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 a. 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
5. Ran Canetti Ling Cheung Nancy A. Lynch and Olivier Pereira. 2007 b. On the Role of Scheduling in Simulation-Based Security. IACR Cryptol. ePrint Arch. (2007) 102. http://eprint.iacr.org/2007/102 Ran Canetti Ling Cheung Nancy A. Lynch and Olivier Pereira. 2007 b. On the Role of Scheduling in Simulation-Based Security. IACR Cryptol. ePrint Arch. (2007) 102. http://eprint.iacr.org/2007/102