Giuseppe Antonio Di Luna

CoRR, 2024

Black Hole Search by a Set of Scattered Agents in Dynamic Rings.

[BibT_eX]

[DOI]

CoRR, 2024

Efficient Computation in Congested Anonymous Dynamic Networks.

[BibT_eX]

[DOI]

Proceedings of the 49th International Symposium on Mathematical Foundations of Computer Science, 2024

2023

BinBench: a benchmark for x64 portable operating system interface binary function representations.

[BibT_eX]

[DOI]

Francesca Console

Giuseppe D'Aquanno

PeerJ Comput. Sci., 2023

Adversarial Attacks against Binary Similarity Systems.

[BibT_eX]

[DOI]

Gianluca Capozzi

Daniele Cono D'Elia

CoRR, 2023

Optimal Computation in Leaderless and Multi-Leader Disconnected Anonymous Dynamic Networks.

[BibT_eX]

[DOI]

Proceedings of the 37th International Symposium on Distributed Computing, 2023

Brief Announcement: Efficient Computation in Congested Anonymous Dynamic Networks.

[BibT_eX]

[DOI]

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

Black Hole Search in Dynamic Rings: The Scattered Case.

[BibT_eX]

[DOI]

Proceedings of the 27th International Conference on Principles of Distributed Systems, 2023

Where Did My Variable Go? Poking Holes in Incomplete Debug Information.

[BibT_eX]

[DOI]

Cristian Assaiante

Daniele Cono D'Elia

Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2023

2022

Function Representations for Binary Similarity.

[BibT_eX]

[DOI]

Fabio Petroni

IEEE Trans. Dependable Secur. Comput., 2022

Special issue on Algorithmic Theory of Dynamic Networks and Its Applications - Preface.

[BibT_eX]

[DOI]

Othon Michail

J. Comput. Syst. Sci., 2022

TuringMobile: a turing machine of oblivious mobile robots with limited visibility and its applications.

[BibT_eX]

[DOI]

Distributed Comput., 2022

BinBert: Binary Code Understanding with a Fine-tunable and Execution-aware Transformer.

[BibT_eX]

[DOI]

Fiorella Artuso

Marco Mormando

CoRR, 2022

Leaderless and Multi-Leader Computation in Disconnected Anonymous Dynamic Networks.

[BibT_eX]

[DOI]

CoRR, 2022

Debugging Debug Information With Neural Networks.

[BibT_eX]

[DOI]

Fiorella Artuso

IEEE Access, 2022

Computing in Anonymous Dynamic Networks Is Linear.

[BibT_eX]

[DOI]

Proceedings of the 63rd IEEE Annual Symposium on Foundations of Computer Science, 2022

2021

Compacting oblivious agents on dynamic rings.

[BibT_eX]

[DOI]

Daniele Mazzei

PeerJ Comput. Sci., 2021

Black Hole Search in Dynamic Rings.

[BibT_eX]

[DOI]

Proceedings of the 41st IEEE International Conference on Distributed Computing Systems, 2021

Who's debugging the debuggers? exposing debug information bugs in optimized binaries.

[BibT_eX]

[DOI]

Proceedings of the ASPLOS '21: 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2021

2020

Gathering in dynamic rings.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2020

Meeting in a polygon by anonymous oblivious robots.

[BibT_eX]

[DOI]

Distributed Comput., 2020

Shape formation by programmable particles.

[BibT_eX]

[DOI]

Distributed Comput., 2020

Fault-tolerant simulation of population protocols.

[BibT_eX]

[DOI]

Distributed Comput., 2020

Distributed exploration of dynamic rings.

[BibT_eX]

[DOI]

Stefan Dobrev

Distributed Comput., 2020

Who is Debugging the Debuggers? Exposing Debug Information Bugs in Optimized Binaries.

[BibT_eX]

[DOI]

CoRR, 2020

Tight Bounds for Black Hole Search in Dynamic Rings.

[BibT_eX]

[DOI]

CoRR, 2020

Gathering on a Circle with Limited Visibility by Anonymous Oblivious Robots.

[BibT_eX]

[DOI]

Ryuhei Uehara

Yukiko Yamauchi

Proceedings of the 34th International Symposium on Distributed Computing, 2020

Byzantine Generalized Lattice Agreement.

[BibT_eX]

[DOI]

Emmanuelle Anceaume

Proceedings of the 2020 IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2020

Synchronous Byzantine Lattice Agreement in O(log(f) Rounds.

[BibT_eX]

[DOI]

Emmanuelle Anceaume

Proceedings of the 40th IEEE International Conference on Distributed Computing Systems, 2020

Mobile RAM and Shape Formation by Programmable Particles.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2020: Parallel Processing, 2020

2019

Robots with Lights.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing by Mobile Entities, 2019

Mobile Agents on Dynamic Graphs.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing by Mobile Entities, 2019

Population protocols with faulty interactions: The impact of a leader.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2019

Function Naming in Stripped Binaries Using Neural Networks.

[BibT_eX]

[DOI]

Fiorella Artuso

CoRR, 2019

Compacting and Grouping Mobile Agents on Dynamic Rings.

[BibT_eX]

[DOI]

Linda Pagli

Proceedings of the Theory and Applications of Models of Computation, 2019

Patrolling on Dynamic Ring Networks.

[BibT_eX]

[DOI]

Leszek Antoni Gasieniec

Proceedings of the SOFSEM 2019: Theory and Practice of Computer Science, 2019

Oblivious Permutations on the Plane.

[BibT_eX]

[DOI]

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

SAFE: Self-Attentive Function Embeddings for Binary Similarity.

[BibT_eX]

[DOI]

Fabio Petroni

Proceedings of the Detection of Intrusions and Malware, and Vulnerability Assessment, 2019

2018

Unsupervised Features Extraction for Binary Similarity Using Graph Embedding Neural Networks.

[BibT_eX]

[DOI]

Fabio Petroni

CoRR, 2018

Line Recovery by Programmable Particles.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Distributed Computing and Networking, 2018

2017

On deterministic counting in anonymous dynamic networks.

[BibT_eX]

[DOI]

PhD thesis, 2017

Mutual visibility by luminous robots without collisions.

[BibT_eX]

[DOI]

Inf. Comput., 2017

Self-Stabilizing Meeting in a Polygon by Anonymous Oblivious Robots.

[BibT_eX]

[DOI]

CoRR, 2017

Brief Announcement: Shape Formation by Programmable Particles.

[BibT_eX]

[DOI]

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

Mediated Population Protocols: Leader Election and Applications.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Models of Computation, 2017

On the Power of Weaker Pairwise Interaction: Fault-Tolerant Simulation of Population Protocols.

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE International Conference on Distributed Computing Systems, 2017

2016

Live Exploration of Dynamic Rings.

[BibT_eX]

[DOI]

Stefan Dobrev

Proceedings of the 36th IEEE International Conference on Distributed Computing Systems, 2016

A Rupestrian Algorithm.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Fun with Algorithms, 2016

2015

Investigating the Cost of Anonymity on Dynamic Networks.

[BibT_eX]

[DOI]

CoRR, 2015

Brief Announcement: Investigating the Cost of Anonymity on Dynamic Networks.

[BibT_eX]

[DOI]

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

Non Trivial Computations in Anonymous Dynamic Networks.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Principles of Distributed Systems, 2015

2014

Fault-tolerant oblivious assignment with m slots in synchronous systems.

[BibT_eX]

[DOI]

Giuseppe Ateniese

J. Parallel Distributed Comput., 2014

An event-based platform for collaborative threats detection and monitoring.

[BibT_eX]

[DOI]

Inf. Syst., 2014

Robots with Lights: Overcoming Obstructed Visibility Without Colliding.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2014

Counting in Anonymous Dynamic Networks under Worst-Case Adversary.

[BibT_eX]

[DOI]

Proceedings of the IEEE 34th International Conference on Distributed Computing Systems, 2014

Conscious and Unconscious Counting on Anonymous Dynamic Networks.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing and Networking - 15th International Conference, 2014

The overlay scan attack: inferring topologies of distributed pub/sub systems through broker saturation.

[BibT_eX]

[DOI]

Claudio Ciccotelli

Francesco Frontali

Proceedings of the 8th ACM International Conference on Distributed Event-Based Systems, 2014

The Mutual Visibility Problem for Oblivious Robots.

[BibT_eX]

[DOI]

Proceedings of the 26th Canadian Conference on Computational Geometry, 2014

2013

Counting the Number of Homonyms in Dynamic Networks.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2013

Collaborative Detection of Coordinated Port Scans.

[BibT_eX]

[DOI]

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

Understanding (Mis)Information Spreading for Improving Corporate Network Trustworthiness.

[BibT_eX]

[DOI]

Luca Montanari

Mara Sorella

Proceedings of the Dependable Computing - 14th European Workshop, 2013

Counting in Anonymous Dynamic Networks: An Experimental Perspective.

[BibT_eX]

[DOI]

Proceedings of the Algorithms for Sensor Systems, 2013

2012

Oblivious Assignment with m Slots.

[BibT_eX]

[DOI]

Giuseppe Ateniese

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2012

Collaborative Inter-domain Stealthy Port Scan Detection Using Esper Complex Event Processing.

[BibT_eX]

[DOI]

Paulo Esteves Verssimo

Proceedings of the Collaborative Financial Infrastructure Protection, 2012

2011

A Collaborative Event Processing System for Protection of Critical Infrastructures from Cyber Attacks.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2011

A Model for Continuous Query Latencies in Data Streams.

[BibT_eX]

[DOI]

Donatella Firmani