Modeling Computational Security in Long-Lived Systems

Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nancy A. Lynch, Olivier Pereira. Modeling Computational Security in Long-Lived Systems. IACR Cryptology ePrint Archive, 2007:406, 2007. [doi]

Authors

Ran Canetti

This author has not been identified. Look up 'Ran Canetti' in Google

Ling Cheung

This author has not been identified. Look up 'Ling Cheung' in Google

Dilsun Kirli Kaynar

This author has not been identified. Look up 'Dilsun Kirli Kaynar' in Google

Nancy A. Lynch

This author has not been identified. Look up 'Nancy A. Lynch' in Google

Olivier Pereira

This author has not been identified. Look up 'Olivier Pereira' in Google