research
∙
04/28/2023
A Systematization of Cybersecurity Regulations, Standards and Guidelines for the Healthcare Sector
The growing adoption of IT solutions in the healthcare sector is leading...
share
research
∙
03/20/2023
Adversarial Attacks against Binary Similarity Systems
In recent years, binary analysis gained traction as a fundamental approa...
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
∙
08/13/2022
BinBert: Binary Code Understanding with a Fine-tunable and Execution-aware Transformer
A recent trend in binary code analysis promotes the use of neural soluti...
research
∙
04/21/2021
Constantine: Automatic Side-Channel Resistance Using Efficient Control and Data Flow Linearization
In the era of microarchitectural side channels, vendors scramble to depl...
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
∙
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
∙
01/14/2019
Peel the onion: Recognition of Android apps behind the Tor Network
In this work we show that Tor is vulnerable to app deanonymization attac...
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