Publications
2022
| Title | Authors | Where | Links |
|---|---|---|---|
| Byzantine Consensus under Fully Fluctuating Participation | Dahlia Malkhi, Atsuki Momose, Ling Ren | ArXiv | π ποΈ1 ποΈ2 |
| Maximal Extractable Value (MEV) Protection on a DAG | Dahlia Malkhi, Pawel Szalachowski | CESC 2022 Tokenomics 2022 Science and Engineering of Consensus 2022 | π π₯1 π₯2 |
| Block-STM: Scaling Blockchain Execution by Turning Ordering Curse to a Performance Blessing | Rati Gelashvili, Alexander Spiegelman, Zhuolun Xiang, George Danezis, Zekun Li, Yu Xia, Runtian Zhou, Dahlia Malkhi | PPoPP 2023 ConsensusDay22 | πa πb |
| Be Aware of Your Leaders | Shir Cohen, Rati Gelashvili, Eleftherios Kokoris Kogias, Dahlia Malkhi, Zekun Li, Alberto Sonnino, Alexander Spiegelman | FCβ22 | π |
2021
| Title | Authors | Where | Links |
|---|---|---|---|
| Twins: BFT Systems Made Robust | Shehar Bano, Alberto Sonnino, Andrey Chursin, Dmitri Perelman, Zekun Li, Avery Ching, Dahlia Malkhi | OPODIS 2021 | π |
| RainBlock: Faster Transaction Processing in Public Blockchains | Soujanya Ponnapalli, Aashaka Shah, Souvik Banerjee, Dahlia Malkhi, Amy Tai, Vijai Chidambaram, Michael Wei | Usenix ATC 2021 | π |
| Strengthened Fault Tolerance in Byzantine Fault Tolerant Replication | Zhuolun Xiang, Dahlia Malkhi, Kartik Nayak and Ling Ren | ICDCS 2021 | π |
2020
| Title | Authors | Where | Links |
|---|---|---|---|
| ACE: Abstract Consensus Encapsulation for Liveness Boosting of State Machine Replication | Alexander Spiegelman, Arik Rinberg, Dahlia Malkhi | OPODIS 2020 | π |
| Asynchronous Distributed Key Generation for Computationally Secure Randomness, Consensus, and Threshold Signatures | Eleftherios Kokoris Kogias, Dahlia Malkhi, Alexander Spiegelman | ACM CCS 2020 | π |
| Cogsworth: Byzantine Round Synchronization | Oded Naor, Mathieu Baudet, Dahlia Malkhi, Alexander Spiegelman | CES 2020 | π |
2019
| Title | Authors | Where | Links |
|---|---|---|---|
| FairLedger: A Fair Blockchain Protocol for Financial Institutions | Kfir Lev-Ari, Alexander Spiegelman, Idit Keidar and Dahlia Malkhi | OPODIS 2019 (best paper award) | π |
| Sync HotStuff: Simple and Practical Synchronous State Machine Replication | Ittai Abraham, Dahlia Malkhi,Β Kartik Nayak,Β Ling Ren,Β Maofan Yin | IEEE S&P 2020 | π π₯ |
| Efficient Verifiable Secret Sharing with Share Recovery in BFT Protocols | Soumya Basu, Alin Tomescu, Ittai Abraham, Dahlia Malkhi, Mike Reiter, Emin GΓΌn Sirer | ACM CCS β19 | π |
| Flexible Byzantine Fault Tolerance | Dahlia Malkhi, Kartik Nayak, Ling Ren | ACM CCS β19 | π |
| HotStuff: BFT Consensus with Linearity and Responsiveness | Maofan Yin, Dahlia Malkhi, Michael K. Reiter, Guy Golan Gueta, Ittai Abraham | PODC 2019 | π |
| ValidatedΒ Asynchronous Byzantine Agreement with Optimal Resilience and Asymptotically Optimal Time and Word Communication | Ittai Abraham, Dahlia Malkhi, Alexander Spiegelman | PODC 2019 | π |
| SBFT: a Scalable Decentralized Trust Infrastructure for Blockchains | Β Guy Golan Gueta, Ittai Abraham, Shelly Grossman, Dahlia Malkhi, Benny Pinkas, Mike Reiter, Dragos Adrian Seredinschi, Orr Tamir, Alin Tomescu | DSN 2019 | π |
2018
| Title | Authors | Where | Links |
|---|---|---|---|
| State Machine Replication is Harder than Consensus | Karolos Antoniadis, Rachid Guerraoui, Dahlia Malkhi and Dragos-Adrian Seredinschi | DISC 2018 | π |
| Stable and Consistent Membership at Scale with Rapid | Lalith Suresh, Dahlia Malkhi, Parikshit Gopalan, Ivan Porto Carreiro, Zeeshan Lokhandwala | USENIX ATC 2018 | πΒ |
| Revisiting Fast Practical Byzantine Fault Tolerance: Thelma, Velma and Zelma | Ittai Abraham, Guy Gueta, Dahlia Malkhi, Jean-Philippe Martin | Β ArXivπΒ | Β |
| Dfinity Consensus Explored | Ittai Abraham, Dahlia Malkhi, Kartik Nayak, Ling Ren | ePrint | Β π |
2017
| Title | Authors | Where | Links |
|---|---|---|---|
| Revisiting Fast Practical Byzantine Fault Tolerance | Ittai Abraham, Guy Gueta, Dahlia Malkhi; with Lorenzo Alvisi, Rama Kotla, Jean-Philippe Martin | ArXiv | πΒ |
| Solida: A Cryptocurrency Based on Reconfigurable Byzantine Consensus. | Ittai Abraham, Dahlia Malkhi, Kartik Nayak, Ling Ren, Alexander Spiegelment | OPODIS 2017 | Β π |
| The Blockchain Consensus Layer and BFT | Ittai Abraham, Dahlia Malkhi | Tutorial, fall issue of the Distributed Computing column of the Bulletin of the EATCS (BEATCS link).Β | π |
| Consistent Clustered Applications with Corfu | 18 co-authors, including me | SIGOPS Oper. Syst. Rev. 51, , 2017 | Β π |
| Revisiting the Paxos Foundations: A Look at Summer Internship Work at VMware Research | Heidi Howard, Dahlia Malkhi, and Alexander Spiegelman | SIGOPS Oper. Syst. Rev. 51, 1, 2017.Β | π |
| Apache REEF: Retainable Evaluator Execution Framework. | 27 co-authors including me | ACM TOCS 2017 | π |
| Dynamic Reconfiguration: Abstraction and Optimal Asynchronous Solution. | Alexander Spiegelman, Idit Keidar, Dahlia Malkhi | DISC 2017 | π |
| vCorfu: A Cloud-Scale Object Store on a Shared Log. | Michael Wei, Amy Tai, Christopher J. Rossbach, Ittai Abraham, Maithem Munshed, Medhavi Dhawan, Jim Stabile, Udi Wieder, Scott Fritchie, Steven Swanson, Michael J. Freedman , Dahlia Malkhi | NSDI 2017 | π |
2016
| Title | Authors | Where | Links |
|---|---|---|---|
| Flexible Paxos: Quorum Intersection Revisited. | Heidi Howard, Dahlia Malkhi, Alexander Spiegelman. | OPODIS 2016. | π |
| BVP: Byzantine Vertical Paxos. | Ittai Abraham, Dahlia Malkhi. | Distributed Cryptocurrencies and Consensus Ledgers (DCCL) 2016. | π |
| Replex: A Scalable, Highly Available Multi-Index Store. | Amy Tai, Michael Wei, Michael Freedman, Ittai Abraham, Dahlia Malkhi. | Usenix ATC 2016 (best paper award). | π |
| Silver: A scalable, distributed, multi-versioning, Always growing (Ag) File System. | Michael Wei, Amy Tai, Chris Rossbach, Ittai Abraham, Udi Wieder, Steven Swanson, Dahlia Malkhi. | HotStorage β2016. | π |
| Dynamic Reconfiguration: A Tutorial. | Alexander Spiegelman, Idit Keidar, Dahlia Malkhi. | OPODIS 2016 | π |
2015
| Title | Authors | Where | Links |
|---|---|---|---|
| Elastic Configuration Maintenance via a Parsimonious Speculating Snapshot Solution. | Eli Gafni, Dahlia Malkhi. | DISC 2015 | π |
| Distributed Resource Discovery in Sub-Logarithmic Time. | Bernhard Haeupler, Dahlia Malkhi. | PODC 2015. | π |
| REEF: Retainable Evaluator Execution Framework. | 16 co-authors, including me. SIGMOD 2015. | SIGMOD 2015 | π |
2014
| Title | Authors | Where | Links |
|---|---|---|---|
| Optimal Gossip with Direct Addressing. | Bernhard Haeupler, Dahlia Malkhi. | PODC 2014. | π |
| REEFU: A Logging Service for Cluster Applications | Dahlia Malkhi and Marcus Weimer. | LADIS 2014 | Β |
2013
| Title | Authors | Where | Links |
|---|---|---|---|
| Beyond Block I/O: Implementing a Distributed Shared Log in Hardware. | Michael Wei, John Davis, Ted Wobber, Mahesh Balakrishnan, Dahlia Malkhi. | SYSTOR 2013. | π |
| CORFU: A Distributed Shared Log. | Mahesh Balakrishnan, Dahlia Malkhi, John Davis, Vijay Prabhakaran, Michael Wei, Teb Wobber. | ACM Transactions on Computer Systems 2013. | π |
| Tango: Distributed Data Structures over a Shared Log. | Mahesh Balakrishnan, Dahlia Malkhi, Teb Wobber, Ming Wu, Vijay Prabhakaran, Michael Wei, John Davis, Sriram Rao, Tao Zou, Aviad Zuck. | SOSP 2013. | π |
| Spannerβs Concurrency Control. | Dahlia Malkhi and Jean-Phillipe Martin. | ACM SIGACT News, Distributed Coomputing Column, 2013. | π |
2012
| Title | Authors | Where | Links |
|---|---|---|---|
| CORFU: A Shared Log Design for Flash Clusters. | Mahesh Balakrishnan, Dahlia Malkhi, Vijay Prabhakaran, Teb Wobber, Michael Wei, John Davis. | NSDI 2012. | π |
| From Paxos to CORFU: A Flash-Speed Shared Log. | Dahlia Malkhi, Mahesh Balakrishnan, Vijay Prabhakaran, Teb Wobber, John Davis. | ACM SIGOPS 2012. | π |
| Dynamic Reconfiguration of Primary/Backup Clusters. | Alex Shraer, Ben Reed, Dahlia Malkhi, Falviu Junqueira. | USENIX ATC 2012. | π |
2011
| Title | Authors | Where | Links |
|---|---|---|---|
| Dynamic Atomic Storage Without Consensus. | Marcos Aguilera, Idit Keidar, Dahlia Malkhi, Alex Shraer. | PODC 2009 | π |
2010
| Title | Authors | Where | Links |
|---|---|---|---|
| Reconfiguring Replicated Atomic Storage: A Tutorial | Marcos Aguilera, Idit Keidar, Dahlia Malkhi, Jean-Phillipe Martin, Alex Shraer | Bulletin of the EATCS 2010 | π |
| Virtually Synchronous Methodology for Dynamic Service Replication | Ken Birman, Dahlia Malkhi, Robbert Van Renesse | MSR Tech Report 2010 | π |
| Reconfiguring a State Machine | Leslie Lamport, Dahlia Malkhi, Lidong Zhou | AIGACT News 2010 | π |
| Fast Asynchronous Consensus with Optimal Resilience | Ittai Abraham, Marcos Aguilera, Dahlia Malkhi | DISC 2010 | π |
| Data-Centric Reconfiguration with Network-Attached Disks | Alex Shraer, Jean-Phillpe Martin, Dahlia Malkhi, Idit Keidar | LADIS 2010 | π |
2009
| Title | Authors | Where | Links |
|---|---|---|---|
| Brief Announcement: Vertical Paxos and Primary-Backup Replication. | Leslie Lamport, Dahlia Malkhi, Lidong Zhou. | PODC 2009 | π |
| Virtual Ring Routing Trends. | Dahlia Malkhi, Siddhartha Sen, Kunal Talwar, Renato Werneck, Udi Wieder. | DISC 2009. | π |
| Compact Multicast Routing. | Ittai Abraham, Dahlia Malkhi, David Ratajczak. | DISC 2009. | π |
| On the Treeness of Internet Latency and Bandwidth. | Venu Ramasubramanian, Dahlia Malkhi, Fabian Kuhn, Mahesh Balakrishnan, Archite Gupta, Aditya Akella. | SIGMETRICS 2009. | π |
| RPC Chains: Efficient Client-Server Communication in Geodistributed Systems. | Yee Jiun Song, Marcos Aguilera, Rama Kotla, Dahlia Malkhi. | NSDI 2009. | π |
| Chasing the Weakest System Model for Implementing Ξ© and Consensus. | Martin Hutle, Dahlia Malkhi, Ulrich Schmid, Lidong Zhou. | IEEE TDSC 2009 | π |
| Differential RAID: Rethinking RAID for SSD Reliability. | Mahesh Balakrishnan, Asim Kadav, Vijayan Prabhakaran, Dahlia Malkhi. | Eurosys 2010 | π |
2008
| Title | Authors | Where | Links |
|---|---|---|---|
| On spreading recommendations via social gossip. | Coby Fernandess and Dahlia Malkhi. | SPAA 2008. | π |
| Stoppable Paxos. | Leslie Lamport, Dahlia Malkhi, Lidong Zhou. | MSR Tech Report 2008. | π |
| Compact Name-Independent Routing with Minimum Stretch. | Ittai Abraham, Cyril Gavoille, Dahlia Malkhi, Noam Nisan, Mikkel Thorup. | SPAA 2004 | π |
| Efficient distributed approximation algorithms via probabilistic tree embeddings. | Maleq Khan, Fabian Kuhn, Dahlia Malkhi, Gopal Pandurangan, Kunal Talwar. | PODC 2008. | π |
2007
| Title | Authors | Where | Links | Β |
|---|---|---|---|---|
| Concise Version Vectors in WinFS. | Dahlia Malkhi, Doug Terry. | Distributed Computing Journal 2007 | π | Β |
| P2P Replica Synchronization with Vector Sets. | Β | Dahlia Malkhi, Lev Novik, Chris Purcell. | ACM SIGOPS Operating Systems Review - Systems work at Microsoft Research, 41(2), 2007. | π |
| Reconstructing approximate tree metrics. | Ittai Abraham, Mahesh Balakrishnan, Fabian Kuhn, Dahlia Malkhi, Venugopalan Ramasubramanian, Kunal Talwar. | PODC 2007. | π | Β |
| Wait-Free Regular Storage from Byzantine Components. | Ittai Abraham, Gregory Chockler, Idit Keidar, Dahlia Malkhi. | Information Processsing Letters 2007 | π | Β |
| On Collaborative Content Distribution Using Multi-Message Gossip. | Coby Fernandess and Dahlia Malkhi. | IEEE JPDC 2007 | π | Β |
2006
| Title | Authors | Where | Links |
|---|---|---|---|
| Byzantine Disk Paxos: Optimal Resilience with Byzantine Shared Memory. | Ittai Abraham, Gregory Chockler, Idit Keidar, Dahlia Malkhi. | PODC 2004 | π |
| Light-Weight Leases for Storage-Centric Coordination. | Gregory Chockler, Dahlia Malkhi. | International Journal of Parallel Programming 2006 | π |
| On Space-Stretch Trade-Offs: Upper bounds. | Ittai Abraham, Cyril Gavoille, Dahlia Malkhi. | ACM Symposium on Parallel Algorithms and Architectures (SPAA), 2006. | π |
| On Space-Stretch Trade-Offs: Lower bounds. | Ittai Abraham, Cyril Gavoille, Dahlia Malkhi. | ACM Symposium on Parallel Algorithms and Architectures (SPAA), 2006. | π |
2005
| Title | Authors | Where | Links |
|---|---|---|---|
| Active Disk Paxos with Infinitely Many Processes. | Gregory Chockler, Dahlia Malkhi. | PODC 2002 | π |
| Probabilistic quorums for dynamic systems. | Ittai Abraham, Dahlia Malkhi | DISC 2003 | π |
| Name Independent Routing for Growth Bounded Networks. | Ittai Abraham, Dahlia Malkhi. | SPAA 2005 | π |
| The Julia Content Distribution Network. | Danny Bickson, Dahlia Malkhi. | The 2nd Usenix Workshop on Real Large Distributed Systems (WORLDS) 2005. | π |
| Ξ© Meets Paxos: Leader Election and Stability without Eventual Timely Links. | Dahlia Malkhi, Florin Oprea, Lidong Zhou. | DISC 2005 | π |
| Practical Locality-Awareness for Large Scale Information Sharing. | Ittai Abraham, Ankur Badola, Danny Bickson, Dahlia Malkhi, Sahrad Maloo, Saar Ron. | International Workshop on Peer-To-Peer Systems (IPTPS) 2005 | π |
2004
| Title | Authors | Where | Links |
|---|---|---|---|
| LLS : a Locality Aware Location Service for Mobile Ad Hoc Networks. | Ittai Abraham, Danny Dolev, Dahlia Malkhi. | DIAL M-POMC 2004. | Β |
| Routing with Improved Communication-Space Trade-Off. | Ittai Abraham, Cyril Gavoille, Dahlia Malkhi. | Eighteenth International Symposium on Distributed Computing (DISC), 2004. | Β |
| Compact Routing on Euclidian Metrics. | Ittai Abraham, Dahlia Malkhi. | Twenty-Third Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC), 2004. | Β |
| Efficient Large Scale Content Distribution. | Danny Bickson, Dahlia Malkhi, David Rabinowitz. | The 6th Workshop on Distributed Data and Structures (WDAS), 2004. | π |
| Fairplay: A Secure Two-Party Computation System. | Dahlia Malkhi, Noam Nisan, Benny Pinkas, Yaron Sella. | Usenix Security (best student paper award), 2004. | π |
| Limiting Duplicate Identities in Distributed Systems (A position paper). | Elliot Jaffe, Dahlia Malkhi, Elan Pavlov. | 2nd Bertinoro Workshop on Future Directions in Distributed Computing, FuDiCo II: S.O.S. Survivability: Obstacles and Solutions, 2004. | Β |
| Optimal Resilience Wait-Free Storage from Byzantine Components: Inherent Costs and Solutions | Gregory Chockler, Idit Keidar, Dahlia Malkhi. | 2nd Bertinoro Workshop on Future Directions in Distributed Computing, FuDiCo II: S.O.S. Survivability: Obstacles and Solutions, 2004. | π |
| Principles of Locality-Aware Networks for Locating Nearest Copies of Data. | Ittai Abraham, Dahlia Malkhi. | International Workshop on Self-* Properties in Complex Information Systems, Bertinoro, 2004. | Β |
| LAND: Locality Aware Networks for Distributed Hash Tables. | Ittai Abraham, Dahlia Malkhi , Oren Dobzinski. | The ACM-SIAM Symposium on Discrete Algorithms (SODA), 2004. | Β |
2003
| Title | Authors | Where | Links |
|---|---|---|---|
| A Generic Scheme for Building Overlay Networks in Adversarial Scenarios. | Ittai Abraham, Baruch Awerbuch, Yossi Azar, Yair Bartal, Dahlia Malkhi, Elan Pavlov. | Proceedings of the 17th International Symposium on Parallel and Distributed Processing (IPDPS), 2003. | π |
| Diffusion without False Rumours: On Propagating Updates in a Byzantine Environment. | Dahlia Malkhi, Yishay Mansour, Mike Reiter. | TCS 2003 | π |
| Objects Shared by Byzantine Processes. | Dahlia Malkhi, Michael Merrit, Mike Reiter, Gadi Taubenfeld. | Distributed Computing 2003 | π |
| Aquarius: A Data-Centric approach to CORBA Fault-Tolerance. | Gregory Chockler, Dahlia Malkhi, Barak Merimovich, David Rabinowitz. | Proceedings of the 2003 International Conference on Distributed Objects and Applications (DOA), 2003 |
2002
| Title | Authors | Where | Links |
|---|---|---|---|
| Viceroy: A Scalable and Dynamic Emulation of the Butterfly. | Dahlia Malkhi, Moni Naor, David Ratajczak. | ACM Symposium on Principles of Distributed Computing (PODC), 2002. | π |
| From Byzantine Agreement to Practical Survivability. | Dahlia Malkhi | keynote at RCDS 2002 | π |
| Dynamic Lookup Networks: A position paper. | Dahlia Malkhi. | FUDICO 2002. | π |
| A Data-Centric Approach for Scalable State Machine Replication. | Gregory Chockler, Dahlia Malkhi, Danny Dolev. | The International Workshop on Future Directions in Distributed Computing (FuDiCo), LNCS Volume 2584, 2002. | π |
| Scalable Secure Storage when Half the System is Faulty. | Noga Alon, Haim Kaplan, Michael Krivelevich, Dahlia Malkhi, Julien Stern. | ICALP 2000 | π |
2001
| Title | Authors | Where | Links |
|---|---|---|---|
| Replication by Diffusion in Large Networks. | Dahlia Malkhi, Yaron Sella. | Ersads 2001 | π |
| A Quorum Based Approach to CORBA Fault-Tolerance. | Gregory Chockler, Danny Dolev, Dahlia Malkhi. | European Research Seminar on Advances in Distributed Systems (Ersads 2001) | π |
| Efficient Update Diffusion in Byzantine Environments. | Dahlia Malkhi, Mike Reiter, Ohad Rodeh, Yaron Sella. | SRDS 2001 | π |
| Optimal Unconditional Information Diffusion. | Dahlia Malkhi, Elan Pavlov, Yaron Sella. | DISC 2001 | π |
| Probabilistic Quorum Systems. | Dahlia Malkhi, Mike Reiter, Avishai Wool, Rebecca Wright. | PODC 1997 | π |
| Persistent Objects Fleet System. | Dahlia Malkhi, Mike Reiter, Daniela Tulone, Elisha Ziskind. | DARPA DISCEX II 2001 | π |
| On k-set consensus problems in asynchronous systems. | R. De Prisco, D. Malkhi and M. K. Reiter . | PODC 1999 | π |
2000
| Title | Authors | Where | Links |
|---|---|---|---|
| The Load and Availability of Byzantine Quorum Systems. | Dahlia Malkhi, Mike Reiter, Avishai Wool. | Siam Journal of Computing 2000 | π |
| Dynamic Byzantine Quorum Systems. | Lorenzo Alvisi, Dahlia Malkhi, Evelyn Pierce, Mike Reiter, Rebecca Wright. | ICDSN 2000 | π |
| An Architecture for Survivable Coordination. | Dahlia Malkhi, Mike Reiter. | IEEE Transactions on Knowledge and Data Engineering (TKDE) 2000 | π |
| Secure Reliable Multicast Protocols in a WAN. | D. Malkhi, M. Merritt and O. Rodeh. | Distributed Computing 13:19β28, 2000 ; ICDCS 1997 | π. |
1999
| Title | Authors | Where | Links |
|---|---|---|---|
| Quorum Systems. | Dahlia Malkhi. | A tutorial, 1999 | π |
| Fault Detection for Byzantine Quorum Systems. | Lorenzo Alvisi, Dahlia Malkhi, Evelyn Pierce, Mike Reiter. | DCCA 1999 | π |
1998
| Title | Authors | Where | Links |
|---|---|---|---|
| Probabilistic Byzantine Quorum Systems. | Dahlia Malkhi, Mike Reiter, Avishai Wool, Rebecca Wright. | Brief announcement at PODC 98 | π |
| Byzantine Quorum Systems. | Dahlia Malkhi, Mike Reiter. | Distributed Computing 1998 | π |
| Survivable Consensus Objects. | Dahlia Malkhi, Mike Reiter. | SRDS 1998 | π |
| Secure and Scalable Replication in Phalanx. | Dahlia Malkhi, Mike Reiter. | SRDS 1998 | π |
| Auditable Metering with Lightweight Security. | Matthew Franklin, Dahlia Malkhi. | The Journal of Computer Security, 6(4), 1998 | π ; Financial Cryptography (FC) 1997 |
1997
| Title | Authors | Where | Links |
|---|---|---|---|
| A High-Throughput Secure Reliable Multicast Protocol. | Dahlia Malkhi and Mike Reiter. | The Journal of Computer Security, 5:113, 1997. | π |
1986-1996 (prior to 1996, my name is spelled Dalia Malki)
| Title | Authors | Where | Links |
|---|---|---|---|
| The Transis Approach to High Availability Cluster Communication. | Danny Dolev, Dalia Malki. | Communications of the ACM, 39(4):64β70, April, 1996. | π |
| Warm Backup using Snooping. | Danny Dolev, Dalia Malki, Yuval Yarom. | First International Workshop on Services in Distributed and Networked Environments (SDNE), Prague, Czech Republic, June 1994, pp. 60-65. | π |
| The Design of the Transis System. | Danny Dolev and Dalia Malki. | Proceedings of the Dagstuhl Intl. Workshop on Unifying Theory and Practice in Distributed Computing, 1994, pp. 83-98. | π |
| Early Delivery Totally Ordered Broadcast in Asynchronous Environments. | Danny Dolev, Shlomo Kramer and Dalia Malki. | Proceedings of the 23nd Annual International Symposium on Fault-Tolerant Computing (FTCS), June 1993, pp. 544-553. | π |
| Membership Algorithms for Multicast Communication Groups. | Yair Amir, Danny Dolev, Shlomo Kramer and Dalia Malki. | Proceedings of the 6th Intl. Workshop on Distributed Algorithms (WDAG-6), Haifa, Israel, Nov. 1992, pp. 292-312. | π |
| Transis: A Communication Sub-System for High Availability. | Yair Amir, Danny Dolev, Shlomo Kramer and Dalia Malki. | Proceedings of the 22nd Annual International Symposium on Fault-Tolerant Computing (FTCS), July 1992, pp. 76-84. | π |