Benjamin Lesage

31 papers A 2B 2C 1Misc 12Journal 9Unranked 4

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Extension of ACETONE C code generator for multi-core architectures. CoRR Yanis Aït-Aïssa, Thomas Carle, Sergei Chichin, Benjamin Lesage, Claire Pagetti
2025	J	`jnl`	Challenges of neural network accelerators for aeronautics - position paper. Real Time Syst. Benjamin Lesage, Adrien Gauffriau, Claire Pagetti, Nicolas Valot
2025	J	`jnl`	Implementation of airborne ML models with semantics preservation. CoRR Nicolas Valot, Louis Fabre, Benjamin Lesage, Ammar Mechouche, Claire Pagetti
2025	C	`conf`	Towards a validated core memory model through (MP)SoC events. ISORC Alfonso Mascareñas González, Frédéric Boniol, Benjamin Lesage, Claire Pagetti
2024	J	`jnl`	COOK Access Control on an embedded Volta GPU. CoRR Benjamin Lesage, Frédéric Boniol, Claire Pagetti
2024	—	`conf`	Invited Paper: Assessing Unchecked Factors for Certification: An Experimental Approach for GPU Cache Parameters. WCET Cédric Cazanove, Benjamin Lesage, Frédéric Boniol, Jérôme Ermont
2024	J	`jnl`	Towards the Certification of Hybrid Architectures: Analysing Interference on Hardware Accelerators through PML. CoRR Benjamin Lesage, Frédéric Boniol, Kevin Delmas, Adrien Gauffriau, Alfonso Mascareñas González, Claire Pagetti
2023	Misc	`conf`	Cache-Aware Allocation of Parallel Jobs on Multi-cores based on Learned Recency. RTNS Shuai Zhao, Xiaotian Dai, Benjamin Lesage, Iain Bate
2023	Misc	`conf`	Reducing Loss of Service for Mixed-Criticality Systems through Cache- and Stress-Aware Scheduling. RTNS Benjamin Lesage, Xiaotian Dai, Shuai Zhao, Iain Bate
2022	—	`conf`	Using Digital Twins in the Development of Complex Dependable Real-Time Embedded Systems. ISoLA (4) Xiaotian Dai, Shuai Zhao, Benjamin Lesage, Iain Bate
2022	J	`jnl`	Verified synthesis of optimal safety controllers for human-robot collaboration. Sci. Comput. Program. Mario Gleirscher, Radu Calinescu, James A. Douthwaite, Benjamin Lesage, Colin Paterson, Jonathan M. Aitken, Rob Alexander, James Law
2021	J	`jnl`	A Modular Digital Twinning Framework for Safety Assurance of Collaborative Robotics. Frontiers Robotics AI James A. Douthwaite, Benjamin Lesage, Mario Gleirscher, Radu Calinescu, Jonathan M. Aitken, Rob Alexander, James Law
2021	B	`conf`	SASSI: Safety Analysis Using Simulation-Based Situation Coverage for Cobot Systems. SAFECOMP Benjamin Lesage, Rob Alexander
2021	J	`jnl`	Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration. CoRR Mario Gleirscher, Radu Calinescu, James A. Douthwaite, Benjamin Lesage, Colin Paterson, Jonathan M. Aitken, Rob Alexander, James Law
2020	Misc	`conf`	Establishing Confidence and Understanding Uncertainty in Real-Time Systems. RTNS Iain Bate, David Griffin, Benjamin Lesage
2020	Misc	`conf`	Justifying the Service Provided to Low Criticality Tasks in a Mixed Criticality System. RTNS Stephen Law, Iain Bate, Benjamin Lesage
2019	B	`conf`	Industrial Application of a Partitioning Scheduler to Support Mixed Criticality Systems. ECRTS Stephen Law, Iain Bate, Benjamin Lesage
2018	J	`jnl`	On the analysis of random replacement caches using static probabilistic timing methods for multi-path programs. Real Time Syst. Benjamin Lesage, David Griffin, Sebastian Altmeyer, Liliana Cucu-Grosjean, Robert I. Davis
2018	Misc	`conf`	TACO: An industrial case study of Test Automation for COverage. RTNS Benjamin Lesage, Stephen Law, Iain Bate
2017	—	`conf`	Exploring and Understanding Multicore Interference from Observable Factors. Automotive - Safety & Security Benjamin Lesage, David Griffin, Iain Bate, Frank Soboczenski
2017	Misc	`conf`	Forecast-based interference: modelling multicore interference from observable factors. RTNS David Griffin, Benjamin Lesage, Iain Bate, Frank Soboczenski, Robert I. Davis
2015	Misc	`conf`	A framework for the evaluation of measurement-based timing analyses. RTNS Benjamin Lesage, David Griffin, Frank Soboczenski, Iain Bate, Robert I. Davis
2015	Misc	`conf`	Modelling fault dependencies when execution time budgets are exceeded. RTNS David Griffin, Benjamin Lesage, Iain Bate, Frank Soboczenski, Robert I. Davis
2015	A	`conf`	Static Probabilistic Timing Analysis for Multi-path Programs. RTSS Benjamin Lesage, David Griffin, Sebastian Altmeyer, Robert I. Davis
2014	Misc	`conf`	Lossy Compression for Worst-Case Execution Time Analysis of PLRU Caches. RTNS David Griffin, Benjamin Lesage, Alan Burns, Robert I. Davis
2014	Misc	`conf`	Static Probabilistic Timing Analysis of Random Replacement Caches using Lossy Compression. RTNS David Griffin, Benjamin Lesage, Alan Burns, Robert I. Davis
2013	—	`—`	Architecture multi-coeurs et temps d'exécution au pire cas. (Multicore architectures and worst-case execution time). Benjamin Lesage
2012	Misc	`conf`	PRETI: partitioned real-time shared cache for mixed-criticality real-time systems. RTNS Benjamin Lesage, Isabelle Puaut, André Seznec
2011	A	`conf`	Scalable Fixed-Point Free Instruction Cache Analysis. RTSS Damien Hardy, Benjamin Lesage, Isabelle Puaut
2009	Misc	`conf`	Formal Proof of Theorems on Genetic Regulatory Networks. SYNASC Maxime Dénès, Benjamin Lesage, Yves Bertot, Adrien Richard
2009	—	`conf`	WCET Analysis of Multi-Level Set-Associative Data Caches. WCET Benjamin Lesage, Damien Hardy, Isabelle Puaut

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.