Yehuda Afek

Lior Shafir

IACR Cryptol. ePrint Arch., 2020

Holdout SGD: Byzantine Tolerant Federated Learning.

[BibT_eX]

[DOI]

CoRR, 2020

Demo: NFV-based IoT Security at the ISP Level.

[BibT_eX]

[DOI]

Proceedings of the NOMS 2020, 2020

NFV-based IoT Security for Home Networks using MUD.

[BibT_eX]

[DOI]

Proceedings of the NOMS 2020, 2020

2019

Zero-Day Signature Extraction for High-Volume Attacks.

[BibT_eX]

[DOI]

Shir Landau Feibish

IEEE/ACM Trans. Netw., 2019

A King in every two consecutive tournaments.

[BibT_eX]

[DOI]

Nati Linial

CoRR, 2019

The Role of A-priori Information in Networks of Rational Agents.

[BibT_eX]

[DOI]

CoRR, 2019

Eradicating Attacks on the Internal Network with Internal Network Policy.

[BibT_eX]

[DOI]

Alon Noy

CoRR, 2019

DNS Negative Caching in the Wild.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGCOMM 2019 Conference Posters and Demos, 2019

Consensus in Equilibrium: Can One Against All Decide Fairly?

[BibT_eX]

[DOI]

Proceedings of the 23rd International Conference on Principles of Distributed Systems, 2019

2018

Detecting heavy flows in the SDN match and action model.

[BibT_eX]

[DOI]

Comput. Networks, 2018

A Wealth of Sub-Consensus Deterministic Objects.

[BibT_eX]

[DOI]

Proceedings of the 32nd International Symposium on Distributed Computing, 2018

The Role of A-priori Information in Networks of Rational Agents.

[BibT_eX]

[DOI]

Shaked Rafaeli

Proceedings of the 32nd International Symposium on Distributed Computing, 2018

Selecting a Leader in a Network of Finite State Machines.

[BibT_eX]

[DOI]

Yuval Emek

Noa Kolikant

Proceedings of the 32nd International Symposium on Distributed Computing, 2018

2018 Edsger W. Dijkstra Prize in Distributed Computing.

[BibT_eX]

[DOI]

Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing, 2018

The Synergy of Finite State Machines.

[BibT_eX]

[DOI]

Yuval Emek

Noa Kolikant

Proceedings of the 22nd International Conference on Principles of Distributed Systems, 2018

2017

Cheating by Duplication: Equilibrium Requires Global Knowledge.

[BibT_eX]

[DOI]

Shaked Rafaeli

CoRR, 2017

The Life in 1-Consensus.

[BibT_eX]

[DOI]

Eli Daian

CoRR, 2017

Brief Announcement: The Synergy of Finite State Machines.

[BibT_eX]

[DOI]

Yuval Emek

Noa Kolikant

Proceedings of the 31st International Symposium on Distributed Computing, 2017

Brief Announcement: Object Oriented Consensus.

[BibT_eX]

[DOI]

Proceedings of the ACM Symposium on Principles of Distributed Computing, 2017

Network anti-spoofing with SDN data plane.

[BibT_eX]

[DOI]

Lior Shafir

Proceedings of the 2017 IEEE Conference on Computer Communications, 2017

Mitigating DNS random subdomain DDoS attacks by distinct heavy hitters sketches.

[BibT_eX]

[DOI]

Proceedings of the fifth ACM/IEEE Workshop on Hot Topics in Web Systems and Technologies, 2017

2016

Making DPI Engines Resilient to Algorithmic Complexity Attacks.

[BibT_eX]

[DOI]

IEEE/ACM Trans. Netw., 2016

Efficient Distinct Heavy Hitters for DNS DDoS Attack Detection.

[BibT_eX]

[DOI]

CoRR, 2016

Deterministic Objects: Life Beyond Consensus.

[BibT_eX]

[DOI]

Faith Ellen

Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing, 2016

2015

A simple characterization of asynchronous computations.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2015

Optimal and Resilient Pheromone Utilization in Ant Foraging.

[BibT_eX]

[DOI]

Roman Kecher

CoRR, 2015

Faster task allocation by idle ants.

[BibT_eX]

[DOI]

Roman Kecher

CoRR, 2015

Amalgamated Lock-Elision.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing - 29th International Symposium, 2015

Sampling and Large Flow Detection in SDN.

[BibT_eX]

[DOI]

Proceedings of the 2015 ACM Conference on Special Interest Group on Data Communication, 2015

A Dynamic Convolutional Layer for short rangeweather prediction.

[BibT_eX]

[DOI]

Benjamin Eliot Klein

Lior Wolf

Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2015

Temporally Bounding TSO for Fence-Free Asymmetric Synchronization.

[BibT_eX]

[DOI]

Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, 2015

ORange: Multi Field OpenFlow based Range Classifier.

[BibT_eX]

[DOI]

Proceedings of the Eleventh ACM/IEEE Symposium on Architectures for networking and communications systems, 2015

2014

Musical Chairs.

[BibT_eX]

[DOI]

SIAM J. Discret. Math., 2014

The CB tree: a practical concurrent self-adjusting search tree.

[BibT_eX]

[DOI]

Distributed Comput., 2014

Recursive design of hardware priority queues.

[BibT_eX]

[DOI]

Comput. Networks, 2014

Ranges and cross-entrance consistency with OpenFlow.

[BibT_eX]

[DOI]

Proceedings of the third workshop on Hot topics in software defined networking, 2014

Software-improved hardware lock elision.

[BibT_eX]

[DOI]

Amir Levy

Proceedings of the ACM Symposium on Principles of Distributed Computing, 2014

Distributed computing building blocks for rational agents.

[BibT_eX]

[DOI]

Proceedings of the ACM Symposium on Principles of Distributed Computing, 2014

Cross-Entrance Consistent Range Classifier with OpenFlow.

[BibT_eX]

[DOI]

Proceedings of the Open Networking Summit 2014 - Research Track, 2014

Fence-free work stealing on bounded TSO processors.

[BibT_eX]

[DOI]

Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2014

2013

Fast and scalable rendezvousing.

[BibT_eX]

[DOI]

Michael Hakimi

Distributed Comput., 2013

Beeping a maximal independent set.

[BibT_eX]

[DOI]

Distributed Comput., 2013

Fast concurrent queues for x86 processors.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2013

Programming with hardware lock elision.

[BibT_eX]

[DOI]

Amir Levy

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2013

Asynchrony from Synchrony.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing and Networking, 14th International Conference, 2013

Automated signature extraction for high volume attacks.

[BibT_eX]

[DOI]

Shir Landau Feibish

Proceedings of the Symposium on Architecture for Networking and Communications Systems, 2013

2012

Interrupting snapshots and the Java size method.

[BibT_eX]

[DOI]

Moran Tzafrir

J. Parallel Distributed Comput., 2012

Renaming and the weakest family of failure detectors.

[BibT_eX]

[DOI]

Petr Kuznetsov

Israel Nir

Distributed Comput., 2012

Space efficient deep packet inspection of compressed web traffic.

[BibT_eX]

[DOI]

Yaron Koral

Comput. Commun., 2012

Pessimistic Software Lock-Elision.

[BibT_eX]

[DOI]

Alexander Matveev

Proceedings of the Distributed Computing - 26th International Symposium, 2012

CBTree: A Practical Concurrent Self-Adjusting Search Tree.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing - 26th International Symposium, 2012

MCA2: multi-core architecture for mitigating complexity attacks.

[BibT_eX]

[DOI]

Proceedings of the Symposium on Architecture for Networking and Communications Systems, 2012

2011

MIS on the fly

[BibT_eX]

[DOI]

Noga Alon

Ziv Bar-Joseph

CoRR, 2011

Oblivious Collaboration.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing - 25th International Symposium, 2011

Coping with context switches in lock-based software transactional memory.

[BibT_eX]

[DOI]

Yoav Cohen

Proceedings of of SYSTOR 2011: The 4th Annual Haifa Experimental Systems Conference, Haifa, Israel, May 30, 2011

From bounded to unbounded concurrency objects and back.

[BibT_eX]

[DOI]

Guy Wertheim

Proceedings of the 30th Annual ACM Symposium on Principles of Distributed Computing, 2011

Towards Consistency Oblivious Programming.

[BibT_eX]

[DOI]

Hillel Avni

Proceedings of the Principles of Distributed Systems - 15th International Conference, 2011

Efficient Processing of Multi-connection Compressed Web Traffic.

[BibT_eX]

[DOI]

Yaron Koral

Proceedings of the NETWORKING 2011, 2011

Cache index-aware memory allocation.

[BibT_eX]

[DOI]

David Dice

Proceedings of the 10th International Symposium on Memory Management, 2011

2010

The Velox Transactional Memory Stack.

[BibT_eX]

[DOI]

IEEE Micro, 2010

The k-simultaneous consensus problem.

[BibT_eX]

[DOI]

Distributed Comput., 2010

Brief Announcement: Quasi-Linearizability: Relaxed Consistency for Improved Concurrency.

[BibT_eX]

[DOI]

Guy Korland

Eitan Yanovsky

Proceedings of the Distributed Computing, 24th International Symposium, 2010

Brief announcement: view transactions: transactional model with relaxed consistency checks.

[BibT_eX]

[DOI]

Moran Tzafrir

Proceedings of the 29th Annual ACM Symposium on Principles of Distributed Computing, 2010

Quasi-Linearizability: Relaxed Consistency for Improved Concurrency.

[BibT_eX]

[DOI]

Guy Korland

Eitan Yanovsky

Proceedings of the Principles of Distributed Systems - 14th International Conference, 2010

Efficient Lock Free Privatization.

[BibT_eX]

[DOI]

Proceedings of the Principles of Distributed Systems - 14th International Conference, 2010

Lowering STM Overhead with Static Analysis.

[BibT_eX]

[DOI]

Guy Korland

Arie Zilberstein

Proceedings of the Languages and Compilers for Parallel Computing, 2010

Scalable Producer-Consumer Pools Based on Elimination-Diffraction Trees.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2010 - Parallel Processing, 16th International Euro-Par Conference, Ischia, Italy, August 31, 2010

2009

Interrupting Snapshots and the JavaTM^{\mbox{\tiny TM}} Size() Method.

[BibT_eX]

[DOI]

Moran Tzafrir

Proceedings of the Distributed Computing, 23rd International Symposium, 2009

Tight Group Renaming on Groups of Size g Is Equivalent to g-Consensus.

[BibT_eX]

[DOI]

Opher Lieber

Proceedings of the Distributed Computing, 23rd International Symposium, 2009

2008

Failure detectors in loosely named systems.

[BibT_eX]

[DOI]

Israel Nir

Proceedings of the Twenty-Seventh Annual ACM Symposium on Principles of Distributed Computing, 2008

Group Renaming.

[BibT_eX]

[DOI]

Proceedings of the Principles of Distributed Systems, 12th International Conference, 2008

2007

Efficient adaptive collect algorithms.

[BibT_eX]

[DOI]

Yaron De Levie

Distributed Comput., 2007

Common2 extended to stacks and unbounded concurrency.

[BibT_eX]

[DOI]

Distributed Comput., 2007

2006

Less Is More: Consensus Gaps Between Restricted and Unrestricted Objects.

[BibT_eX]

[DOI]

Eran Shalom

Proceedings of the Distributed Computing, 20th International Symposium, 2006

Simultaneous Consensus Tasks: A Tighter Characterization of Set-Consensus.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing and Networking, 8th International Conference, 2006

2005

Space and Step Complexity Efficient Adaptive Collect.

[BibT_eX]

[DOI]

Yaron De Levie

Proceedings of the Distributed Computing, 19th International Conference, 2005

2004

Improved BGP convergence via ghost flushing.

[BibT_eX]

[DOI]

Shemer Schwarz

IEEE J. Sel. Areas Commun., 2004

2002

Local Stabilizer.

[BibT_eX]

[DOI]

Shlomi Dolev

J. Parallel Distributed Comput., 2002

Long lived adaptive splitter and applications.

[BibT_eX]

[DOI]

Distributed Comput., 2002

Restoration by path concatenation: fast recovery of MPLS paths.

[BibT_eX]

[DOI]

Distributed Comput., 2002

On the structure and application of BGP policy atoms.

[BibT_eX]

[DOI]

Omer Ben-Shalom

Proceedings of the 2nd ACM SIGCOMM Internet Measurement Workshop, 2002

2001

Routing with a clue.

[BibT_eX]

[DOI]

Sariel Har-Peled

IEEE/ACM Trans. Netw., 2001

Restoration path concatenation: fast recovery of MPLS paths.

[BibT_eX]

[DOI]

Proceedings of the Joint International Conference on Measurements and Modeling of Computer Systems, 2001

2000

Phantom: a simple and effective flow control scheme.

[BibT_eX]

[DOI]

Comput. Networks, 2000

Long-lived and adaptive atomic snapshot and immediate snapshot (extended abstract).

[BibT_eX]

[DOI]

Proceedings of the Nineteenth Annual ACM Symposium on Principles of Distributed Computing, 2000

Bounds on the shared memory requirements for long-lived adaptive objects (extended abstract).

[BibT_eX]

[DOI]

Pazi Boxer

Proceedings of the Nineteenth Annual ACM Symposium on Principles of Distributed Computing, 2000

Trainet: A New Label Switching Scheme.

[BibT_eX]

[DOI]

Proceedings of the Proceedings IEEE INFOCOM 2000, 2000

1999

The Instancy of Snapshots and Commuting Objects.

[BibT_eX]

[DOI]

Eytan Weisberger

J. Algorithms, 1999

Convergence Complexity of Optimistic Rate-Based Flow-Control Algorithms.

[BibT_eX]

[DOI]

J. Algorithms, 1999

The Power of Multiobjects.

[BibT_eX]

[DOI]

Gadi Taubenfeld

Inf. Comput., 1999

Fast, Wait-Free (2k)-Renaming.

[BibT_eX]

[DOI]

Proceedings of the Eighteenth Annual ACM Symposium on Principles of Distributed Computing, 1999

Long-Lived Renaming Made Adaptive.

[BibT_eX]

[DOI]

Proceedings of the Eighteenth Annual ACM Symposium on Principles of Distributed Computing, 1999

ong-lived Adaptive Collect with Applications.

[BibT_eX]

[DOI]

Proceedings of the 40th Annual Symposium on Foundations of Computer Science, 1999

1998

Self-Stabilizing Unidirectional Network Algorithms by Power Supply.

[BibT_eX]

[DOI]

Chic. J. Theor. Comput. Sci., 1998

1997

The Local Detection Paradigm and Its Application to Self-Stabilization.

[BibT_eX]

[DOI]

Shay Kutten

Moti Yung

Theor. Comput. Sci., 1997

Optimal Time-Space Tradeoff for Shared Memory Leader Election.

[BibT_eX]

[DOI]

J. Algorithms, 1997

Slide-The Key to Polynomial End-to-End Communication.

[BibT_eX]

[DOI]

J. Algorithms, 1997

The Bit Complexity of the Predecessor Problem.

[BibT_eX]

[DOI]

Menashe Cohen

Eyal Haalman

Inf. Process. Lett., 1997

Self-Stabilizing Unidirectional Network Algorithms by Power-Supply (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Eighth Annual ACM-SIAM Symposium on Discrete Algorithms, 1997

Disentangling Multi-Object Operations (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Sixteenth Annual ACM Symposium on Principles of Distributed Computing, 1997

Local Stabilizer (Brief Announcement).

[BibT_eX]

[DOI]

Shlomi Dolev

Proceedings of the Sixteenth Annual ACM Symposium on Principles of Distributed Computing, 1997

Virtual-credit: Efficient end-to-end credit based flow control.

[BibT_eX]

[DOI]

Proceedings of the Networks in Distributed Computing, 1997

1996

Local Management of a Global Resource in a Communication Network.

[BibT_eX]

[DOI]

J. ACM, 1996

Convergence Complexity of Optimistic Rate Based Flow Control Algorithms (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth Annual ACM Symposium on the Theory of Computing, 1996

The Power of Multi-objects (Extended Abstract).

[BibT_eX]

[DOI]

Gadi Taubenfeld

Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing, 1996

On the Convergence Complexity of Optimistic Rate Based Flow Control Algorithms (Brief Announcement).

[BibT_eX]

[DOI]

Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing, 1996

Dynamic Bandwidth Allocation Policies.

[BibT_eX]

[DOI]

Proceedings of the Proceedings IEEE INFOCOM '96, 1996

1995

Computing With Faulty Shared Objects.

[BibT_eX]

[DOI]

J. ACM, 1995

On the Comnplexity of Global Computation in the Presence of Link Failures: The General Case.

[BibT_eX]

[DOI]

Danny Hendler

Distributed Comput., 1995

Wait-free made fast (Extended Abstract).

[BibT_eX]

[DOI]

Dalia Dauber

Proceedings of the Twenty-Seventh Annual ACM Symposium on Theory of Computing, 1995

1994

Elections in Anonymous Networks

[BibT_eX]

[DOI]

Yossi Matias

Inf. Comput., September, 1994

A Bounded First-In, First-Enabled Solution to the l-Exclusion Problem.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 1994

Distributed Algorithms for Unidirectional Networks.

[BibT_eX]

[DOI]

SIAM J. Comput., 1994

Reliable Communication Over Unreliable Channels.

[BibT_eX]

[DOI]

J. ACM, 1994

Consensus Power Makes (Some) Sense! (Extended Abstract).

[BibT_eX]

[DOI]

Elizabeth Borowsky

Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing, 1994

Delimiting the Power of Bounded Size Synchronization Objects (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing, 1994

1993

Lazy Caching.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 1993

Sparser: A Paradigm for Running Distributed Algorithms.

[BibT_eX]

[DOI]

Moty Ricklin

J. Algorithms, 1993

Atomic Snapshots of Shared Memory.

[BibT_eX]

[DOI]

J. ACM, 1993

Self-Stabilization Over Unreliable Communication Media.

[BibT_eX]

[DOI]

Distributed Comput., 1993

Benign Failure Models for Shared Memory (Preliminary Version).

[BibT_eX]

[DOI]

Gadi Taubenfeld

Proceedings of the Distributed Algorithms, 7th International Workshop, 1993

A Completeness Theorem for a Class of Synchronization Objects (Extended Abstract).

[BibT_eX]

[DOI]

Eytan Weisberger

Hanan Weisman

Proceedings of the Twelth Annual ACM Symposium on Principles of Distributed Computing, 1993

On the Complexity of Global Computation in the Presence of Link Failures: The General Case.

[BibT_eX]

[DOI]

Danny Hendler

Proceedings of the Second Israel Symposium on Theory of Computing Systems, 1993

Synchronization power depends on the register size (Preliminary Version)

[BibT_eX]

[DOI]

Proceedings of the 34th Annual Symposium on Foundations of Computer Science, 1993

1992

Wait-free Test-and-Set (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Distributed Algorithms, 6th International Workshop, 1992

The Slide Mechanism with Applications in Dynamic Networks (Extended Abstract).

[BibT_eX]

[DOI]

Adi Rosén

Proceedings of the Eleventh Annual ACM Symposium on Principles of Distributed Computing, 1992

Computing with Faulty Shared Memory (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Eleventh Annual ACM Symposium on Principles of Distributed Computing, 1992

1991

Time and Message Bounds for Election in Synchronous and Asynchronous Complete Networks.

[BibT_eX]

[DOI]

SIAM J. Comput., 1991

Bootstrap Network Resynchronization (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Tenth Annual ACM Symposium on Principles of Distributed Computing, 1991

1990

The Power of Multimedia: Combining Point-to-Point and Multiaccess Networks

[BibT_eX]

[DOI]

Inf. Comput., January, 1990

Memory-Efficient Self Stabilizing Protocols for General Networks.

[BibT_eX]

[DOI]

Shay Kutten

Moti Yung

Proceedings of the Distributed Algorithms, 4th International Workshop, 1990

A Bounded First-In, First-Enabled Solution to the 1-Exclusion Problem.

[BibT_eX]

[DOI]

Danny Dolev

Proceedings of the Distributed Algorithms, 4th International Workshop, 1990

1989

Simple and Efficient Election Algorithms for Anonymous Networks.

[BibT_eX]

[DOI]

Yossi Matias

Proceedings of the Distributed Algorithms, 1989

Self-Stabilization of the Alternating-Bit Protocol.

[BibT_eX]

[DOI]

Proceedings of the Eigthth Symposium on Reliable Distributed Systems, 1989

A Lazy Cache Algorithm.

[BibT_eX]

[DOI]

Proceedings of the ACM Symposium on Parallel Algorithms and Architectures, 1989

Upper and Lower Bounds for Routing Schemes in Dynamic Networks (Abstract)

[BibT_eX]

[DOI]

Moty Ricklin

Proceedings of the 30th Annual Symposium on Foundations of Computer Science, Research Triangle Park, North Carolina, USA, 30 October, 1989

1988

End-to-End Communication in Unreliable Networks.

[BibT_eX]

[DOI]

Proceedings of the Seventh Annual ACM Symposium on Principles of Distributed Computing, 1988

The Power of Multimedia: Combining Point-to Point and Multi-Access Networks.

[BibT_eX]

[DOI]

Proceedings of the Seventh Annual ACM Symposium on Principles of Distributed Computing, 1988

1987

Local Fail-safe Network Reset Procedure.

[BibT_eX]

[DOI]

Baruch Awerbuch

Proceedings of the Distributed Algorithms, 1987

Detecting Global Termination Conditions in the Face of Uncertainty.

[BibT_eX]

[DOI]

Michael E. Saks

Proceedings of the Sixth Annual ACM Symposium on Principles of Distributed Computing, 1987

Applying Static Network Protocols to Dynamic Networks

[BibT_eX]

[DOI]

Baruch Awerbuch

Proceedings of the 28th Annual Symposium on Foundations of Computer Science, 1987

1985

Chips and Boards Through MOSIS.

[BibT_eX]

Proceedings of the Spring COMPCON'85, 1985

1984

Election and Traversal in Unidirectional Networks.

[BibT_eX]

[DOI]