dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Nancy A. Lynch (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


248Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRan Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nancy A. Lynch, Olivier Pereira: Modeling Computational Security in Long-Lived Systems. CONCUR 2008: 114-130
242Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRan Canetti, Ling Cheung, Dilsun Kirli Kaynar, Moses Liskov, Nancy A. Lynch, Olivier Pereira, Roberto Segala: Analyzing Security Protocols Using Time-Bounded Task-PIOAs. Discrete Event Dynamic Systems 18(1): 111-159 (2008)
240Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRan Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nancy A. Lynch, Olivier Pereira: Modeling Computational Security in Long-Lived Systems, Version 2. IACR Cryptology ePrint Archive 2008: 492 (2008)
238Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRan Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nancy A. Lynch, Olivier Pereira: Compositional Security for Task-PIOAs. CSF 2007: 125-139
228Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRan Canetti, Ling Cheung, Nancy A. Lynch, Olivier Pereira: On the Role of Scheduling in Simulation-Based Security. IACR Cryptology ePrint Archive 2007: 102 (2007)
227Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRan 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)
223Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRan Canetti, Ling Cheung, Dilsun Kirli Kaynar, Moses Liskov, Nancy A. Lynch, Olivier Pereira, Roberto Segala: Time-Bounded Task-PIOAs: A Framework for Analyzing Security Protocols. DISC 2006: 238-253
205Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRan Canetti, Ling Cheung, Dilsun Kirli Kaynar, Moses Liskov, Nancy A. Lynch, Olivier Pereira, Roberto Segala: Using Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol. IACR Cryptology ePrint Archive 2005: 452 (2005)

Selection of 8 from 279 records - Nancy A. Lynch has 164 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page