23 citations · 28 across the 3 of their papers we have counts for
5 papers
A forensic analysis of the Google Home: repairing compressed data without error correction
Hadrien Barral, Georges-Axel Jaloyan, Fabien Thomas-Brans +5
This paper provides a detailed explanation of the steps taken to extract and repair a Google Home's internal data. Starting with reverse engineering the hardware of a commercial of…
Return-Oriented Programming on RISC-V
Georges-Axel Jaloyan, Konstantinos Markantonakis, Raja Naeem Akram +3
This paper provides the first analysis on the feasibility of Return-Oriented Programming (ROP) on RISC-V, a new instruction set architecture targeting embedded systems. We show the…
RISC-V: #AlphanumericShellcoding
Hadrien Barral, Rémi Géraud-Stewart, Georges-Axel Jaloyan +1
We explain how to design RISC-V shellcodes capable of running arbitrary code, whose ASCII binary representation use only letters a-zA-Z, digits 0-9, and either of the three charact…
Borrowing Safe Pointers from Rust in SPARK
Georges-Axel Jaloyan, Yannick Moy, Andrei Paskevich
In the field of deductive software verification, programs with pointers present a major challenge due to pointer aliasing. In this paper, we introduce pointers to SPARK, a well-def…
Safe Pointers in SPARK 2014
Georges-Axel Jaloyan
In the context of deductive software verification, programs with pointers present a major challenge due to pointer aliasing. In this paper, we introduce pointers to SPARK, a well-d…