Laurent Trilling

27 papers A* 1B 1C 2Misc 1Journal 6Unranked 15

Year	Rank	Type	Title / Venue / Authors
2021	C	`conf`	Who Plays Complex Music? On the Correlations Between Structural and Behavioral Complexity Measures in Sign Boolean Networks. BIBE Rémi Segretain, Laurent Trilling, Nicolas Glade, Sergiu Ivanov
2020	—	`conf`	A Methodology for Evaluating the Extensibility of Boolean Networks' Structure and Function. COMPLEX NETWORKS (2) Rémi Segretain, Sergiu Ivanov, Laurent Trilling, Nicolas Glade
2017	—	`conf`	A Logical Constraint-based Approach to Infer and Explore Diversity and Composition in Thresholded Boolean Automaton Networks. COMPLEX NETWORKS Quoc-Trung Vuong, Roselyne J. Chauvin, Sergiu Ivanov, Nicolas Glade, Laurent Trilling
2015	—	`conf`	Logical Modeling and Analysis of Regulatory Genetic Networks in a Non Monotonic Framework. IWBBIO (1) Nicolas Mobilia, Alexandre Rocca, Samuel Chorlton, Eric Fanchon, Laurent Trilling
2012	—	`conf`	Automatic Inference of Regulatory and Dynamical Properties from Incomplete Gene Interaction and Expression Data. IPCAT Fabien Corblin, Eric Fanchon, Laurent Trilling, Claudine Chaouiya, Denis Thieffry
2010	J	`jnl`	Applications of a formal approach to decipher discrete genetic networks. BMC Bioinform. Fabien Corblin, Eric Fanchon, Laurent Trilling
2009	J	`jnl`	A declarative constraint-based method for analyzing discrete genetic regulatory networks. Biosyst. Fabien Corblin, Sébastien Tripodi, Eric Fanchon, Delphine Ropers, Laurent Trilling
2007	J	`jnl`	Modélisation de réseaux biologiques discrets en programmation logique par contraintes. Tech. Sci. Informatiques Fabien Corblin, Eric Fanchon, Laurent Trilling
2004	—	`conf`	Modeling the Molecular Network Controlling Adhesion Between Human Endothelial Cells: Inference and Simulation Using Constraint Logic Programming. CMSB Eric Fanchon, Fabien Corblin, Laurent Trilling, Bastien Hermant, Danielle Gulino
2001	—	`conf`	Un résolveur d'ordonnancements de gammes sur le long terme avec intégration dynamique des temps de réglage. JFPLC Sébastien Buthod-Garçon, Michel Dumoulin, Laurent Trilling
2000	—	`conf`	InterDB, a Prediction-Oriented Protein Interaction Database for C. elegans. JOBIM Nicolas Thierry-Mieg, Laurent Trilling
1999	—	`conf`	A PVS-Based Approach for Teaching Constructing Correct Iterations. World Congress on Formal Methods Michel Levy, Laurent Trilling
1999	J	`jnl`	An Application of CLP: Checking the Correctness of Theorems in Geometry. Constraints An Int. J. Denis Bouhineau, Laurent Trilling, Jacques Cohen
1995	—	`conf`	Logic programming: a tool for development of educational systems. WCCE Richard Allen, Laurent Trilling
1994	—	`conf`	Constraints that Assist in the Teaching of Logic Programming. ICLP Workshop: Logic Programming and Education Jeanne Idt, Michel Levy, Laurent Trilling
1994	—	`conf`	On Cross-Fertilization between Logic Programming and Educational Systems. ICLP Workshop: Logic Programming and Education Richard Allen, Cyrille Desmoulins, Laurent Trilling
1993	A*	`conf`	Constraint Based Automatic Construction and Manipulation of Geometric Figures. IJCAI Richard Allen, Jeanne Idt, Laurent Trilling
1992	B	`conf`	Tuteurs Intelligents et Intelligence Artificielle: problèmes posés en construction de figures géométriques. Intelligent Tutoring Systems Richard Allen, Cyrille Desmoulins, Laurent Trilling
1991	—	`conf`	Constructing a Parallel Sort Program on Hypercube by Using Distributively Callable Procedures. Research Directions in High-Level Parallel Programming Languages Daniel Herman, Laurent Trilling
1991	C	`conf`	Programming a Parallel Sort Using Distributed Procedure Calls. ICCI Daniel Herman, Laurent Trilling
1988	Misc	`conf`	Collective Predicates: Expressing Control of OR-Parallelism in Prolog. AIMSA Rene Quiniou, Laurent Trilling
1985	—	`conf`	Des primitives pour la synchronisation des branches OU. Un exemple d'application. SPLT Rene Quiniou, Laurent Trilling
1984	—	`conf`	Un système de traitement de petites annonces. SPLT Michèle Courant, Sophie Robin, Laurent Trilling
1979	J	`jnl`	An Event-Driven Compiling Technique. Commun. ACM Jean-Pierre Banâtre, Jean-Paul Routeau, Laurent Trilling
1974	J	`jnl`	A nucleus of a theorem-prover described inAlgol -68. Int. J. Parallel Program. Jacques Cohen, Laurent Trilling, Peter Wegner
1970	—	`conf`	An Attempted Definition of an Extensible System. ALGOL 68 Implementation Laurent Trilling, Jean-Pierre Verjus
1967	—	`—`	Contribution à l'étude des mécanismes de traduction des langages de programmation : application au traitement des structures définies dynamiquement. Laurent Trilling

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.