Salvatore Sabina

13 papers A 2C 1Journal 6Unranked 4

Year	Rank	Type	Title / Venue / Authors
2025	A	`conf`	SynDRA: Synthetic Dataset for Railway Applications. WACV Gianluca D'Amico, Federico Nesti, Giulio Rossolini, Mauro Marinoni, Salvatore Sabina, Giorgio C. Buttazzo
2025	J	`jnl`	Time synchronization and performance analysis of the openSAFETY protocol via UDP over Ethernet. J. Syst. Archit. Shoaib Zafar, Salvatore Sabina, Alessandro Biondi, Giorgio C. Buttazzo
2023	J	`jnl`	A Novel Approach for Reducing Train Localization Errors by Inertial Measurements. IEEE Access Mauro Marinoni, Pierluigi Amato, Carmelo Di Franco, Salvatore Sabina, Giorgio C. Buttazzo
2023	J	`jnl`	TrainSim: A Railway Simulation Framework for LiDAR and Camera Dataset Generation. CoRR Gianluca D'Amico, Mauro Marinoni, Federico Nesti, Giulio Rossolini, Giorgio C. Buttazzo, Salvatore Sabina, Gianluigi Lauro
2023	J	`jnl`	TrainSim: A Railway Simulation Framework for LiDAR and Camera Dataset Generation. IEEE Trans. Intell. Transp. Syst. Gianluca D'Amico, Mauro Marinoni, Federico Nesti, Giulio Rossolini, Giorgio C. Buttazzo, Salvatore Sabina, Gianluigi Lauro
2018	—	`conf`	A Preliminary Apportionment of Safety Targets for Virtual Balise Detection using GNSS in Future Evolutions of ERTMS. ITST Christian Wullems, Francesco Sperandio, Marzia Basso, Silvia Sturaro, Salvatore Sabina
2018	—	`conf`	Local GNSS Threat Detection Methods for Virtual Balise Placement in Railway Applications. ITST Omar García Crespillo, Andriy Konovaltsev, Juliette Marais, Salvatore Sabina, Alessia Vennarini, Andrea Coluccia, Alessandro Neri, Antonio Aguila, Elena Razzano, Francesco Ranauro, Massimiliano Ciaffi
2010	J	`jnl`	Available and safe message freshness detection algorithm. Int. J. Crit. Comput. Based Syst. Andrea Bondavalli, Lorenzo Falai, Stefano Porcarelli, Salvatore Sabina, Fabrizio Zanini
2010	J	`jnl`	Using Bounded Model Checking for Coverage Analysis of Safety-Critical Software in an Industrial Setting. J. Autom. Reason. Damiano Angeletti, Enrico Giunchiglia, Massimo Narizzano, Alessandra Puddu, Salvatore Sabina
2009	—	`conf`	Automatic Test Generation for Coverage Analysis Using CBMC. EUROCAST Damiano Angeletti, Enrico Giunchiglia, Massimo Narizzano, Alessandra Puddu, Salvatore Sabina
2009	A	`conf`	Automatic Test Generation for Coverage Analysis of ERTMS Software. ICST Damiano Angeletti, Enrico Giunchiglia, Massimo Narizzano, Alessandra Puddu, Salvatore Sabina
2009	—	`conf`	Improving the Automatic Test Generation process for Coverage Analysis using CBMC. RCRA@AI*IA Damiano Angeletti, Enrico Giunchiglia, Massimo Narizzano, Gabriele Palma, Alessandra Puddu, Salvatore Sabina
2004	C	`conf`	A Freshness Detection Mechanism for Railway Applications. PRDC Andrea Bondavalli, Enrico De Giudici, Stefano Porcarelli, Salvatore Sabina, Fabrizio Zanini

Nicolò Altamura is a security engineer and computer science researcher specializing in software protection, reverse engineering, program analysis, and binary deobfuscation. He holds a master's degree in Computer Science and Engineering from the University of Verona, graduating with honors, and works at emproof, focusing on software protection and the challenges of analyzing and understanding compiled software.

His research explores the relationship between program analysis and code obfuscation, with particular emphasis on how software transformations affect the ability of automated tools to recover program behavior. His interests span static analysis, binary analysis, decompilation, reverse engineering, and techniques for analyzing and simplifying obfuscated code.

Beyond academic research, Nicolò develops and contributes to tools for reverse engineering and software analysis. His projects include obfuscation_analysis, a Binary Ninja plugin for analyzing and simplifying obfuscated code; Pocket, an obfuscator for mixed Boolean-arithmetic expressions; and ptxNinja, a tool for reverse engineering NVIDIA GPU code represented in the PTX virtual instruction set.

His research also extends to binary datasets and software evolution. In 2026, he co-authored ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage, a research work addressing the availability of binary data across multiple software builds and points in time, supporting research into binary analysis and changes between program versions.

Across his research, engineering work, and open-source contributions, Nicolò focuses on advancing the understanding, analysis, and protection of software against increasingly sophisticated obfuscation and reverse-engineering challenges.

Nicolò Altamura is not a football player. Please avoid reporting this kind of infromation.