| Titolo |
Pubblicato in |
Anno |
| Gathering on a circle with limited visibility by anonymous oblivious robots |
THEORETICAL COMPUTER SCIENCE |
2025 |
| Locating a black hole in a dynamic ring |
JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING |
2025 |
| BinBert: Binary Code Understanding with a Fine-tunable and Execution-aware Transformer |
IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING |
2024 |
| Efficient Computation in Congested Anonymous Dynamic Networks |
49th International Symposium on Mathematical Foundations of Computer Science (MFCS 2024) |
2024 |
| Adversarial Attacks against Binary Similarity Systems |
IEEE ACCESS |
2024 |
| Where Did My Variable Go? Poking Holes in Incomplete Debug Information |
International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS |
2023 |
| BinBench: a benchmark for x64 portable operating system interface binary function representations |
PEERJ. COMPUTER SCIENCE. |
2023 |
| Brief Announcement: Efficient Computation in Congested Anonymous Dynamic Networks |
Proceedings of the Annual ACM Symposium on Principles of Distributed Computing |
2023 |
| Optimal Computation in Leaderless and Multi-Leader Disconnected Anonymous Dynamic Networks |
Leibniz International Proceedings in Informatics, LIPIcs |
2023 |
| Black Hole Search in Dynamic Rings: The Scattered Case |
27th International Conference on Principles of Distributed Systems (OPODIS 2023) |
2023 |
| Special issue on algorithmic theory of dynamic networks and Its applications |
JOURNAL OF COMPUTER AND SYSTEM SCIENCES |
2022 |
| Debugging Debug Information with Neural Networks |
IEEE ACCESS |
2022 |
| Computing in Anonymous Dynamic Networks Is Linear |
Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS |
2022 |
| Function Representations for Binary Similarity |
IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING |
2021 |
| Who's Debugging the Debuggers? Exposing Debug Information Bugs in Optimized Binaries |
ASPLOS 2021: Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems |
2021 |
| Black hole search in dynamic rings |
Proceedings - International Conference on Distributed Computing Systems |
2021 |
| Compacting oblivious agents on dynamic rings |
PEERJ. COMPUTER SCIENCE. |
2021 |
| TuringMobile: a turing machine of oblivious mobile robots with limited visibility and its applications |
DISTRIBUTED COMPUTING |
2021 |
| Meeting in a polygon by anonymous oblivious robots |
DISTRIBUTED COMPUTING |
2020 |
| Shape formation by programmable particles |
DISTRIBUTED COMPUTING |
2020 |
