Dalcidio Moraes Claudio

20 papers Journal 11Unranked 9

Year	Rank	Type	Title / Venue / Authors
2008	J	`jnl`	Dense Linear System: A Parallel Self-verified Solver. Int. J. Parallel Program. Mariana Luderitz Kolberg, Luiz Gustavo Fernandes, Dalcidio Moraes Claudio
2008	—	`conf`	Improving the Performance of a Verified Linear System Solver Using Optimized Libraries and Parallel Computation. Numerical Validation in Current Hardware Architectures Mariana Luderitz Kolberg, Gerd Bohlender, Dalcidio Moraes Claudio
2008	—	`conf`	Improving the Performance of a Verified Linear System Solver Using Optimized Libraries and Parallel Computation. VECPAR Mariana Luderitz Kolberg, Gerd Bohlender, Dalcidio Moraes Claudio
2006	—	`conf`	Optimizing a Parallel Self-verified Method for Solving Linear Systems. PARA Mariana Luderitz Kolberg, Lucas Baldo, Pedro Velho, Luiz Gustavo Fernandes, Dalcidio Moraes Claudio
2005	—	`conf`	Approximation Problems Categories. EUROCAST Liara Aparecida dos Santos Leal, Dalcidio Moraes Claudio, Laira Vieira Toscani, Paulo Blauth Menezes
2005	—	`conf`	Solving Real Life Applications With High Accuracy. PARCO Carlos Amaral Hölbig, Paulo Sergio Morandi Jr., Dalcidio Moraes Claudio, Tiarajú Asmuz Diverio
2003	—	`conf`	A Categorical Approach to NP-Hard Optimization Problems. EUROCAST Liara Aparecida dos Santos Leal, Dalcidio Moraes Claudio, Laira Vieira Toscani, Paulo Blauth Menezes
2003	—	`conf`	On the Approximation of Centered Zonotopes in the Plane. LSSC Svetoslav Markov, Dalcidio Moraes Claudio
2001	—	`conf`	Optimization Problems Categories. EUROCAST Liara Aparecida dos Santos Leal, Paulo Blauth Menezes, Dalcidio Moraes Claudio, Laira Vieira Toscani
2001	—	`conf`	Teaching of Discrete Mathematics. WCCE Simone C. Mendes, Tiarajú Asmuz Diverio, Dalcidio Moraes Claudio
2000	J	`jnl`	A Coherence Space of Rational Intervals for a Construction of IR. Reliab. Comput. Graçaliz Pereira Dimuro, Antônio Carlos da Rocha Costa, Dalcidio Moraes Claudio
1998	J	`jnl`	Modelling the Measurement Uncertainty by Intervals. J. Univers. Comput. Sci. Fabiana Zamora Wilke, Beatriz Regina Tavares Franciosi, Paulo Werlang Oliveira, Dalcidio Moraes Claudio
1996	J	`jnl`	An Interval fixed-point theorem. RITA Paulo W. de Oliveira, Dalcidio Moraes Claudio
1996	J	`jnl`	Computational arithmetic: an updated view. RITA Tiarajú Asmuz Diverio, Dalcidio Moraes Claudio
1996	J	`jnl`	Errors in vector processing and the library libavi.a. Reliab. Comput. Tiarajú Asmuz Diverio, Ursula A. L. Fernandes, Dalcidio Moraes Claudio
1996	J	`jnl`	High performance with high accuracy laboratory. RITA Tiarajú Asmuz Diverio, Philippe Olivier Alexandre Navaux, Dalcidio Moraes Claudio, Carlos Amaral Hölbig, Ursula A. L. Fernandes, R. L. Sagula
1995	J	`jnl`	Inclusion methods for real and complex functions in one variable. RITA Dalcidio Moraes Claudio, Siegfried M. Rump
1995	J	`jnl`	Um algoritmo algébrico para isolar zeros de polinômios. RITA Dalcidio Moraes Claudio, Maria Angelica Camargo, Vilmar Trevisan
1989	J	`jnl`	A two-sided method for nonlinear equations with cubic convergence. RITA Dalcidio Moraes Claudio, Paulo Ricardo de Ávila Zingano
1980	J	`jnl`	Contributions to the structure of computer arithmetic. Computing Dalcidio Moraes Claudio

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.