Shlomi Dolev

According to our database1, Shlomi Dolev
  • authored at least 339 papers between 1990 and 2017.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2017
Dynamic attribute based vehicle authentication.
Wireless Networks, 2017

Improving of entropy adaptive on-line compression.
Wireless Networks, 2017

Functional encryption for cascade automata.
Inf. Comput., 2017

A Survey on Geographically Distributed Big-Data Processing using MapReduce.
CoRR, 2017

Broadcast Encryption with Both Temporary and Permanent Revocation.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2017

Brief Announcement: Secure Self-Stabilizing Computation.
Proceedings of the ACM Symposium on Principles of Distributed Computing, 2017

Monitorability Bounds via Expander, Sparsifier and Random Walks - The Interplay Between On-Demand Monitoring and Anonymity (Extendend Abstract).
Proceedings of the Networked Systems - 5th International Conference, 2017

Self-stabilizing Reconfiguration.
Proceedings of the Networked Systems - 5th International Conference, 2017

2016
Vehicle authentication via monolithically certified public key and attributes.
Wireless Networks, 2016

Assignment Problems of Different-Sized Inputs in MapReduce.
TKDD, 2016

Magnifying computing gaps: Establishing encrypted communication over unidirectional channels.
Theor. Comput. Sci., 2016

Efficient online detection of temporal patterns.
PeerJ Computer Science, 2016

Towards holographic "brain" memory based on randomization and Walsh-Hadamard transformation.
Neural Networks, 2016

Security and privacy aspects in MapReduce on clouds: A survey.
Computer Science Review, 2016

Monitorability Bounds via Expander, Sparsifier and Random Walks. The Interplay Between On-Demand Monitoring and Anonymity.
CoRR, 2016

Self-stabilizing Reconfiguration.
CoRR, 2016

Efficient and Private Approximations of Distributed Databases Calculations.
CoRR, 2016

Security and Privacy Aspects in MapReduce on Clouds: A Survey.
CoRR, 2016

Optical PUF for Non-Forwardable Vehicle Authentication.
Computer Communications, 2016

Local Self-Organization with Strong Privacy Protection.
Proceedings of the 2016 IEEE Trustcom/BigDataSE/ISPA, 2016

Self-stabilizing Byzantine-Tolerant Distributed Replicated State Machine.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2016

Proactive Secret Sharing with a Dishonest Majority.
Proceedings of the Security and Cryptography for Networks - 10th International Conference, 2016

Brief Announcement: Proactive Secret Sharing with a Dishonest Majority.
Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing, 2016

Peripheral authentication for autonomous vehicles.
Proceedings of the 15th IEEE International Symposium on Network Computing and Applications, 2016

Self-stabilizing Reconfiguration.
Proceedings of the Posters and Demos Session of the 17th International Middleware Conference, 2016

DPDNS 2016 Keynote.
Proceedings of the 2016 IEEE International Parallel and Distributed Processing Symposium Workshops, 2016

Private and Secure Secret Shared MapReduce (Extended Abstract) - (Extended Abstract).
Proceedings of the Data and Applications Security and Privacy XXX, 2016

Concise essence-preserving big data representation.
Proceedings of the 2016 IEEE International Conference on Big Data, 2016

2015
Probabilistic connectivity threshold for directional antenna widths.
Theor. Comput. Sci., 2015

Rendezvous tunnel for anonymous publishing.
Peer-to-Peer Networking and Applications, 2015

Graph Degree Sequence Solely Determines the Expected Hopfield Network Pattern Stability.
Neural Computation, 2015

Compressive scanning of an object signature.
Natural Computing, 2015

Optical SuperComputing: Preface to special issue.
Natural Computing, 2015

Holographic parallel processor for calculating Kronecker product.
Natural Computing, 2015

Towards efficient private distributed computation on unbounded input streams.
J. Mathematical Cryptology, 2015

Practically stabilizing SWMR atomic memory in message-passing systems.
J. Comput. Syst. Sci., 2015

Secret Shared Random Access Machine.
IACR Cryptology ePrint Archive, 2015

Self-* programming: run-time parallel control search for reflection box.
Evolving Systems, 2015

Vehicle to Vehicle Authentication.
CoRR, 2015

Vehicle Authentication via Monolithically Certified Public Key and Attributes.
CoRR, 2015

Practically Stabilizing Virtual Synchrony.
CoRR, 2015

Stabilizing Server-Based Storage in Byzantine Asynchronous Message-Passing Systems.
CoRR, 2015

Assignment Problems of Different-Sized Inputs in MapReduce.
CoRR, 2015

Assignment of Different-Sized Inputs in MapReduce.
CoRR, 2015

Meta-MapReduce: A Technique for Reducing Communication in MapReduce Computations.
CoRR, 2015

Topology manipulations for speeding betweenness centrality computation.
J. Complex Networks, 2015

Self-stabilizing Virtual Synchrony.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2015

Functional Encryption for Cascade Automata (Extended Abstract).
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2015

Brief Announcement: Robust and Private Distributed Shared Atomic Memory in Message Passing Networks.
Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing, 2015

Stabilizing Server-Based Storage in Byzantine Asynchronous Message-Passing Systems: Extended abstract.
Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing, 2015

Optical PUF for Non Forwardable Vehicle Authentication.
Proceedings of the 14th IEEE International Symposium on Network Computing and Applications, 2015

Seamless SDN Route Updates.
Proceedings of the 14th IEEE International Symposium on Network Computing and Applications, 2015

Archiving Programs for the Future.
Proceedings of the SKY 2015, 2015

Assignment of Different-Sized Inputs in MapReduce.
Proceedings of the Workshops of the EDBT/ICDT 2015 Joint Conference (EDBT/ICDT), 2015

Bounds for Overlapping Interval Join on MapReduce.
Proceedings of the Workshops of the EDBT/ICDT 2015 Joint Conference (EDBT/ICDT), 2015

Proactive Contention Avoidance.
Proceedings of the Transactional Memory. Foundations, Algorithms, Tools, and Applications, 2015

Securing the infrastructure and the workloads of linux containers.
Proceedings of the 2015 IEEE Conference on Communications and Network Security, 2015

Accumulating Automata and Cascaded Equations Automata for Communicationless Information Theoretically Secure Multi-Party Computation: Extended Abstract.
Proceedings of the 3rd International Workshop on Security in Cloud Computing, 2015

Rationality Authority for Provable Rational Behavior.
Proceedings of the Algorithms, Probability, Networks, and Games, 2015

The Reality Game Theory Imposes (Short Summary).
Proceedings of the Algorithms, Probability, Networks, and Games, 2015

Secret Shared Random Access Machine.
Proceedings of the Algorithmic Aspects of Cloud Computing - First International Workshop, 2015

SSSDB: Database with Private Information Search.
Proceedings of the Algorithmic Aspects of Cloud Computing - First International Workshop, 2015

2014
Deterministic and Energy-Optimal Wireless Synchronization.
TOSN, 2014

Sensor networks: From dependence analysis via matroid bases to online synthesis.
Theor. Comput. Sci., 2014

12th international symposium on stabilization, safety, and security of distributed systems.
Inf. Comput., 2014

Accumulating Automata and Cascaded Equations Automata for Communicationless Information Theoretically Secure Multi-Party Computation.
IACR Cryptology ePrint Archive, 2014

Big Data Representation as High Dimensional Configuration.
CoRR, 2014

Information security for sensors by overwhelming random sequences and permutations.
Ad Hoc Networks, 2014

Direction election in flocking swarms.
Ad Hoc Networks, 2014

Assignment of Different-Sized Inputs in MapReduce.
Proceedings of the Distributed Computing - 28th International Symposium, 2014

Stateless Stabilization Bootstrap (Extended Abstract).
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2014

Brief announcement: amoebot - a new model for programmable matter.
Proceedings of the 26th ACM Symposium on Parallelism in Algorithms and Architectures, 2014

Self-Stabilizing Virtual Machine Hypervisor Architecture for Resilient Cloud.
Proceedings of the 2014 IEEE World Congress on Services, 2014

Practically Self-stabilizing Paxos Replicated State-Machine.
Proceedings of the Networked Systems - Second International Conference, 2014

Abort Free SemanticTM by Dependency Aware Scheduling of Transactional Instructions.
Proceedings of the Networked Systems - Second International Conference, 2014

Dynamic Attribute Based Vehicle Authentication.
Proceedings of the 2014 IEEE 13th International Symposium on Network Computing and Applications, 2014

Entropy Adaptive On-Line Compression.
Proceedings of the 2014 IEEE 13th International Symposium on Network Computing and Applications, 2014

SDN-Based Private Interconnection.
Proceedings of the 2014 IEEE 13th International Symposium on Network Computing and Applications, 2014

2013
Bounded-Hop Energy-Efficient Liveness of Flocking Swarms.
IEEE Trans. Mob. Comput., 2013

Unique permutation hashing.
Theor. Comput. Sci., 2013

Efficient and Universal Corruption Resilient Fountain Codes.
IEEE Trans. Communications, 2013

Spanders: Distributed spanning expanders.
Sci. Comput. Program., 2013

Towards Efficient Private Distributed Computation on Unbounded Input Streams.
IACR Cryptology ePrint Archive, 2013

Preserving Hamming Distance in Arithmetic and Logical Operations.
J. Electronic Testing, 2013

Self-Stabilizing Paxos
CoRR, 2013

Ameba-inspired Self-organizing Particle Systems.
CoRR, 2013

Fast Self-Stabilizing Minimum Spanning Tree Construction Using Compact Nearest Common Ancestor Labeling Scheme.
CoRR, 2013

Self-stabilizing Byzantine Resilient Topology Discovery and Message Delivery.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2013

Probabilistic Connectivity Threshold for Directional Antenna Widths - (Extended Abstract).
Proceedings of the Structural Information and Communication Complexity, 2013

Certificating Vehicle Public Key with Vehicle Attributes A (periodical) Licensing Routine, Against Man-in-the-Middle Attacks and Beyond.
Proceedings of the SAFECOMP 2013, 2013

Self-stabilizing Byzantine Resilient Topology Discovery and Message Delivery - (Extended Abstract).
Proceedings of the Networked Systems - First International Conference, 2013

Exploiting simultaneous usage of different wireless interfaces for security and mobility.
Proceedings of the Second International Conference on Future Generation Communication Technologies (FGCT 2013), 2013

Succinct Permanent Is NEXP-Hard with Many Hard Instances.
Proceedings of the Algorithms and Complexity, 8th International Conference, 2013

Towards Efficient Private Distributed Computation on Unbounded Input Streams - (Extended Abstract).
Proceedings of the Applied Cryptography and Network Security, 2013

2012
Parallel decomposition of combinatorial optimization problems using electro-optical vector by matrix multiplication architecture.
The Journal of Supercomputing, 2012

Optical supercomputing: introduction to special issue.
The Journal of Supercomputing, 2012

Stabilization Enabling Technology.
IEEE Trans. Dependable Sec. Comput., 2012

Editorial for Algorithmic Aspects of Wireless Sensor Networks.
Theor. Comput. Sci., 2012

Anonymous transactions in computer networks.
TAAS, 2012

Detecting unknown malicious code by applying classification techniques on OpCode patterns.
Security Informatics, 2012

Succinct Permanent is NEXP-hard with Many Hard Instances.
Electronic Colloquium on Computational Complexity (ECCC), 2012

Data Interpolation: An Efficient Sampling Alternative for Big Data Aggregation
CoRR, 2012

Self-Stabilizing Byzantine Resilient Topology Discovery and Message Delivery
CoRR, 2012

Efficient Private Distributed Computation on Unbounded Input Streams
CoRR, 2012

Optical Solver of Combinatorial Problems: Nano-Technological Approach
CoRR, 2012

Sensor Networks: from Dependence Analysis Via Matroid Bases to Online Synthesis
CoRR, 2012

Secret swarm unit: Reactive k-secret sharing.
Ad Hoc Networks, 2012

Brief Announcement: Efficient Private Distributed Computation on Unbounded Input Streams.
Proceedings of the Distributed Computing - 26th International Symposium, 2012

Self-stabilizing End-to-End Communication in (Bounded Capacity, Omitting, Duplicating and non-FIFO) Dynamic Networks - (Extended Abstract).
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2012

Brief Announcement: Arbitrators in the Security Infrastructure.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2012

Heuristics for Speeding Up Betweenness Centrality Computation.
Proceedings of the 2012 International Conference on Privacy, 2012

Object Signature Acquisition through Compressive Scanning.
Proceedings of the Optical Supercomputing - 4th International Workshop, 2012

A Nano-Optics Vector Matrix Multiplier for Implementing State Machines.
Proceedings of the Optical Supercomputing - 4th International Workshop, 2012

Optical Energy Efficient Asynchronous Automata and Circuits.
Proceedings of the Optical Supercomputing - 4th International Workshop, 2012

Crash Resilient and Pseudo-Stabilizing Atomic Registers.
Proceedings of the Principles of Distributed Systems, 16th International Conference, 2012

Permanent Revocation in Attribute Based Broadcast Encryption.
Proceedings of the 2012 ASE International Conference on Cyber Security, 2012

Nested Merkle's Puzzles against Sampling Attacks.
Proceedings of the Information Security and Cryptology - 8th International Conference, 2012

Big Data Interpolation an Efficient Sampling Alternative for Sensor Data Aggregation.
Proceedings of the Algorithms for Sensor Systems, 2012

2011
Self-Stabilizing and Self-Organizing Virtual Infrastructures for Mobile Networks.
Proceedings of the Theoretical Aspects of Distributed Computing in Sensor Networks, 2011

Energy-efficient optical acquisition schemes in wireless sensor networks.
Wireless Networks, 2011

A Decision Support System for Placement of Intrusion Detection and Prevention Devices in Large-Scale Networks.
ACM Trans. Model. Comput. Simul., 2011

Preface.
Theor. Comput. Sci., 2011

Recovery oriented programming: runtime monitoring of safety and liveness.
STTT, 2011

RFID Authentication Efficient Proactive Information Security within Computational Security.
Theory Comput. Syst., 2011

Stabilizing data-link over non-FIFO channels with optimal fault-resilience.
Inf. Process. Lett., 2011

Trawling Traffic under Attack Overcoming DDoS Attacks by Target-Controlled Traffic Filtering.
Int. J. Found. Comput. Sci., 2011

Strategies for repeated games with subsystem takeovers implementable by deterministic and self-stabilising automata.
IJAACS, 2011

Robust and scalable middleware for selfish-computer systems.
Computer Science Review, 2011

Innovative approaches for security of small artefacts.
Computer Science Review, 2011

Efficient and Universal Corruption Resilient Fountain Codes
CoRR, 2011

Communication Optimalement Stabilisante sur Canaux non Fiables et non FIFO
CoRR, 2011

Computer Arithmetic Preserving Hamming Distance of Operands in Operation Result
CoRR, 2011

Leveraging Channel Diversity to Gain Efficiency and Robustness for Wireless Broadcast.
Proceedings of the Distributed Computing - 25th International Symposium, 2011

Deterministic and Energy-Optimal Wireless Synchronization.
Proceedings of the Distributed Computing - 25th International Symposium, 2011

Rendezvous Tunnel for Anonymous Publishing: Clean Slate and Tor Based Designs.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2011

Pragmatic Self-stabilization of Atomic Memory in Message-Passing Systems.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2011

Rationality authority for provable rational behavior.
Proceedings of the 30th Annual ACM Symposium on Principles of Distributed Computing, 2011

Analyzing group communication for preventing data leakage via email.
Proceedings of the 2011 IEEE International Conference on Intelligence and Security Informatics, 2011

Secret Sharing Krohn-Rhodes: Private and Perennial Distributed Computation.
Proceedings of the Innovations in Computer Science, 2011

On-Line Detection and Prediction of Temporal Patterns.
Proceedings of the Hardware and Software: Verification and Testing, 2011

Poster: attribute based broadcast encryption with permanent revocation.
Proceedings of the 18th ACM Conference on Computer and Communications Security, 2011

Poster: arbitrators in the security infrastructure, supporting positive anonymity.
Proceedings of the 18th ACM Conference on Computer and Communications Security, 2011

Dynamic Multi-party Computation Forever for Swarm and Cloud Computing and Code Obfuscation.
Proceedings of the Algorithms for Sensor Systems, 2011

Sensor Fusion: From Dependence Analysis via Matroid Bases to Online Synthesis.
Proceedings of the Algorithms for Sensor Systems, 2011

Adaptive Hierarchical Network Structures for Wireless Sensor Networks.
Proceedings of the Ad Hoc Networks - Third International ICST Conference, 2011

2010
Game authority for robust and scalable distributed selfish-computer systems.
Theor. Comput. Sci., 2010

Masking traveling beams: Optical solutions for NP-complete problems, trading space for time.
Theor. Comput. Sci., 2010

A framework for robust active super tier systems.
STTT, 2010

Stabilizing trust and reputation for self-stabilizing efficient hosts in spite of byzantine guests.
Operating Systems Review, 2010

Introduction to special issue on Optical SuperComputing.
Natural Computing, 2010

Optical solution for hard on average #P-complete instances (using exponential space for solving instances of the permanent).
Natural Computing, 2010

When consensus meets self-stabilization.
J. Comput. Syst. Sci., 2010

Routing betweenness centrality.
J. ACM, 2010

Google Android: A Comprehensive Security Assessment.
IEEE Security & Privacy, 2010

Stabilizing data-link over non-FIFO channels with optimal fault-resilience
CoRR, 2010

Deterministic and Energy-Optimal Wireless Synchronization
CoRR, 2010

Efficient Collaborative Application Monitoring Scheme for Mobile Networks
CoRR, 2010

Practically Stabilizing Atomic Memory
CoRR, 2010

RoboCast: Asynchronous Communication in Robot Networks
CoRR, 2010

Fast Self-Stabilizing Minimum Spanning Tree Construction
CoRR, 2010

Randomization adaptive self-stabilization.
Acta Inf., 2010

Bounded-hop strong connectivity for flocking swarms.
Proceedings of the 8th International Symposium on Modeling and Optimization in Mobile, Ad-Hoc and Wireless Networks (WiOpt 2010), May 31, 2010

Fast Self-stabilizing Minimum Spanning Tree Construction - Using Compact Nearest Common Ancestor Labeling Scheme.
Proceedings of the Distributed Computing, 24th International Symposium, 2010

Brief Announcement: Sharing Memory in a Self-stabilizing Manner.
Proceedings of the Distributed Computing, 24th International Symposium, 2010

Spanders: distributed spanning expanders.
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Computing multi-party trust privately: in O(n) time units sending one (possibly large) message at a time.
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Purifying data by machine learning with certainty levels.
Proceedings of the Third International Workshop on Reliability, Availability, and Security, 2010

Brief announcement: swarming secrets.
Proceedings of the 29th Annual ACM Symposium on Principles of Distributed Computing, 2010

Compressive Sensing of Object-Signature.
Proceedings of the Optical Supercomputing - Third International Workshop, 2010

Holographic Computation of Balanced Succinct Permanent Instances.
Proceedings of the Optical Supercomputing - Third International Workshop, 2010

Nanotechnology Based Optical Solution for NP-Hard Problems.
Proceedings of the Optical Supercomputing - Third International Workshop, 2010

RoboCast: Asynchronous Communication in Robot Networks.
Proceedings of the Principles of Distributed Systems - 14th International Conference, 2010

Information security for sensors by overwhelming random sequences and permutations.
Proceedings of the DIALM-POMC Joint Workshop on Foundations of Mobile Computing, 2010

Direction election in flocking swarms.
Proceedings of the DIALM-POMC Joint Workshop on Foundations of Mobile Computing, 2010

Rendezvous tunnel for anonymous publishing.
Proceedings of the 17th ACM Conference on Computer and Communications Security, 2010

Information security for sensors by overwhelming random sequences and permutations.
Proceedings of the 17th ACM Conference on Computer and Communications Security, 2010

2009
Self-stabilization preserving compiler.
ACM Trans. Program. Lang. Syst., 2009

Empire of colonies: Self-stabilizing and self-organizing distributed algorithm.
Theor. Comput. Sci., 2009

Incremental deployment of network monitors based on Group Betweenness Centrality.
Inf. Process. Lett., 2009

Stability of Multi-Valued Continuous Consensus.
Electr. Notes Theor. Comput. Sci., 2009

Google Android: A State-of-the-Art Review of Security Mechanisms
CoRR, 2009

Incremental Deployment of Network Monitors Based on Group Betweenness Centrality
CoRR, 2009

RFID Authentication, Efficient Proactive Information Security within Computational Security
CoRR, 2009

Deaf, Dumb, and Chatting Robots, Enabling Distributed Computation and Fault-Tolerance Among Stigmergic Robot
CoRR, 2009

Randomization Adaptive Self-stabilization.
Proceedings of the Stabilization, 2009

Brief Announcement: Unique Permutation Hashing.
Proceedings of the Stabilization, 2009

Anonymous Transactions in Computer Networks.
Proceedings of the Stabilization, 2009

Safer Than Safe: On the Initial State of Self-stabilizing Systems.
Proceedings of the Stabilization, 2009

The wireless synchronization problem.
Proceedings of the 28th Annual ACM Symposium on Principles of Distributed Computing, 2009

Brief announcement: deaf, dumb, and chatting robots.
Proceedings of the 28th Annual ACM Symposium on Principles of Distributed Computing, 2009

Heuristic Certificates via Approximations.
Proceedings of the 2009 International Conference on Parallel and Distributed Computing, 2009

Trawling Traffic under Attack, Overcoming DDoS Attacks by Target-Controlled Traffic Filtering.
Proceedings of the 2009 International Conference on Parallel and Distributed Computing, 2009

Combinatorial Optimization Using Electro-Optical Vector by Matrix Multiplication Architecture.
Proceedings of the Optical SuperComputing, Second International Workshop, 2009

Optical Designs for Non-deterministic Turing Machines.
Proceedings of the Optical SuperComputing, Second International Workshop, 2009

Deaf, Dumb, and Chatting Asynchronous Robots.
Proceedings of the Principles of Distributed Systems, 13th International Conference, 2009

Safe and Eventually Safe: Comparing Self-stabilizing and Non-stabilizing Algorithms on a Common Ground.
Proceedings of the Principles of Distributed Systems, 13th International Conference, 2009

Not All Fair Probabilistic Schedulers Are Equivalent.
Proceedings of the Principles of Distributed Systems, 13th International Conference, 2009

On the Fairness of Probabilistic Schedulers for Population Protocols.
Proceedings of the Algorithmic Methods for Distributed Cooperative Systems, 06.09., 2009

2008
Towards Self-Stabilizing Operating Systems.
IEEE Trans. Software Eng., 2008

Self-stabilizing device drivers.
TAAS, 2008

Searching for a lion in the desert: optics-based acquisition algorithms for wireless sensor networks.
Mobile Computing and Communications Review, 2008

A self-stabilizing autonomic recoverer for eventual Byzantine software.
Journal of Systems and Software, 2008

Self-Stabilization from Theory to Practice.
Bulletin of the EATCS, 2008

Introduction to special issue dedicated to the DISC 20th anniversary.
Distributed Computing, 2008

HyperTree for self-stabilizing peer-to-peer systems.
Distributed Computing, 2008

Randomization Adaptive Self-Stabilization
CoRR, 2008

Brief Announcment: Corruption Resilient Fountain Codes.
Proceedings of the Distributed Computing, 22nd International Symposium, 2008

Tutorial Abstract Virtual Infrastructure.
Proceedings of the Stabilization, 2008

Self-* Programming: Run-Time Parallel Control Search for Reflection Box.
Proceedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2008

CAR-STM: scheduling-based collision avoidance and resolution for software transactional memory.
Proceedings of the Twenty-Seventh Annual ACM Symposium on Principles of Distributed Computing, 2008

Secure communication over radio channels.
Proceedings of the Twenty-Seventh Annual ACM Symposium on Principles of Distributed Computing, 2008

Electro-Optical DSP of Tera Operations per Second and Beyond (Extended Abstract).
Proceedings of the Optical Super Computing, First International Workshop, 2008

Optimization of NIDS Placement for Protection of Intercommunicating Critical Infrastructures.
Proceedings of the Intelligence and Security Informatics, 2008

Unknown Malcode Detection Using OPCODE Representation.
Proceedings of the Intelligence and Security Informatics, 2008

Self-stabilizing and self-orgenizing mobile networks.
Proceedings of the DIALM-POMC Joint Workshop on Foundations of Mobile Computing, 2008

08371 Summary - Fault-Tolerant Distributed Algorithms on VLSI Chips.
Proceedings of the Fault-Tolerant Distributed Algorithms on VLSI Chips, 07.09., 2008

08371 Abstracts Collection - Fault-Tolerant Distributed Algorithms on VLSI Chips.
Proceedings of the Fault-Tolerant Distributed Algorithms on VLSI Chips, 07.09., 2008

Strategies for repeated games with subsystem takeovers: implementable by deterministic and self-stabilizing automata (extended abstract).
Proceedings of the 2nd International Conference on Autonomic Computing and Communication Systems, 2008

2007
RT oblivious erasure correcting.
IEEE/ACM Trans. Netw., 2007

A review of the DISC 2006 conference.
SIGACT News, 2007

Stability of Multivalued Continuous Consensus.
SIAM J. Comput., 2007

Parallel composition for time-to-fault adaptive stabilization.
Distributed Computing, 2007

Transient fault detectors.
Distributed Computing, 2007

Finding the most prominent group in complex networks.
AI Commun., 2007

Gossiping in a Multi-channel Radio Network.
Proceedings of the Distributed Computing, 21st International Symposium, 2007

Stabilizing Trustand Reputationfor Self-Stabilizing Efficient Hosts in Spite of Byzantine Guests (Extended Abstract).
Proceedings of the Stabilization, 2007

Magnifying Computing GapsEstablishing Encrypted Communication over Unidirectional Channels (Extended Abstract).
Proceedings of the Stabilization, 2007

Game authority for robust andscalable distributed selfish-computer systems.
Proceedings of the Twenty-Sixth Annual ACM Symposium on Principles of Distributed Computing, 2007

Secret Swarm UnitReactive k-Secret Sharing.
Proceedings of the Progress in Cryptology, 2007

The Traveling Beams Optical Solutions for Bounded NP-Complete Problems.
Proceedings of the Fun with Algorithms, 4th International Conference, 2007

Self-Stabilization as a Foundation for Autonomic Computing.
Proceedings of the The Second International Conference on Availability, 2007

2006
Random Walk for Self-Stabilizing Group Communication in Ad Hoc Networks.
IEEE Trans. Mob. Comput., 2006

Dynamic load balancing with group communication.
Theor. Comput. Sci., 2006

Self-Stabilizing Microprocessor: Analyzing and Overcoming Soft Errors.
IEEE Trans. Computers, 2006

Memory Management for Self-Stabilizing Operating Systems.
JACIC, 2006

Introduction: Self Stabilization.
JACIC, 2006

Introduction: Self Stabilization.
JACIC, 2006

Eight Open Problems in Distributed Computing.
Bulletin of the EATCS, 2006

Polygonal broadcast, secret maturity, and the firing sensors.
Ad Hoc Networks, 2006

Self-stabilizing Device Drivers.
Proceedings of the Stabilization, 2006

Secure Communication for RFIDs Proactive Information Security Within Computational Security.
Proceedings of the Stabilization, 2006

Stabilization Enabling Technology.
Proceedings of the Stabilization, 2006

Recovery Oriented Programming.
Proceedings of the Stabilization, 2006

Empire of Colonies: Self-stabilizing and Self-organizing Distributed Algorithms.
Proceedings of the Principles of Distributed Systems, 10th International Conference, 2006

When Consensus Meets Self-stabilization.
Proceedings of the Principles of Distributed Systems, 10th International Conference, 2006

2005
Self-stabilizing distributed file system.
J. High Speed Networks, 2005

GeoQuorums: implementing atomic memory in mobile ad hoc networks.
Distributed Computing, 2005

Geographic Quorum System Approximations.
Algorithmica, 2005

Robust Active Super Tier Systems.
Proceedings of the 2005 IEEE International Conference on Software, 2005

Memory Management for Self-stabilizing Operating Systems.
Proceedings of the Self-Stabilizing Systems, 2005

Self-stabilizing Mobile Node Location Management and Message Routing.
Proceedings of the Self-Stabilizing Systems, 2005

Self-stabilization Preserving Compiler.
Proceedings of the Self-Stabilizing Systems, 2005

Autonomous virtual mobile nodes.
Proceedings of the SPAA 2005: Proceedings of the 17th Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2005

Brief announcement: virtual stationary automata for mobile networks.
Proceedings of the Twenty-Fourth Annual ACM Symposium on Principles of Distributed Computing, 2005

Timed Virtual Stationary Automata for Mobile Networks.
Proceedings of the Principles of Distributed Systems, 9th International Conference, 2005

Autonomous virtual mobile nodes.
Proceedings of the DIALM-POMC Joint Workshop on Foundations of Mobile Computing, 2005

05411 Abstracts Collection -- Anonymous Communication and its Applications.
Proceedings of the Anonymous Communication and its Applications, 09.10. - 14.10.2005, 2005

2004
Self-stabilizing clock synchronization in the presence of Byzantine faults.
J. ACM, 2004

Self Stabilization.
JACIC, 2004

Self-stabilizing group communication in directed networks.
Acta Inf., 2004

Virtual Mobile Nodes for Mobile Ad Hoc Networks.
Proceedings of the Distributed Computing, 18th International Conference, 2004

Brief announcement: polygonal broadcast, secret maturity and the firing sensors.
Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Distributed Computing, 2004

Brief announcement: virtual mobile nodes for mobile ad hoc networks.
Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Distributed Computing, 2004

Brief announcement: RT oblivious erasure correcting.
Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Distributed Computing, 2004

HyperTree for Self-Stabilizing Peer-to-Peer Systems.
Proceedings of the 3rd IEEE International Symposium on Network Computing and Applications (NCA 2004), 30 August, 2004

Toward Self-Stabilizing Operating Systems.
Proceedings of the 15th International Workshop on Database and Expert Systems Applications (DEXA 2004), with CD-ROM, 30 August, 2004

Self-Stabilizing Microprocessor - Analyzing and Overcoming Soft-Errors (Extended Abstract).
Proceedings of the Organic and Pervasive Computing, 2004

2003
Communication Adaptive Self-Stabilizing Group Membership Service.
IEEE Trans. Parallel Distrib. Syst., 2003

Buses for Anonymous Message Delivery.
J. Cryptology, 2003

Stability of long-lived consensus.
J. Comput. Syst. Sci., 2003

Safety assurance via on-line monitoring.
Distributed Computing, 2003

GeoQuorums: Implementing Atomic Memory in Mobile Ad Hoc Networks.
Proceedings of the Distributed Computing, 17th International Conference, 2003

Self-Stabilizing Autonomic Recoverer for Eventual Byzantine Software.
Proceedings of the 2003 IEEE International Conference on Software, 2003

Self-Stabilizing Group Communication in Directed Networks.
Proceedings of the Self-Stabilizing Systems, 6th International Symposium, SSS 2003, 2003

2002
Local Stabilizer.
J. Parallel Distrib. Comput., 2002

Random Walk for Self-Stabilizing Group Communication in Ad-Hoc Networks.
Proceedings of the 21st Symposium on Reliable Distributed Systems (SRDS 2002), 2002

Self-Stabilizing Distributed File Systems.
Proceedings of the 21st Symposium on Reliable Distributed Systems (SRDS 2002), 2002

Random walk for self-stabilitzing group communication in ad hoc networks.
Proceedings of the Twenty-First Annual ACM Symposium on Principles of Distributed Computing, 2002

2001
Self-stabilizing l-exclusion.
Theor. Comput. Sci., 2001

The Sound of Silence: Guessing Games for Saving Energy in a Mobile Environment.
J. Parallel Distrib. Comput., 2001

Dijkstra's Self-Stabilizing Algorithm in Unsupportive Environments
CoRR, 2001

Smooth and adaptive forward erasure correcting.
Computer Networks, 2001

Communication Adaptive Self-Stabilizing Group Membership Service.
Proceedings of the Self-Stabilizing Systems, 5th International Workshop, 2001

Dijkstra's Self-Stabilizing Algorithm in Unsupportive Environments.
Proceedings of the Self-Stabilizing Systems, 5th International Workshop, 2001

Safety Assurance via On-Line Monitoring.
Proceedings of the Fifth International Symposium on Autonomous Decentralized Systems, 2001

2000
Xor-trees for efficient anonymous multicast and reception.
ACM Trans. Inf. Syst. Secur., 2000

Bounded latency scheduling scheme for ATM cells.
Computer Networks, 2000

Stability of long-lived consensus (extended abstract).
Proceedings of the Nineteenth Annual ACM Symposium on Principles of Distributed Computing, 2000

Self-Stabilization
MIT Press, ISBN: 0-262-04178-2, 2000

1999
Bubbles: Adaptive Routing Scheme for High-Speed Dynamic Networks.
SIAM J. Comput., 1999

Non-Preemptive Real-Time Scheduling of Multimedia Tasks.
Real-Time Systems, 1999

A competitive analysis for retransmission timeout.
Networks, 1999

Baked-Potato Routing.
J. Algorithms, 1999

Memory Requirements for Silent Stabilization.
Acta Inf., 1999

Parallel composition of stabilizing algorithms.
Proceedings of the 1999 ICDCS Workshop on Self-stabilizing Systems, 1999

Dynamic Load Balancing with Group Communication.
Proceedings of the SIROCCO'99, 1999

The Sound of Silence - Guessing Games for Saving Energy in Mobile Environment.
Proceedings of the Eighteenth Annual ACM Symposium on Principles of Distributed Computing, 1999

Bounded Latency Scheduling Scheme for ATM Cells.
Proceedings of the Fourth IEEE Symposium on Computers and Communications (ISCC 1999), 1999

The Sound of Silence: Guessing Games for Saving Energy in Mobile Environment.
Proceedings of the Proceedings IEEE INFOCOM '99, 1999

1998
Optimal Time Self-Stabilization in Uniform Dynamic Systems.
Parallel Processing Letters, 1998

Transient Fault Detectors.
Proceedings of the Distributed Computing, 12th International Symposium, 1998

Non-preemptive real-time scheduling of multimedia tasks.
Proceedings of the Third IEEE Symposium on Computers and Communications (ISCC 1998), June 30, 1998

1997
Uniform Dynamic Self-Stabilizing Leader Election.
IEEE Trans. Parallel Distrib. Syst., 1997

On the Computational Power of Self-Stabilizing Systems.
Theor. Comput. Sci., 1997

Crash Resilient Communication in Dynamic Networks.
IEEE Trans. Computers, 1997

Resource Bounds for Self-Stabilizing Message-Driven Protocols.
SIAM J. Comput., 1997

Possible and Impossible Self-Stabilizing Digital Clock Synchronization in General Graphs.
Real-Time Systems, 1997

Self-Stabilizing Routing and Related Protocol.
J. Parallel Distrib. Comput., 1997

Superstabilizing Protocols for Dynamic Distributed Systems.
Chicago J. Theor. Comput. Sci., 1997

Wait-Free Clock Synchronization.
Algorithmica, 1997

Self-stabilizing L-exclusion.
Proceedings of the 3rd Workshop on Self-stabilizing Systems, 1997

Local Stabilizer (Brief Announcement).
Proceedings of the Sixteenth Annual ACM Symposium on Principles of Distributed Computing, 1997

Stabilizing in the Presence of Faults, The Digital Clock Synchronization Case.
Proceedings of the On Principles Of Distributed Systems, 1997

Local Stabilizer.
Proceedings of the Fifth Israel Symposium on Theory of Computing and Systems, 1997

Efficient Anonymous Multicast and Reception (Extended Abstract).
Proceedings of the Advances in Cryptology, 1997

1996
Self-stabilizing topology maintenance protocols for high-speed networks.
IEEE/ACM Trans. Netw., 1996

Modified tree structure for location management in mobile environments.
Computer Communications, 1996

Baked Potatoes: Deadlock Prevention Via Scheduling (Abstract).
Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing, 1996

Memory Requirements for Silent Stabilization (Extended Abstract).
Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing, 1996

Baked Potato Routing.
Proceedings of the Fourth Israel Symposium on Theory of Computing and Systems, 1996

1995
Analyzing Expected Time by Scheduler-Luck Games.
IEEE Trans. Software Eng., 1995

Connection Management Without Retaining Information.
Inf. Comput., 1995

Bubbles: adaptive routing scheme for high-speed dynamic networks (Extended Abstract).
Proceedings of the Twenty-Seventh Annual ACM Symposium on Theory of Computing, 1995

Self-Stabilizing Clock Synchronization in the Presence of Byzantine Faults (Abstract).
Proceedings of the Fourteenth Annual ACM Symposium on Principles of Distributed Computing, 1995

SuperStabilizing Protocols for Dynamic Distributed Systems (Abstract).
Proceedings of the Fourteenth Annual ACM Symposium on Principles of Distributed Computing, 1995

Modified Tree Structure for Location Management in Mobile Environments.
Proceedings of the Proceedings IEEE INFOCOM '95, 1995

A Competitive Analysis for Retransmission Timeout.
Proceedings of the 15th International Conference on Distributed Computing Systems, Vancouver, British Columbia, Canada, May 30, 1995

Connection management without retaining information.
Proceedings of the 28th Annual Hawaii International Conference on System Sciences (HICSS-28), 1995

1994
Self-Stabilizing Depth-First Search.
Inf. Process. Lett., 1994

Self-Stabilization by Local Checking and Global Reset (Extended Abstract).
Proceedings of the Distributed Algorithms, 8th International Workshop, 1994

1993
Self-Stabilization of Dynamic Systems Assuming Only Read/Write Atomicity.
Distributed Computing, 1993

Crash Resilient Communication in Dynamic Networks (Preliminary Version).
Proceedings of the Distributed Algorithms, 7th International Workshop, 1993

Optimal Time Self Stabilization in Dynamic Systems (Preliminary Version).
Proceedings of the Distributed Algorithms, 7th International Workshop, 1993

Wait-Free Clock Synchronization (Extended Abstract).
Proceedings of the Twelth Annual ACM Symposium on Principles of Distributed Computing, 1993

1991
Maintaining Digital Clocks in Step.
Parallel Processing Letters, 1991

Uniform Dynamic Self-Stabilizing Leader Election (Extended Absrtact).
Proceedings of the Distributed Algorithms, 5th International Workshop, 1991

Maintaining Digital Clocks In Step.
Proceedings of the Distributed Algorithms, 5th International Workshop, 1991

Resource Bounds for Self Stabilizing Message Driven Protocols.
Proceedings of the Tenth Annual ACM Symposium on Principles of Distributed Computing, 1991

1990
Self-Stabilization of Dynamic Systems Assuming only Read/Write Atomicity.
Proceedings of the Ninth Annual ACM Symposium on Principles of Distributed Computing, 1990


  Loading...