• 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 thatExpand
  • 1,117
  • 46
  • PDF
Self-stabilization of dynamic systems assuming only read/write atomicity
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 secondExpand
  • 353
  • 26
  • PDF
CAR-STM: scheduling-based collision avoidance and resolution for software transactional memory
Transactional memory (TM) is a key concurrent programming abstraction. Several software-based transactional memory (STM) implementations have been developed in recent years. All STM implementationsExpand
  • 131
  • 25
  • PDF
Self-Stabilizing Depth-First Search
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 paperExpand
  • 127
  • 19
Google Android: A Comprehensive Security Assessment
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 securityExpand
  • 398
  • 17
  • PDF
Detecting unknown malicious code by applying classification techniques on OpCode patterns
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 orderExpand
  • 186
  • 13
  • PDF
Unknown Malcode Detection Using OPCODE Representation
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 cannotExpand
  • 159
  • 11
  • PDF
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 beenExpand
  • 242
  • 10
  • PDF
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 clocksExpand
  • 154
  • 10
  • PDF
Routing betweenness centrality
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 theExpand
  • 121
  • 10
  • PDF