Olivier Bouissou

25 papers A* 1A 2B 4C 1Journal 10Unranked 6

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	DafnyPro: LLM-Assisted Automated Verification for Dafny Programs. CoRR Debangshu Banerjee, Olivier Bouissou, Stefan Zetzsche
2025	J	`jnl`	ATLAS: Automated Toolkit for Large-Scale Verified Code Synthesis. CoRR Mantas Baksys, Stefan Zetzsche, Olivier Bouissou, Remi Delmas, Soonho Kong
2025	J	`jnl`	MiniF2F-Dafny: LLM-Guided Mathematical Theorem Proving via Auto-Active Verification. CoRR Mantas Baksys, Stefan Zetzsche, Olivier Bouissou
2017	J	`jnl`	Construction of parametric barrier functions for dynamical systems using interval analysis. Autom. Adel Djaballah, Alexandre Chapoutot, Michel Kieffer, Olivier Bouissou
2016	A	`conf`	Uncertainty Propagation Using Probabilistic Affine Forms and Concentration of Measure Inequalities. TACAS Olivier Bouissou, Eric Goubault, Sylvie Putot, Aleksandar Chakarov, Sriram Sankaranarayanan
2015	J	`jnl`	Construction of Parametric Barrier Functions for Dynamical Systems using Interval Analysis. CoRR Adel Djaballah, Alexandre Chapoutot, Michel Kieffer, Olivier Bouissou
2014	—	`conf`	Computation of parametric barrier functions for dynamical systems using interval analysis. CDC Olivier Bouissou, Alexandre Chapoutot, Adel Djaballah, Michel Kieffer
2013	J	`jnl`	Computing Flowpipe of Nonlinear Hybrid Systems with Numerical Methods. CoRR Olivier Bouissou, Alexandre Chapoutot, Samuel Mimram
2013	—	`conf`	Enclosing Temporal Evolution of Dynamical Systems Using Numerical Methods. NASA Formal Methods Olivier Bouissou, Alexandre Chapoutot, Adel Djoudi
2013	B	`conf`	Fixpoint Computation in the Polyhedra Abstract Domain Using Convex and Numerical Analysis Tools. VMCAI Yassamine Seladji, Olivier Bouissou
2013	—	`conf`	Numerical Abstract Domain Using Support Functions. NASA Formal Methods Yassamine Seladji, Olivier Bouissou
2013	—	`conf`	Static Analysis of Programs with Imprecise Probabilistic Inputs. VSTTE Assalé Adjé, Olivier Bouissou, Jean Goubault-Larrecq, Eric Goubault, Sylvie Putot
2012	J	`jnl`	A generalization of p-boxes to affine arithmetic. Computing Olivier Bouissou, Eric Goubault, Jean Goubault-Larrecq, Sylvie Putot
2012	J	`jnl`	Acceleration of the abstract fixpoint computation in numerical program analysis. J. Symb. Comput. Olivier Bouissou, Yassamine Seladji, Alexandre Chapoutot
2012	B	`conf`	An operational semantics for Simulink's simulation engine. LCTES Olivier Bouissou, Alexandre Chapoutot
2012	—	`conf`	From control-command synchronous programs to hybrid automata. ADHS Olivier Bouissou
2012	C	`conf`	HySon: Set-based simulation of hybrid systems. RSP Olivier Bouissou, Samuel Mimram, Alexandre Chapoutot
2012	J	`jnl`	Vérification partielle de programmes de contrôle-commande par interprétation abstraite. Tech. Sci. Informatiques Olivier Bouissou
2010	J	`jnl`	Abstract Fixpoint Computations with Numerical Acceleration Methods CoRR Olivier Bouissou, Yassamine Seladji, Alexandre Chapoutot
2010	—	`conf`	Abstract Fixpoint Computations with Numerical Acceleration Methods. NSAD@SAS Olivier Bouissou, Yassamine Seladji, Alexandre Chapoutot
2009	A*	`conf`	HybridFluctuat: A Static Analyzer of Numerical Programs within a Continuous Environment. CAV Olivier Bouissou, Eric Goubault, Sylvie Putot, Karim Tekkal, Franck Védrine
2009	B	`conf`	Proving the Correctness of the Implementation of a Control-Command Algorithm. SAS Olivier Bouissou
2008	A	`conf`	A Hybrid Denotational Semantics for Hybrid Systems. ESOP Olivier Bouissou, Matthieu Martel
2008	B	`conf`	Abstract Interpretation of the Physical Inputs of Embedded Programs. VMCAI Olivier Bouissou, Matthieu Martel
2008	—	`—`	Analyse statique par interprétation abstraite de systèmes hybrides. Olivier Bouissou

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.