Prof. Danny Dolev

The Berthold Badler Chair in Computer Science

Acm Fellow and IEEE Fellow

The Rachel and Selim Benin School of Computer Science and Engineering
The Hebrew University of Jerusalem

EdmondJ. Safra Campus
Givat Ram
Jerusalem, 91904
Israel

Email mail-addr 
url: http://www.cs.huji.ac.il/~dolev


 

phone: +972 2-54-94-588
fax:      +972 722-766-743

feather

BLUECUBE Publications                                            

LBLUCUBE Graduate Students

PURCUBE Patents                                             

GRENCUBE Education                                                           

REDCUBE Employment                                           

GRENCUBESummary of Background

 feather

bluebull      Recent Publications

  1. Revisiting Asynchronous Fault Tolerant Computation with Optimal Resilience. Ittai Abraham, Danny Dolev, Gilad Stern, PODC 2020.
  2. Communication Complexity of Byzantine Agreement, Revisited. Ittai Abraham, T-H. Hubert Chan, Danny Dolev, Kartik Nayak, Rafael Pass, Ling Ren, Elaine Shi. PODC 2019.
  3. Implementing Mediators with Asynchronous Cheap Talk. Ittai Abraham, Danny Dolev, Ivan Geffner, Joseph Y. Halpern. PODC 2019.
  4. Synchronous Byzantine Agreement with Optimal Resilience, Expected O(n^2) Communication, and Expected O(1) Rounds. Ittai Abraham, Srinivas Devadas, Danny Dolev, Kartik Nayak, and Ling Ren. FC 2019.
  5. Distributed Protocols for Leader Election: a Game-Theoretic Perspective, Ittai Abraham, Danny Dolev, and Joe Halpern. ACM Transactions on Economics and Computation (TEAC). Volume 7 Issue 1, February 2019 TEAC 2019.
  6. Preventing (Network) Time Travel with Chronos. Omer Deutsch, Neta Rozen Schiff, Danny Dolev, and Michael Schapira. NDSS 18.
  7. Compact Routing Messages in Self-Healing Trees. Armando Castanedar, Danny Dolev and Amitabh Trehan. TCS 2018.
  8. LogMemcached - An RDMA based Continuous Cache Replication. Samyon Ristov, Yaron Weinsberg, Danny Dolev and Tal Anker. The ACM SIGCOMM 2017 Workshop on Kernel-Bypass Networks (SIGCOMM KBNets'2017 Workshop.
  9. (*) Compact Routing Messages in Self-Healing Trees, Armando Castaneda, Danny Dolev and Amitabh Trehan. ICDCN 2016.
  10. HEX: Scaling Honeycombs is Easier than Scaling Clock Trees, Danny Dolev, Matthias F"ugger, Christoph Lenzen, Martin Perner, and Ulrich Schmid. Journal of Computer and System Sciences, Vol. 82, issue 5, Aug. 2016, pp. 929-956.
  11. Synchronous Counting and Computational Algorithm Design, Danny Dolev, Keijo Heljanko, Matti Järvisalo, Janne H. Korhonen, Christoph Lenzen, Joel Rybicki, Jukka Suomela, and Siert Wieringa. Journal of Computer and System Sciences (2015). (preprint)
  12. Byzantine Agreement with Optimal Early Stopping, Optimal Resilience and Polynomial Complexity, Ittai Abraham and Danny Dolev, STOC 2015.
  13. Fault-tolerant Distributed Systems in Hardware, Danny Dolev, Matthias Fugger, Christoph Lenzen, Ulrich Schmid, and Andreas Steininger. (Invited article) EATCS Bulletin 116, June 2015.
  14. Fault-tolerant Algorithms for Tick-generation in Asynchronous Logic: Robust Pulse Generation,
    Danny Dolev, Matthias Fuegger, Christoph Lenzen, and Ulrich Schmid. Journal of the ACM, 61(5):860-900, August 2014.
  15. Rigorously Modeling Self-Stabilizing Fault-Tolerant Circuits: An Ultra-Robust Clocking Scheme for Systems-on-Chip, Danny Dolev, Matthias Fuegger, Christoph Lenzen, Markus Posch, Ulrich Schmid, and Andreas Steininger. Journal of Computer and System Sciences, 80(4):30, January 2014.
  16. Distributed Protocols for Leader Election: a Game-Theoretic Perspective, Ittai Abraham, Danny Dolev, and Joe Halpern, DISC 2013, Oct. 2013. (DISC-2013)
  17. BA: Communication-Efficient Byzantine Consensus Without a Common Clock, Danny Dolev and Christoph Lenzen, (BA) DISC 2013, Oct. 2013. (DISC-2013BA)
  18. Synchronous Counting and Computational Algorithm Design, Danny Dolev, Janne H. Korhonen, Christoph Lenzen, Joel Rybicki, and Jukka Suomela. 15th Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), November 2013.
  19. Early-Deciding Consensus is Expensive, Christoph Lenzen and Danny Dolev, 32nd Symposium on Principles of Distributed Computing (PODC), July 2013.
  20. HEX: Scaling Honeycombs is Easier than Scaling Clock Trees, Danny Dolev, Matthias F"ugger, Christoph Lenzen, Martin Perner, and Ulrich Schmid, 25th Symposium on Parallelism in Algorithms and Architectures (SPAA), July 2013.
  21. Enhancing RSSI-based Tracking Accuracy in Wireless Sensor Networks, Gaddi Blumrose, Bracha Hod, Tal Anker, Danny Dolev, Boris Rubinsky,ACM Transactions on Sensor Networks (TOSN), Volume 9 Issue 3, May 2013, Article No. 29. (ATSN-2013)
  22. Enhanced Calibration Technique for RSSI-Based Ranging in Body Area Networks, Gaddi Blumrosen, Bracha Hod, Tal Ankera, Danny Dolev and, Boris Rubinsky, Ad Hoc Networks 11:1 (2013), January 2013, Pages 555–569. (ADN-2013)
  23. Tri, Tri again": Finding Triangles and Small Subgraphs in a Distributed Setting, Danny Dolev, Christoph Lenzen, and Shir Peled, 26th Symposium on Distributed Computing (DISC), October 2012.
  24. An Optimal Self-Stabilizing Firing Squad, Danny Dolev, Ezra N. Hoch, and Yoram Moses, SIAM J. Comput. 41, pp. 415-435, 2012.
  25. No Justified Complaints: On Fair Sharing of Multiple Resources, Danny Dolev, Dror G. Feitelson, Joseph Y. Halpern, Raz Kupferman and Nathan Linial, ITCS12 2012. arXiv:1106.2673
  26. Exploitation of Electromagnetic Radiation Properties for Medical Diagnostic, Gaddi Blumrosen, Dana Porrat, Boris Rubinsky, and Danny Dolev, IEEE International Conference on Microwaves, Communications, Antennas and Electronic Systems - COMCAS, 2011.
  27. Fault-tolerant Algorithms for Tick-generation in Asynchronous Logic: Robust Pulse Synchronization, Danny Dolev, Matthias Fuegger, Christoph Lenzen, and Ulrich Schmid, 13th Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), October 2011. arXiv:1105.4780
  28. Delay Fast Packets (DFP): Prevention of DNS Cache Poisoning, Shimrit Tzur-David, Kiril Lashchiver, Danny Dolev, Tal Anker, SECURECOMM, Sept. 2011.arXiv:/0901.2689
  29. Fault identification via non-parametric belief propagation. D. Bickson, D. Baron, Alex T. Ihler, H. Avissar and D. Dolev. In IEEE Tran. on Signal Processing, 2011. arXiv:/0908.2005
  30. Peer-to-Peer secure multi-party numerical computation facing malicious adversaries. D. Bickson, T. Reinman, D. Dolev and B. Pinkas. In Peer-to-Peer Networking and Applications Journal, Vol. 3, No. 2, June 2010, Springer, pp. 129-144. arXiv:/0901.2689
  31. Simple Gradecast Based Algorithms, Michael Ben-Or, Danny Dolev, Ezra N. Hoch, DISC 2010, Sept. 2010.   For full paper see:  arXiv:1007.1049v2
  32. A Fault-Resistant Asynchronous Clock Function, Ezra N. Hoch, Michael Ben-Or and Danny Dolev, in 12th International Symposium on Stabilization, Safety and Security of Distributed Systems (SSS '10), Sept. 2010.  For full paper see:    arXiv:1007.1709v2
  33. Continuous Close-Proximity RSSI-based Tracking in Wireless Sensor Networks. Gaddi Blumrosen, Bracha Hod, Tal Anker, Danny Dolev and Boris Rubinsky,  International Conference on. Body Sensor Networks (BSN 2010), Singapore, June 2010.
  34. SPADE: Statistical Packet Acceptance Defense Engine. Shimrit Tzur-David, Danny Dolev, and Tal Anker, IEEE Workshop on High Performance Switching and Routing (HPSR2010), Dallas,  June 2010.
  35. Steward: Scaling Byzantine Fault-Tolerant Replication to Wide Area Networks, Yair Amir, Claudiu Danilov, Danny Dolev, Jonathan Kirsch, John Lane, Cristina Nita-Rotaru, Josh Olsen, David Zage,  IEEE Transactions on Dependable and Secure Computing - January-March 2010 (Vol. 7, No. 1), pp.80-93.

 Full list of Publications