Gabriele Magnani

15 papers A 2B 1C 1Misc 1Journal 3Unranked 7
YearRankTypeTitle / Venue / Authors
2026 B conf
Type Deduction Analysis: Reconstructing Transparent Pointer Types in LLVM-IR.
CC
Niccolo Nicolosi, Gabriele Magnani, Emilio Corigliano, Davide Baroffio, Federico Reghenzani, Giovanni Agosta
2025 A conf
Modern Llvm-Based Compiler Autotuning for Wcet Optimization.
RTSS
Gabriele Magnani, Davide Baroffio, Federico Reghenzani, Giovanni Agosta, William Fornaciari
2025 C conf
Non-Functional Properties in HPC Systems: Design Exploration of Energy, Power, and Reliability.
DSD
Giovanni Agosta, Enrico Bini, Davide Baroffio, Carlo Brandolese, Michele Castrovilli, Daniele Cattaneo, Daniele Cesarini, William Fornaciari, Andrea Galimberti, Alberto Garfagnini, Arsenii Gavrikov, Francesco Iannone, Marco Lapegna, Tomas Antonio Lopez, Gabriele Magnani, Gabriele Mencagli, Cecilia Metra, Martin Eugenio Omana, Filippo Palombi, Federico Reghenzani, Josie E. Rodriguez Condia, A. Serafini, Matteo Sonza Reorda, Davide Zoni, Giuseppe Zummo
2025 — conf
Scrambling Compiler: Automated and Unified Countermeasure for Profiled and Non-profiled Side Channel Attacks.
ARES (1)
Gabriele Magnani, Isabella Piacentini, Giovanni Agosta, Alessandro Barenghi, Gerardo Pelosi
2025 J jnl
Synergistic Memory Optimisations: Precision Tuning in Heterogeneous Memory Hierarchies.
IEEE Trans. Computers
Gabriele Magnani, Daniele Cattaneo, Lev Denisov, Giuseppe Tagliavini, Giovanni Agosta, Stefano Cherubin
2024 — conf
Precision Tuning the Rust Memory-Safe Programming Language.
PARMA-DITAM
Gabriele Magnani, Lev Denisov, Daniele Cattaneo, Giovanni Agosta, Stefano Cherubin
2024 Misc conf
Profiling vs Static Analysis: The Impact on Precision Tuning.
SAC
Lev Denisov, Gabriele Magnani, Daniele Cattaneo, Giovanni Agosta, Stefano Cherubin
2024 — conf
SeTHet - Sending Tuned numbers over DMA onto Heterogeneous clusters: an automated precision tuning story.
CF
Gabriele Magnani, Daniele Cattaneo, Lev Denisov, Giuseppe Tagliavini, Giovanni Agosta, Stefano Cherubin
2024 J jnl
The Impact of Profiling Versus Static Analysis in Precision Tuning.
IEEE Access
Lev Denisov, Gabriele Magnani, Daniele Cattaneo, Giovanni Agosta, Stefano Cherubin
2023 A conf
Hardware and Software Support for Mixed Precision Computing: a Roadmap for Embedded and HPC Systems.
DATE
William Fornaciari, Giovanni Agosta, Daniele Cattaneo, Lev Denisov, Andrea Galimberti, Gabriele Magnani, Davide Zoni
2023 — conf
Mixed Precision in Heterogeneous Parallel Computing Platforms via Delayed Code Analysis.
SAMOS
Daniele Cattaneo, Alberto Maggioli, Gabriele Magnani, Lev Denisov, Shufan Yang, Giovanni Agosta, Stefano Cherubin
2022 — conf
Ahead-Of-Real-Time (ART): A Methodology for Static Reduction of Worst-Case Execution Time.
NG-RES@HiPEAC
Daniele Cattaneo, Gabriele Magnani, Stefano Cherubin, Giovanni Agosta
2022 — conf
Precision Tuning in Parallel Applications.
PARMA-DITAM@HiPEAC
Gabriele Magnani, Lev Denisov, Daniele Cattaneo, Giovanni Agosta
2021 J jnl
FixM: Code generation of fixed point mathematical functions.
Sustain. Comput. Informatics Syst.
Daniele Cattaneo, Michele Chiari, Gabriele Magnani, Nicola Fossati, Stefano Cherubin, Giovanni Agosta
2021 — conf
The Impact of Precision Tuning on Embedded Systems Performance: A Case Study on Field-Oriented Control.
PARMA-DITAM@HiPEAC
Gabriele Magnani, Daniele Cattaneo, Michele Chiari, Giovanni Agosta

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.

In 2025, he co-authored Assessing the Effectiveness of the Tigress Obfuscator Against MOPSA and BinaryNinja, published at CheckMATE. The paper evaluates the effectiveness of obfuscation techniques and their impact on source-level static analysis and binary-level decompilation.

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.