research
∙
03/20/2023
Adversarial Attacks against Binary Similarity Systems
In recent years, binary analysis gained traction as a fundamental approa...
share
research
∙
11/17/2022
Where Did My Variable Go? Poking Holes in Incomplete Debug Information
The availability of debug information for optimized executables can larg...
research
∙
11/27/2020
Who is Debugging the Debuggers? Exposing Debug Information Bugs in Optimized Binaries
Despite the advancements in software testing, bugs still plague deployed...
research
∙
05/15/2020
Tight Bounds for Black Hole Search in Dynamic Rings
In this paper, we start the investigation of distributed computing by mo...
research
∙
02/09/2020
Mobile RAM and Shape Formation by Programmable Particles
We investigate computational issues in the distributed model Amoebots of...
research
∙
01/08/2020
Synchronous Byzantine Lattice Agreement in O(log (f)) Rounds
In the Lattice Agreement (LA) problem, originally proposed by Attiya et ...
research
∙
12/17/2019
Function Naming in Stripped Binaries Using Neural Networks
In this paper we investigate the problem of automatically naming pieces ...
research
∙
10/13/2019
Byzantine Generalized Lattice Agreement
The paper investigates the Lattice Agreement (LA) problem in asynchronou...
research
∙
11/13/2018
SAFE: Self-Attentive Function Embeddings for Binary Similarity
The binary similarity problem consists in determining if two functions a...
research
∙
10/23/2018
Unsupervised Features Extraction for Binary Similarity Using Graph Embedding Neural Networks
In this paper we consider the binary similarity problem that consists in...
research
∙
08/13/2018