Daniel Gaina - RankMe

19 papers A* 1B 3Journal 15

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Forcing and Interpolation in First-Order Hybrid Logic with rigid symbols. CoRR Daniel Gaina, Hashimoto Go
2025	J	`jnl`	A Modular Bisimulation characterisation for Fragments of Hybrid Logic. Bull. Symb. Log. Guillermo Badia, Daniel Gaina, Alexander Knapp, Tomasz Kowalski, Martin Wirsing
2025	J	`jnl`	Hybrid-Dynamic Ehrenfeucht-Fraïssé Games. ACM Trans. Comput. Log. Guillermo Badia, Daniel Gaina, Alexander Knapp, Tomasz Kowalski, Martin Wirsing
2025	B	`conf`	Model-Theoretic Forcing in Transition Algebra. MFCS Hashimoto Go, Daniel Gaina
2025	J	`jnl`	Model-theoretic Forcing in Transition Algebra. CoRR Hashimoto Go, Daniel Gaina
2025	J	`jnl`	Proof Scores: A Survey (full version). CoRR Adrián Riesco, Kazuhiro Ogata, Masaki Nakamura, Daniel Gaina, Duong Dinh Tran, Kokichi Futatsugi
2025	J	`jnl`	Proof Scores: A Survey. ACM Comput. Surv. Adrián Riesco, Kazuhiro Ogata, Masaki Nakamura, Daniel Gaina, Duong Dinh Tran, Kokichi Futatsugi
2024	B	`conf`	Birkhoff Style Proof Systems for Hybrid-Dynamic Quantum Logic. AiML Daniel Gaina
2024	J	`jnl`	Birkhoff style proof systems for hybrid-dynamic quantum logic. CoRR Daniel Gaina
2024	A*	`conf`	Forcing, Transition Algebras, and Calculi. ICALP Hashimoto Go, Daniel Gaina, Ionut Tutu
2024	J	`jnl`	Forcing, Transition Algebras, and Calculi. CoRR Hashimoto Go, Daniel Gaina, Ionut Tutu
2024	J	`jnl`	Foundations of logic programming in hybrid-dynamic quantum logic. CoRR Daniel Gaina
2024	J	`jnl`	Hybrid-Dynamic Ehrenfeucht-Fraïssé Games. CoRR Guillermo Badia, Daniel Gaina, Alexander Knapp, Tomasz Kowalski, Martin Wirsing
2023	J	`jnl`	Omitting types theorem in hybrid dynamic first-order logic with rigid symbols. Ann. Pure Appl. Log. Daniel Gaina, Guillermo Badia, Tomasz Kowalski
2022	J	`jnl`	Lindström's theorem, both syntax and semantics free. J. Log. Comput. Daniel Gaina, Tomasz Kowalski
2022	B	`conf`	Robinson consistency in many-sorted hybrid first-order logics. AiML Guillermo Badia, Tomasz Kowalski, Daniel Gaina
2020	J	`jnl`	Forcing and Calculi for Hybrid Logics. J. ACM Daniel Gaina
2020	J	`jnl`	Fraïssé-Hintikka theorem in institutions. J. Log. Comput. Daniel Gaina, Tomasz Kowalski
2020	J	`jnl`	Stability of termination and sufficient-completeness under pushouts via amalgamation. Theor. Comput. Sci. Daniel Gaina, Masaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi

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.