| 2003 | A lattice-theoretic characterization of safety and liveness. Panagiotis Manolios, Richard J. Trefler |
| 2003 | A new approach to on-demand loop-free routing in ad hoc networks. J. J. Garcia-Luna-Aceves, Marc Mosko, Charles E. Perkins |
| 2003 | A work-optimal deterministic algorithm for the asynchronous certified write-all problem. Grzegorz Malewicz |
| 2003 | Adapting to a reliable network path. Baruch Awerbuch, Yishay Mansour |
| 2003 | Adaptive AIMD congestion control. Alexander Kesselman, Yishay Mansour |
| 2003 | Adaptive and efficient abortable mutual exclusion. Prasad Jayanti |
| 2003 | Algorithms for dynamic multicast key distribution trees. Justin Goshi, Richard E. Ladner |
| 2003 | An asynchronous protocol for distributed computation of RSA inverses and its applications. Christian Cachin |
| 2003 | Asynchronous resource discovery. Ittai Abraham, Danny Dolev |
| 2003 | Automatic discovery of mutual exclusion algorithms. Yoah Bar-David, Gadi Taubenfeld |
| 2003 | Brief announcement: a method for exchanging valuable data: how to realize matching oblivious transfer. Shin'ichiro Matsuo, Wakaha Ogata |
| 2003 | Brief announcement: an overview of the content-addressable network D2B. Pierre Fraigniaud, Philippe Gauron |
| 2003 | Brief announcement: branching time refinement. Panagiotis Manolios |
| 2003 | Brief announcement: building data structures on untrusted peer-to-peer storage with per-participant logs. Benjie Chen, Thomer M. Gil, Athicha Muthitacharoen, Robert Morris |
| 2003 | Brief announcement: cluster-based control mechanism for communication networks. Srikant Kuppa, Mansi Ramakrishnan Thoppian, Srinivasan Krishnamurthy, Subbarayan Venkatesan |
| 2003 | Brief announcement: concurrent counting is harder than queuing. Srikanta Tirthapura |
| 2003 | Brief announcement: deterministic skipnet. Nicholas J. A. Harvey, J. Ian Munro |
| 2003 | Brief announcement: dynamic group communication. André Schiper |
| 2003 | Brief announcement: early decision despite general process omission failures. Fabrice Le Fessant, Philippe Raipin Parvédy, Michel Raynal |
| 2003 | Brief announcement: efficient flooding in power-law networks. Farnoush Banaei Kashani, Cyrus Shahabi |
| 2003 | Brief announcement: efficient perfectly secure communication over synchronous networks. K. Srinathan, Vinod Vaikuntanathan, C. Pandu Rangan |
| 2003 | Brief announcement: efficient replication of large data objects. Rui Fan, Nancy A. Lynch |
| 2003 | Brief announcement: extending SQL access control to derived and distributed data. Arnon Rosenthal, Edward Sciore |
| 2003 | Brief announcement: impossibility results for concurrent secure two-party computation. Yehuda Lindell |
| 2003 | Broadcasting in undirected ad hoc radio networks. Dariusz R. Kowalski, Andrzej Pelc |
| 2003 | Compact roundtrip routing with topology-independent node names. Marta Arias, Lenore Cowen, Kofi A. Laing |
| 2003 | Constant-time distributed dominating set approximation. Fabian Kuhn, Roger Wattenhofer |
| 2003 | Constructing fair-exchange protocols for E-commerce via distributed computation of RSA signatures. Jung-Min Park, Edwin K. P. Chong, Howard Jay Siegel |
| 2003 | Cryptography and competition policy: issues with 'trusted computing'. Ross J. Anderson |
| 2003 | Distributed consensus in the presence of sectional faults. S. Amitanand, I. Sanketh, K. Srinathan, Vinod Vaikuntanathan, C. Pandu Rangan |
| 2003 | Distributed error confinement. Yossi Azar, Shay Kutten, Boaz Patt-Shamir |
| 2003 | Efficient and practical constructions of LL/SC variables. Prasad Jayanti, Srdjan Petrovic |
| 2003 | Efficient player-optimal protocols for strong and differential consensus. Matthias Fitzi, Juan A. Garay |
| 2003 | Efficient reliable communication over partially authenticated networks. Amos Beimel, Lior Malka |
| 2003 | Efficient revocation and threshold pairing based cryptosystems. Benoît Libert, Jean-Jacques Quisquater |
| 2003 | Fair group mutual exclusion. Prasad Jayanti, Srdjan Petrovic, King Tan |
| 2003 | Fischer's cryptographic protocols. Rebecca N. Wright |
| 2003 | Geometric ad-hoc routing: of theory and practice. Fabian Kuhn, Roger Wattenhofer, Yan Zhang, Aaron Zollinger |
| 2003 | Oblivious signature-based envelope. Ninghui Li, Wenliang Du, Dan Boneh |
| 2003 | On a network creation game. Alex Fabrikant, Ankur Luthra, Elitza N. Maneva, Christos H. Papadimitriou, Scott Shenker |
| 2003 | On implementing omega with weak reliability and synchrony assumptions. Marcos Kawazoe Aguilera, Carole Delporte-Gallet, Hugues Fauconnier, Sam Toueg |
| 2003 | On using network attached disks as shared memory. Marcos Kawazoe Aguilera, Burkhard Englert, Eli Gafni |
| 2003 | Operation-valency and the cost of coordination. Danny Hendler, Nir Shavit |
| 2003 | Peer-to-peer systems for prefix search. Baruch Awerbuch, Christian Scheideler |
| 2003 | Performing work with asynchronous processors: message-delay-sensitive bounds. Dariusz R. Kowalski, Alexander A. Shvartsman |
| 2003 | Proactive secure message transmission in asynchronous networks. Michael Backes, Christian Cachin, Reto Strobl |
| 2003 | Proceedings of the Twenty-Second ACM Symposium on Principles of Distributed Computing, PODC 2003, Boston, Massachusetts, USA, July 13-16, 2003 Elizabeth Borowsky, Sergio Rajsbaum |
| 2003 | Routing networks for distributed hash tables. Gurmeet Singh Manku |
| 2003 | Scalable and dynamic quorum systems. Moni Naor, Udi Wieder |
| 2003 | Scalable public-key tracing and revoking. Yevgeniy Dodis, Nelly Fazio, Aggelos Kiayias, Moti Yung |
| 2003 | Scaling properties of the Internet graph. Aditya Akella, Shuchi Chawla, Arvind Kannan, Srinivasan Seshan |
| 2003 | Simple and fast optimistic protocols for fair electronic exchange. Silvio Micali |
| 2003 | Software transactional memory for dynamic-sized data structures. Maurice Herlihy, Victor Luchangco, Mark Moir, William N. Scherer III |
| 2003 | Split-ordered lists: lock-free extensible hash tables. Ori Shalev, Nir Shavit |
| 2003 | Working with mike on distributed computing theory, 1978--1992. Nancy A. Lynch |
| 2003 | tight bounds for k-set agreement with limited-scope failure detectors. Maurice Herlihy, Lucia Draque Penso |