B. Daya Reddy

15 papers Journal 15

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A micromorphic-based artificial diffusion method for stabilized finite element approximation of convection-diffusion problems. CoRR Soheil Firooz, B. Daya Reddy, Paul Steinmann
2020	J	`jnl`	Discontinuous Galerkin approximations for near-incompressible and near-inextensible transversely isotropic bodies. Comput. Math. Appl. Beverley J. Grieshaber, F. Rasolofoson, B. Daya Reddy
2019	J	`jnl`	Convergence in the incompressible limit of new discontinuous Galerkin methods with general quadrilateral and hexahedral elements. CoRR Beverley J. Grieshaber, Andrew T. McBride, B. Daya Reddy
2019	J	`jnl`	Operator-splitting methods for the 2D convective Cahn-Hilliard equation. Comput. Math. Appl. Hagos Hailu Gidey, B. Daya Reddy
2018	J	`jnl`	Multi-scale simulation of droplet-droplet interaction and coalescence. J. Comput. Phys. Ndivhuwo M. Musehane, Oliver F. Oxtoby, B. Daya Reddy
2016	J	`jnl`	A natural nonconforming FEM for the Bingham flow problem is quasi-optimal. Numerische Mathematik Carsten Carstensen, B. Daya Reddy, Mira Schedensack
2015	J	`jnl`	Uniformly Convergent Interior Penalty Methods Using Multilinear Approximations for Problems in Elasticity. SIAM J. Numer. Anal. Beverley J. Grieshaber, Andrew T. McBride, B. Daya Reddy
2014	J	`jnl`	Stability and Convergence of Two Three-Field Finite Element Formulations for Elasticity. Comput. Methods Appl. Math. Abdoulkadri Chama, B. Daya Reddy
2010	J	`jnl`	A mathematical method for constraint-based cluster analysis towards optimized constrictive diameter smoothing of saphenous vein grafts. Medical Biol. Eng. Comput. Thomas Franz, B. Daya Reddy, Paul Human, Peter Zilla
2006	J	`jnl`	Convergence in the incompressible limit of finite element approximations based on the Hu-Washizu formulation. Numerische Mathematik Bishnu P. Lamichhane, B. Daya Reddy, Barbara I. Wohlmuth
2004	J	`jnl`	Uniform convergence and a posteriori error estimators for the enhanced strain finite element method. Numerische Mathematik Dietrich Braess, Carsten Carstensen, B. Daya Reddy
2002	J	`jnl`	A Stable Affine-Approximate Finite Element Method. SIAM J. Numer. Anal. K. Arunakirinathar, B. Daya Reddy
2000	J	`jnl`	Convergence of approximations to the primal problem in plasticity under conditions of minimal regularity. Numerische Mathematik Weimin Han, B. Daya Reddy
1997	J	`jnl`	Numerical approximations of problems in plasticity: error analysis and solution algorithms. Numer. Linear Algebra Appl. Weimin Han, Søren Jensen, B. Daya Reddy
1990	J	`jnl`	Maximum and Minimum Principles: A Unified Approach, with Applications. (M. J. Sewell). SIAM Rev. B. Daya Reddy

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.