Laurent Henocque

20 papers A 6B 1Misc 2Journal 5Unranked 6

Year	Rank	Type	Title / Venue / Authors
2008	—	`conf`	An End-to-End Configuration-Based Framework for Automatic SWS Composition. ICTAI (1) Patrick Albert, Laurent Henocque, Mathias Kleiner
2008	—	`conf`	Ant Colony Optimization for Configuration. ICTAI (1) Patrick Albert, Laurent Henocque, Mathias Kleiner
2006	J	`jnl`	Predicting and Detecting Symmetries in FOL Finite Model Search. J. Autom. Reason. Gilles Audemard, Belaid Benhamou, Laurent Henocque
2005	J	`jnl`	A Constrained Object Model for Configuration Based Workflow Composition CoRR Patrick Albert, Laurent Henocque, Mathias Kleiner
2005	—	`conf`	A Constrained Object Model for Configuration Based Workflow Composition. Business Process Management Workshops Patrick Albert, Laurent Henocque, Mathias Kleiner
2005	A	`conf`	Advances in Polytime Isomorph Elimination for Configuration. CP Laurent Henocque, Mathias Kleiner, Nicolas Prcovic
2005	A	`conf`	Configuration-Based Workflow Composition. ICWS Patrick Albert, Laurent Henocque, Mathias Kleiner
2004	—	`conf`	An Intuitive Tool for Constraint Based Grammars. CSLP Mathieu Estratat, Laurent Henocque
2004	—	`conf`	Application des programmes de contraintes orientés objet à l'analyse du langage naturel. TALN (Articles longs) Mathieu Estratat, Laurent Henocque
2004	A	`conf`	Parsing Languages with a Configurator. ECAI Mathieu Estratat, Laurent Henocque
2004	B	`conf`	Practically Handling Some Configuration Isomorphisms. ICTAI Laurent Henocque, Nicolas Prcovic
2003	A	`conf`	A Canonicity Test for Configuration. CP Stéphane Grandcolas, Laurent Henocque, Nicolas Prcovic
2003	J	`jnl`	Modeling Object Oriented Constraint Programs in Z CoRR Laurent Henocque
2003	J	`jnl`	Pruning Isomorphic Structural Sub-problems in Configuration CoRR Stéphane Grandcolas, Laurent Henocque, Nicolas Prcovic
2002	Misc	`ed.`	Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, Proceedings AISC Jacques Calmet, Belaid Benhamou, Olga Caprotti, Laurent Henocque, Volker Sorge
2001	A	`conf`	The eXtended Least Number Heuristic. IJCAR Gilles Audemard, Laurent Henocque
2000	A	`conf`	Two Techniques to Improve Finite Model Search. CADE Gilles Audemard, Belaid Benhamou, Laurent Henocque
1999	J	`jnl`	A Hybrid Method for Finite Model Search in Equational Theories. Fundam. Informaticae Belaid Benhamou, Laurent Henocque
1998	Misc	`conf`	Finite Model Search for Equational Theories (FMSET). AISC Belaid Benhamou, Laurent Henocque
1993	—	`conf`	Model search with equality: a language and incremental proof procedure for discourse analysis. JFPL Laurent Henocque

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.