Author pages are created from data sourced from our academic publisher partnerships and public sources.
- Publications
- Influence
Self Stabilization
- S. Dolev
- Computer Science
- J. Aerosp. Comput. Inf. Commun.
- 2004
AULT tolerance and reliability are important issues for flight vehicles such as aircraft, space-shuttles, and satellites. A self-stabilizing system recovers automatically following disturbances that… Expand
Self-stabilization of dynamic systems assuming only read/write atomicity
- S. Dolev, A. Israeli, S. Moran
- Computer Science
- PODC '90
- 1 November 1993
SummaryThree self-stabilizing protocols for distributed systems in the shared memory model are presented. The first protocol is a mutual-exclusion prootocol for tree structured systems. The second… Expand
CAR-STM: scheduling-based collision avoidance and resolution for software transactional memory
- S. Dolev, D. Hendler, Adi Suissa
- Computer Science
- PODC '08
- 18 August 2008
Transactional memory (TM) is a key concurrent programming abstraction. Several software-based transactional memory (STM) implementations have been developed in recent years. All STM implementations… Expand
Self-Stabilizing Depth-First Search
- Zeev Collin, S. Dolev
- Mathematics, Computer Science
- Inf. Process. Lett.
- 22 March 1994
Abstract A distributed algorithm is self-stabilizing if it can be started from any possible global state. Once started, the algorithm converges to a consistent global state by itself. This paper… Expand
Google Android: A Comprehensive Security Assessment
- A. Shabtai, Yuval Fledel, Uri Kanonov, Y. Elovici, S. Dolev, Chanan Glezer
- Computer Science
- IEEE Security & Privacy
- 1 March 2010
This research provides a security assessment of the Android framework-Google's software stack for mobile devices. The authors identify high-risk threats to the framework and suggest several security… Expand
Detecting unknown malicious code by applying classification techniques on OpCode patterns
- A. Shabtai, Robert Moskovitch, Clint Feher, S. Dolev, Y. Elovici
- Computer Science
- Security Informatics
- 27 February 2012
In previous studies classification algorithms were employed successfully for the detection of unknown malicious code. Most of these studies extracted features based on byte n-gram patterns in order… Expand
Unknown Malcode Detection Using OPCODE Representation
- Robert Moskovitch, Clint Feher, +4 authors Y. Elovici
- Computer Science
- EuroISI
- 3 December 2008
The recent growth in network usage has motivated the creation of new malicious code for various purposes, including economic ones. Today's signature-based anti-viruses are very accurate, but cannot… Expand
SuperStabilizing protocols for dynamic distributed systems
Two aspects of distributed-protocol reliability are the ability to recover from transient faults and the ability to function in a dynamic environment. Approaches for both of these aspects have been… Expand
Self-stabilizing clock synchronization in the presence of Byzantine faults
We initiate a study of bounded clock synchronization under a more severe fault model than that proposed by Lamport and Melliar-Smith [1985]. Realistic aspects of the problem of synchronizing clocks… Expand
Routing betweenness centrality
- S. Dolev, Y. Elovici, Rami Puzis
- Computer Science
- JACM
- 1 April 2010
Betweenness-Centrality measure is often used in social and computer communication networks to estimate the potential monitoring and control capabilities a vertex may have on data flowing in the… Expand