Georges-Axel Jaloyan

17 papers A* 1A 1C 2Journal 8Unranked 4

Year	Rank	Type	Title / Venue / Authors
2025	A*	`conf`	Formally Verified Cloud-Scale Authorization. ICSE Aleks Chakarov, Jaco Geldenhuys, Matthew Heck, Michael Hicks, Sam Huang, Georges-Axel Jaloyan, Anjali Joshi, K. Rustan M. Leino, Mikael Mayer, Sean McLaughlin, Akhilesh Mritunjai, Clément Pit-Claudel, Sorawee Porncharoenwase, Florian Rabe, Marianna Rapoport, Giles Reger, Cody Roux, Neha Rungta, Robin Salkeld, Matthias Schlaipfer, Daniel Schoepe, Johanna Schwartzentruber, Serdar Tasiran, Aaron Tomb, Emina Torlak, Jean-Baptiste Tristan, Lucas G. Wagner, Michael W. Whalen, Remy Willems, Tongtong Xiang, Tae Joon Byun, Joshua M. Cohen, Ruijie Fang, Junyoung Jang, Jakob Rath, Hira Taqdees Syeda, Dominik Wagner, Yongwei Yuan
2023	—	`conf`	Emoji shellcoding in RISC-V. SP (Workshops) Hadrien Barral, Georges-Axel Jaloyan, David Naccache
2022	J	`jnl`	A forensic analysis of the Google Home: repairing compressed data without error correction. CoRR Hadrien Barral, Georges-Axel Jaloyan, Fabien Thomas-Brans, Matthieu Regnery, Rémi Géraud-Stewart, Thibaut Heckmann, Thomas R. Souvignet, David Naccache
2022	J	`jnl`	A forensic analysis of the Google Home: repairing compressed data without error correction. Digit. Investig. Hadrien Barral, Georges-Axel Jaloyan, Fabien Thomas-Brans, Matthieu Regnery, Rémi Géraud-Stewart, Thibaut Heckmann, Thomas R. Souvignet, David Naccache
2021	—	`—`	A semantic approach to machine-level software security. (Une approche sémantique à la sécurité logicielle niveau machine). Georges-Axel Jaloyan
2021	—	`conf`	LIRA-V: Lightweight Remote Attestation for Constrained RISC-V Devices. SP (Workshops) Carlton Shepherd, Konstantinos Markantonakis, Georges-Axel Jaloyan
2021	J	`jnl`	LIRA-V: Lightweight Remote Attestation for Constrained RISC-V Devices. CoRR Carlton Shepherd, Konstantinos Markantonakis, Georges-Axel Jaloyan
2021	J	`jnl`	Return-Oriented Programming on RISC-V. CoRR Georges-Axel Jaloyan, Konstantinos Markantonakis, Raja Naeem Akram, David Robin, Keith Mayes, David Naccache
2020	A	`conf`	Return-Oriented Programming on RISC-V. AsiaCCS Georges-Axel Jaloyan, Konstantinos Markantonakis, Raja Naeem Akram, David Robin, Keith Mayes, David Naccache
2020	C	`conf`	Verification of Programs with Pointers in SPARK. ICFEM Georges-Axel Jaloyan, Claire Dross, Maroua Maalej, Yannick Moy, Andrei Paskevich
2019	—	`conf`	RISC-V: #AlphanumericShellcoding. WOOT @ USENIX Security Symposium Hadrien Barral, Rémi Géraud-Stewart, Georges-Axel Jaloyan, David Naccache
2019	J	`jnl`	RISC-V: #AlphanumericShellcoding. CoRR Hadrien Barral, Rémi Géraud-Stewart, Georges-Axel Jaloyan, David Naccache
2018	J	`jnl`	Borrowing Safe Pointers from Rust in SPARK. CoRR Georges-Axel Jaloyan, Yannick Moy, Andrei Paskevich
2017	—	`conf`	Lock Optimization for Hoare Monitors in Real-Time Systems. ACSD Georges-Axel Jaloyan, Lee Pike
2017	J	`jnl`	Safe Pointers in SPARK 2014. CoRR Georges-Axel Jaloyan
2016	C	`conf`	ARMv8 Shellcodes from 'A' to 'Z'. ISPEC Hadrien Barral, Houda Ferradi, Rémi Géraud, Georges-Axel Jaloyan, David Naccache
2016	J	`jnl`	ARMv8 Shellcodes from 'A' to 'Z'. CoRR Hadrien Barral, Houda Ferradi, Rémi Géraud, Georges-Axel Jaloyan, David Naccache

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.