Pantelis E. Eleftheriou

20 papers Journal 20

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Orthogonal Decomposition of Definable Groups. J. Symb. Log. Alessandro Berarducci, Pantelis E. Eleftheriou, Marcello Mamino
2022	J	`jnl`	Product cones in dense pairs. Math. Log. Q. Pantelis E. Eleftheriou
2021	J	`jnl`	On Coincidence of Dimensions in Closed Ordered Differential Fields. Notre Dame J. Formal Log. Pantelis E. Eleftheriou, Omar León Sánchez, Nathalie Regnault
2021	J	`jnl`	Small sets in Mann pairs. Arch. Math. Log. Pantelis E. Eleftheriou
2020	J	`jnl`	Expansions of real closed fields that introduce no new smooth functions. Ann. Pure Appl. Log. Pantelis E. Eleftheriou, Alex Savatovsky
2020	J	`jnl`	Locally definable subgroups of semialgebraic groups. J. Math. Log. Elías Baro, Pantelis E. Eleftheriou, Ya'acov Peterzil
2020	J	`jnl`	The choice property in tame expansions of o-minimal structures. Math. Log. Q. Pantelis E. Eleftheriou, Ayhan Günaydin, Philipp Hieronymi
2017	J	`jnl`	On Definable Skolem Functions in Weakly O-Minimal nonvaluational Structures. J. Symb. Log. Pantelis E. Eleftheriou, Assaf Hasson, Gil Keren
2014	J	`jnl`	Coverings by open cells. Arch. Math. Log. Mário J. Edmundo, Pantelis E. Eleftheriou, Luca Prelli
2014	J	`jnl`	Interpretable groups are definable. J. Math. Log. Pantelis E. Eleftheriou, Ya'acov Peterzil, Janak Ramakrishnan
2013	J	`jnl`	Lattices in Locally Definable Subgroups of <R Notre Dame J. Formal Log. Pantelis E. Eleftheriou, Ya'acov Peterzil
2013	J	`jnl`	Non-standard lattices and o-minimal groups. Bull. Symb. Log. Pantelis E. Eleftheriou
2012	J	`jnl`	Notions of Bisimulation for Heyting-Valued Modal Languages. J. Log. Comput. Pantelis E. Eleftheriou, Costas D. Koutras, Christos Nomikos
2010	J	`jnl`	Groups definable in linear o-minimal structures: the non-compact case. J. Symb. Log. Pantelis E. Eleftheriou
2009	J	`jnl`	Compact domination for groups definable in linear o-minimal structures. Arch. Math. Log. Pantelis E. Eleftheriou
2009	J	`jnl`	Definable group extensions in semi-bounded o-minimal structures. Math. Log. Q. Mário J. Edmundo, Pantelis E. Eleftheriou
2008	J	`jnl`	A semi-linear group which is not affine. Ann. Pure Appl. Log. Pantelis E. Eleftheriou
2007	J	`jnl`	Groups definable in ordered vector spaces over ordered division rings. J. Symb. Log. Pantelis E. Eleftheriou, Sergei Starchenko
2007	J	`jnl`	The universal covering homomorphism in o-minimal expansions of groups. Math. Log. Q. Mário J. Edmundo, Pantelis E. Eleftheriou
2005	J	`jnl`	Frame constructions, truth invariance and validity preservation in many-valued modal logic. J. Appl. Non Class. Logics Pantelis E. Eleftheriou, Costas D. Koutras

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.