Salem Derisavi

19 papers A 5Journal 5Unranked 8

Year	Rank	Type	Title / Venue / Authors
2010	J	`jnl`	Symbolic partition refinement with automatic balancing of time and space. Perform. Evaluation Ralf Wimmer, Salem Derisavi, Holger Hermanns
2009	A	`conf`	Compact multi-dimensional kernel extraction for register tiling. SC Lakshminarayanan Renganarayanan, Uday Bondhugula, Salem Derisavi, Alexandre E. Eichenberger, Kevin O'Brien
2009	J	`jnl`	Enhanced Modeling and Solution of Layered Queueing Networks. IEEE Trans. Software Eng. Greg Franks, Tariq Omari, C. Murray Woodside, Olivia Das, Salem Derisavi
2008	—	`conf`	Symbolic Partition Refinement with Dynamic Balancing of Time and Space. QEST Ralf Wimmer, Salem Derisavi, Holger Hermanns
2007	A	`conf`	A Symbolic Algorithm for Optimal Markov Chain Lumping. TACAS Salem Derisavi
2007	—	`conf`	Deriving distribution of thread service time in layered queueing networks. WOSP Tariq Omari, Salem Derisavi, Greg Franks
2007	—	`conf`	Performance Modeling of a Quorum Pattern in Layered Service Systems. QEST Tariq Omari, Salem Derisavi, Greg Franks, C. Murray Woodside
2007	—	`conf`	Signature-based Symbolic Algorithm for Optimal Markov Chain Lumping. QEST Salem Derisavi
2005	A	`conf`	Lumping Matrix Diagram Representations of Markov Models. DSN Salem Derisavi, Peter Kemper, William H. Sanders
2005	—	`—`	Solution of Large Markov Models Using Lumping Techniques and Symbolic Data Structures Salem Derisavi
2005	—	`conf`	The Mobius Modeling Environment: Recent Extensions - 2005. QEST Tod Courtney, Salem Derisavi, Shravan Gaonkar, Mark Griffith, Vinh Vi Lam, Michael G. McQuinn, Eric Rozier, William H. Sanders
2004	—	`conf`	The Möbius Modeling Environment: Recent Developments. QEST Tod Courtney, David Daly, Salem Derisavi, Shravan Gaonkar, Mark Griffith, Vinh Vi Lam, William H. Sanders
2003	A	`conf`	On Integrating the MÖBIUS and MODEST Modeling Tools. DSN Henrik C. Bohnenkamp, Tod Courtney, David Daly, Salem Derisavi, Holger Hermanns, Joost-Pieter Katoen, Ric Klaren, Vinh Vi Lam, William H. Sanders
2003	J	`jnl`	Optimal state-space lumping in Markov chains. Inf. Process. Lett. Salem Derisavi, Holger Hermanns, William H. Sanders
2003	J	`jnl`	The Möbius state-level abstract functional interface. Perform. Evaluation Salem Derisavi, Peter Kemper, William H. Sanders, Tod Courtney
2002	A	`conf`	Overview: An Integrated Framework for Performance Engineering and Resource-Aware Compilation. IPDPS William H. Sanders, Constantine D. Polychronopoulos, Thomas S. Huang, Tod Courtney, David Daly, Daniel D. Deavours, Salem Derisavi
2002	J	`jnl`	The Möbius Framework and Its Implementation. IEEE Trans. Software Eng. Daniel D. Deavours, Graham Clark, Tod Courtney, David Daly, Salem Derisavi, Jay M. Doyle, William H. Sanders, Patrick G. Webster
2002	—	`conf`	The Möbius State-Level Abstract Functional Interface. Computer Performance Evaluation / TOOLS Salem Derisavi, Peter Kemper, William H. Sanders, Tod Courtney
2001	—	`conf`	The Möbius Modeling Tool. PNPM Graham Clark, Tod Courtney, David Daly, Daniel D. Deavours, Salem Derisavi, Jay M. Doyle, William H. Sanders, Patrick G. Webster

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.