Leonardo Alt - RankMe

18 papers A 1B 3Journal 4Unranked 9

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A reversible system based on hybrid toggle radius-4 cellular automata and its application as a block cipher. Nat. Comput. Everton R. Lira, Heverton B. de Macêdo, Danielli A. Lima, Leonardo Alt, Gina M. B. Oliveira
2024	—	`conf`	SolTG: A CHC-Based Solidity Test Case Generator. CAV (1) Konstantin Britikov, Ilia Zlatkin, Grigory Fedyukovich, Leonardo Alt, Natasha Sharygina
2023	J	`jnl`	A Solicitous Approach to Smart Contract Verification. ACM Trans. Priv. Secur. Rodrigo Otoni, Matteo Marescotti, Leonardo Alt, Patrick Eugster, Antti E. J. Hyvärinen, Natasha Sharygina
2022	—	`conf`	On Satisfiability of Polynomial Equations over Large Prime Fields. SMT Lucas Clemente Vella, Leonardo Alt
2022	—	`conf`	SolCMC: Solidity Compiler's Model Checker. CAV (1) Leonardo Alt, Martin Blicha, Antti E. J. Hyvärinen, Natasha Sharygina
2021	J	`jnl`	A reversible system based on hybrid toggle radius-4 cellular automata and its application as a block cipher. CoRR Everton R. Lira, Heverton B. de Macêdo, Danielli A. Lima, Leonardo Alt, Gina M. B. Oliveira
2020	—	`conf`	Accurate Smart Contract Verification Through Direct Modelling. ISoLA (3) Matteo Marescotti, Rodrigo Otoni, Leonardo Alt, Patrick Eugster, Antti E. J. Hyvärinen, Natasha Sharygina
2019	J	`jnl`	Exploiting partial variable assignment in interpolation-based model checking. Formal Methods Syst. Des. Pavel Jancík, Jan Kofron, Leonardo Alt, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina
2018	—	`conf`	SMT-Based Verification of Solidity Smart Contracts. ISoLA (4) Leonardo Alt, Christian Reitwießner
2017	B	`conf`	Duality-based interpolation for quantifier-free equalities and uninterpreted functions. FMCAD Leonardo Alt, Antti Eero Johannes Hyvärinen, Sepideh Asadi, Natasha Sharygina
2017	—	`conf`	HiFrog: SMT-based Function Summarization for Software Verification. TACAS (2) Leonardo Alt, Sepideh Asadi, Hana Chockler, Karine Even-Mendoza, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina
2017	—	`conf`	LRA Interpolants from No Man's Land. Haifa Verification Conference Leonardo Alt, Antti E. J. Hyvärinen, Natasha Sharygina
2016	A	`conf`	OpenSMT2: An SMT Solver for Multi-core and Cloud Computing. SAT Antti E. J. Hyvärinen, Matteo Marescotti, Leonardo Alt, Natasha Sharygina
2016	B	`conf`	PVAIR: Partial Variable Assignment InterpolatoR. FASE Pavel Jancík, Leonardo Alt, Grigory Fedyukovich, Antti E. J. Hyvärinen, Jan Kofron, Natasha Sharygina
2015	—	`conf`	A Proof-Sensitive Approach for Small Propositional Interpolants. VSTTE Leonardo Alt, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina
2015	—	`conf`	Flexible Interpolation for Efficient Model Checking. MEMICS Antti E. J. Hyvärinen, Leonardo Alt, Natasha Sharygina
2015	—	`ch.`	Optimizing Function Summaries Through Interpolation. Validation of Evolving Software Simone Fulvio Rollini, Leonardo Alt, Grigory Fedyukovich, Antti Eero Johannes Hyvärinen, Natasha Sharygina
2013	B	`conf`	PeRIPLO: A Framework for Producing Effective Interpolants in SAT-Based Software Verification. LPAR Simone Fulvio Rollini, Leonardo Alt, Grigory Fedyukovich, Antti Eero Johannes Hyvärinen, Natasha Sharygina

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.