Publications

9 results for Nancy A. Lynch

Modeling Computational Security in Long-Lived Systems, Version 2
- - Ran Canetti
  - Ling Cheung
  - et al.
- 2008
- Dagstuhl Seminar Proceedings 2008
Virtual Infrastructure for collision-prone wireless networks
- - Gregory Chockler
  - Seth Gilbert
  - et al.
- 2008
- PODC 2008
Consensus and collision detectors in radio networks
- - Gregory Chockler
  - Murat Demirbas
  - et al.
- 2008
- Distributed Computing
Analyzing security protocols using time-bounded task-PIOAs
- - Ran Canetti
  - Ling Cheung
  - et al.
- 2008
- Discrete Event Dynamic Systems: Theory and Applications
Compositional security for task-PIOAs
- - Ran Canetti
  - Ling Cheung
  - et al.
- 2007
- CSF 2007
Task-structured probabilistic I/O automata
- - Ran Canetti
  - Ling Cheung
  - et al.
- 2006
- WODES 2006
Bounds on the Time to Reach Agreement in the Presence of Timing Uncertainty
- - Hagit Attiya
  - Cynthia Dwork
  - et al.
- 1994
- Journal of the ACM (JACM)
Consensus in the presence of partial synchrony
- - Cynthia Dwork
  - Nancy Lynch
  - et al.
- 1988
- Journal of the ACM
An efficient algorithm for byzantine agreement without authentication
- - Danny Dolev
  - Michael J. Fischer
  - et al.
- 1982
- Information and Control