Shlomi Dolev

From MaRDI portal
(Redirected from Person:216240)



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
HBSS: (simple) hash-based stateless signatures -- hash all the way to the rescue!
Cryptography and Communications
2025-04-22Paper
Self-masking for hardening inversions
Theoretical Computer Science
2025-02-26Paper
Neighborhood mutual remainder: self-stabilizing distributed implementation and applications
Acta Informatica
2024-03-05Paper
Bee's strategy against Byzantines. Replacing Byzantine participants (extended abstract)
Lecture Notes in Computer Science
2023-08-02Paper
Location Functions for Self-stabilizing Byzantine Tolerant Swarms2023-04-21Paper
Self-stabilizing and private distributed shared atomic memory in seldomly fair message passing networks
Algorithmica
2023-04-21Paper
Location functions for self-stabilizing Byzantine tolerant swarms
Theoretical Computer Science
2023-04-12Paper
Brief Announcement: Local Deal-Agreement Based Monotonic Distributed Algorithms for Load Balancing in General Graphs2023-03-21Paper
Invited Paper: Homomorphic Operations Techniques Yielding Communication Efficiency2023-03-21Paper
Invited Paper: Reactive PLS for Distributed Decision2023-03-21Paper
Secret-shared RAM indefinite private and secure RAM execution of perfectly unrevealed programs
Acta Informatica
2023-03-01Paper
Broadcast encryption with both temporary and permanent revocation
Lecture Notes in Computer Science
2022-11-04Paper
Towards self-stabilizing blockchain, reconstructing totally erased blockchain
Information and Computation
2022-06-08Paper
Safety assurance via on-line monitoring
Distributed Computing
2020-12-04Paper
Self-stabilizing virtual synchrony
Lecture Notes in Computer Science
2020-01-14Paper
Functional encryption for cascade automata (extended abstract)
Lecture Notes in Computer Science
2020-01-14Paper
Self-stabilizing Byzantine-tolerant distributed replicated state machine2019-11-22Paper
Accumulating automata and cascaded equations automata for communicationless information theoretically secure multi-party computation
Theoretical Computer Science
2019-10-18Paper
Explicit communication among stigmergic robots
International Journal of Foundations of Computer Science
2019-06-24Paper
Graph degree sequence solely determines the expected Hopfield network pattern stability
Neural Computation
2019-06-04Paper
Perennial secure multi-party computation of universal Turing machine
Theoretical Computer Science
2019-04-23Paper
Make\&activate-before-break: policy preserving seamless routes replacement in SDN2019-01-30Paper
Upper bounds for multi-level multi-server paging
Information Processing Letters
2018-12-05Paper
Topology manipulations for speeding betweenness centrality computation
Journal of Complex Networks
2018-10-16Paper
Practically-self-stabilizing virtual synchrony
Journal of Computer and System Sciences
2018-06-06Paper
Big data interpolation using functional representation
Acta Informatica
2018-04-17Paper
Brief announcement: Secure self-stabilizing computation
Proceedings of the ACM Symposium on Principles of Distributed Computing
2017-10-11Paper
Brief announcement: Proactive secret sharing with a dishonest majority
Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing
2017-09-29Paper
Wait-free clock synchronization
Proceedings of the twelfth annual ACM symposium on Principles of distributed computing - PODC '93
2017-09-29Paper
Functional encryption for cascade automata
Information and Computation
2017-08-08Paper
Proactive Secret Sharing with a Dishonest Majority
Lecture Notes in Computer Science
2016-10-21Paper
Security and privacy aspects in MapReduce on clouds: a survey
Computer Science Review
2016-08-16Paper
Stability of multi-valued continuous consensus
Electronic Notes in Theoretical Computer Science
2016-06-06Paper
Magnifying computing gaps. Establishing encrypted communication over unidirectional channels
Theoretical Computer Science
2016-06-01Paper
Stabilizing server-based storage in Byzantine asynchronous message-passing systems (extended abstract)
Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing
2016-03-23Paper
Rationality authority for provable rational behavior
Algorithms, Probability, Networks, and Games
2016-01-27Paper
Towards efficient private distributed computation on unbounded input streams
Journal of Mathematical Cryptology
2015-08-07Paper
Resource bounds for self stabilizing message driven protocols
Proceedings of the tenth annual ACM symposium on Principles of distributed computing - PODC '91
2015-06-19Paper
Probabilistic connectivity threshold for directional antenna widths
Theoretical Computer Science
2015-05-22Paper
Stability of long-lived consensus (extended abstract)
Proceedings of the nineteenth annual ACM symposium on Principles of distributed computing
2015-03-03Paper
Practically stabilizing SWMR atomic memory in message-passing systems
Journal of Computer and System Sciences
2015-02-20Paper
Secure communication over radio channels
Proceedings of the twenty-seventh ACM symposium on Principles of distributed computing
2014-12-12Paper
Innovative approaches for security of small artefacts
Computer Science Review
2014-10-24Paper
Robust and scalable middleware for selfish-computer systems
Computer Science Review
2014-10-24Paper
Sensor networks: from dependence analysis via matroid bases to online synthesis
Theoretical Computer Science
2014-09-18Paper
The wireless synchronization problem
Proceedings of the 28th ACM symposium on Principles of distributed computing
2014-07-23Paper
Game authority for robust andscalable distributed selfish-computer systems
Proceedings of the twenty-sixth annual ACM symposium on Principles of distributed computing
2014-03-13Paper
Spanders: distributed spanning expanders
Science of Computer Programming
2014-01-29Paper
Probabilistic Connectivity Threshold for Directional Antenna Widths
Structural Information and Communication Complexity
2013-12-17Paper
HyperTree for self-stabilizing peer-to-peer systems
Distributed Computing
2013-06-20Paper
Parallel composition for time-to-fault adaptive stabilization
Distributed Computing
2013-06-20Paper
Transient fault detectors
Distributed Computing
2013-06-20Paper
GeoQuorums: implementing atomic memory in mobile ad hoc networks
Distributed Computing
2013-06-07Paper
Succinct Permanent Is NEXP-Hard with Many Hard Instances
Lecture Notes in Computer Science
2013-06-07Paper
Nested Merkle's puzzles against sampling attacks
Information Security and Cryptology
2013-05-28Paper
Stabilizing data-link over non-FIFO channels with optimal fault-resilience
Information Processing Letters
2013-04-04Paper
Unique permutation hashing
Theoretical Computer Science
2013-03-04Paper
TTLed random walks for collaborative monitoring in mobile and social networks
Handbook of Optimization in Complex Networks
2012-09-27Paper
Leveraging channel diversity to gain efficiency and robustness for wireless broadcast
Lecture Notes in Computer Science
2011-10-28Paper
Deterministic and energy-optimal wireless synchronization
Lecture Notes in Computer Science
2011-10-28Paper
Trawling traffic under attack overcoming DDoS attacks by target-controlled traffic filtering
International Journal of Foundations of Computer Science
2011-10-10Paper
Self-Stabilizing and Self-Organizing Virtual Infrastructures for Mobile Networks
Monographs in Theoretical Computer Science. An EATCS Series
2011-04-05Paper
RFID authentication efficient proactive information security within computational security
Theory of Computing Systems
2011-04-01Paper
Self-stabilizing clock synchronization in the presence of Byzantine faults
Journal of the ACM
2011-02-01Paper
Optical solution for hard on average \#P-complete instances (using exponential space for solving instances of the permanent)
Natural Computing
2010-11-30Paper
Randomization adaptive self-stabilization
Acta Informatica
2010-10-08Paper
When consensus meets self-stabilization
Journal of Computer and System Sciences
2010-10-07Paper
Fast self-stabilizing minimum spanning tree construction. Using compact nearest common ancestor labeling scheme
Lecture Notes in Computer Science
2010-09-10Paper
Incremental deployment of network monitors based on Group Betweenness Centrality
Information Processing Letters
2010-09-01Paper
Routing betweenness centrality
Journal of the ACM
2010-07-14Paper
Game authority for robust and scalable distributed selfish-computer systems
Theoretical Computer Science
2010-06-07Paper
Masking traveling beams: optical solutions for NP-complete problems, trading space for time
Theoretical Computer Science
2010-02-19Paper
scientific article; zbMATH DE number 5663542 (Why is no real title available?)2010-01-27Paper
scientific article; zbMATH DE number 5605099 (Why is no real title available?)2009-09-19Paper
Empire of colonies: Self-stabilizing and self-organizing distributed algorithm
Theoretical Computer Science
2009-03-02Paper
Gossiping in a Multi-channel Radio Network
Lecture Notes in Computer Science
2008-09-02Paper
Stability of Multivalued Continuous Consensus
SIAM Journal on Computing
2008-08-14Paper
Secret Swarm Unit Reactive k −Secret Sharing
Lecture Notes in Computer Science
2008-04-11Paper
The Traveling Beams Optical Solutions for Bounded NP-Complete Problems
Lecture Notes in Computer Science
2007-11-15Paper
Memory Management for Self-stabilizing Operating Systems
Lecture Notes in Computer Science
2007-09-25Paper
Self-stabilizing Mobile Node Location Management and Message Routing
Lecture Notes in Computer Science
2007-09-25Paper
Self-stabilization Preserving Compiler
Lecture Notes in Computer Science
2007-09-25Paper
Dynamic load balancing with group communication
Theoretical Computer Science
2007-01-09Paper
Geographic quorum system approximations
Algorithmica
2005-04-29Paper
Self-stabilizing group communication in directed networks
Acta Informatica
2005-02-11Paper
scientific article; zbMATH DE number 2061539 (Why is no real title available?)2004-03-21Paper
scientific article; zbMATH DE number 2036571 (Why is no real title available?)2004-02-02Paper
scientific article; zbMATH DE number 2036570 (Why is no real title available?)2004-02-02Paper
Buses for anonymous message delivery
Journal of Cryptology
2003-08-27Paper
Stability of long-lived consensus.
Journal of Computer and System Sciences
2003-08-19Paper
Local stabilizer
Journal of Parallel and Distributed Computing
2002-10-16Paper
The sound of silence: Guessing games for saving energy in a mobile environment
Journal of Parallel and Distributed Computing
2002-07-22Paper
Self-stabilization2002-04-15Paper
Self-stabilizing \(\ell\)-exclusion
Theoretical Computer Science
2002-03-03Paper
Bubbles: Adaptive Routing Scheme for High-Speed Dynamic Networks
SIAM Journal on Computing
2000-03-19Paper
Memory requirements for silent stabilization
Acta Informatica
2000-01-04Paper
A competitive analysis for retransmission timeout1999-11-23Paper
Baked-Potato Routing
Journal of Algorithms
1999-10-25Paper
scientific article; zbMATH DE number 1332668 (Why is no real title available?)1999-09-08Paper
scientific article; zbMATH DE number 1263229 (Why is no real title available?)1999-06-29Paper
On the computational power of self-stabilizing systems
Theoretical Computer Science
1998-07-22Paper
Wait-free clock synchronization
Algorithmica
1998-01-12Paper
Resource Bounds for Self-Stabilizing Message-Driven Protocols
SIAM Journal on Computing
1997-08-03Paper
scientific article; zbMATH DE number 1088249 (Why is no real title available?)1997-01-01Paper
Connection management without retaining information
Information and Computation
1996-02-26Paper
Self-stabilization of dynamic systems assuming only read/write atomicity
Distributed Computing
1995-11-22Paper
Self-stabilizing depth-first search
Information Processing Letters
1994-05-03Paper


Research outcomes over time


This page was built for person: Shlomi Dolev