23 citations · 30 across the 6 of their papers we have counts for
7 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…
LIRA-V: Lightweight Remote Attestation for Constrained RISC-V Devices
Carlton Shepherd, Konstantinos Markantonakis, Georges-Axel Jaloyan
This paper presents LIRA-V, a lightweight system for performing remote attestation between constrained devices using the RISC-V architecture. We propose using read-only memory and…
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…
ARMv8 Shellcodes from 'A' to 'Z'
Hadrien Barral, Houda Ferradi, Rémi Géraud +2
We describe a methodology to automatically turn arbitrary ARMv8 programs into alphanumeric executable polymorphic shellcodes. Shellcodes generated in this way can evade detection a…