Georges-Axel Jaloyan

According to our database, Georges-Axel Jaloyan authored at least 11 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Emoji shellcoding in RISC-V.

Hadrien Barral, Georges-Axel Jaloyan, David Naccache

Proceedings of the 2023 IEEE Security and Privacy Workshops (SPW), 2023

2022

A forensic analysis of the Google Home: repairing compressed data without error correction.

Hadrien Barral, Georges-Axel Jaloyan, Fabien Thomas-Brans, Matthieu Regnery, Rémi Géraud-Stewart, Thibaut Heckmann, Thomas R. Souvignet, David Naccache

CoRR, 2022

2021

A semantic approach to machine-level software security. (Une approche sémantique à la sécurité logicielle niveau machine).

Georges-Axel Jaloyan

PhD thesis, 2021

LIRA-V: Lightweight Remote Attestation for Constrained RISC-V Devices.

Carlton Shepherd, Konstantinos Markantonakis, Georges-Axel Jaloyan

Proceedings of the IEEE Security and Privacy Workshops, 2021

2020

Verification of Programs with Pointers in SPARK.

Georges-Axel Jaloyan, Claire Dross, Maroua Maalej, Yannick Moy, Andrei Paskevich

Proceedings of the Formal Methods and Software Engineering, 2020

Return-Oriented Programming on RISC-V.

Georges-Axel Jaloyan, Konstantinos Markantonakis, Raja Naeem Akram, David Robin, Keith Mayes, David Naccache

Proceedings of the ASIA CCS '20: The 15th ACM Asia Conference on Computer and Communications Security, 2020

2019

RISC-V: #AlphanumericShellcoding.

Hadrien Barral, Rémi Géraud-Stewart, Georges-Axel Jaloyan, David Naccache

Proceedings of the 13th USENIX Workshop on Offensive Technologies, 2019

2018

Borrowing Safe Pointers from Rust in SPARK.

Georges-Axel Jaloyan, Yannick Moy, Andrei Paskevich

CoRR, 2018

2017

Safe Pointers in SPARK 2014.

Georges-Axel Jaloyan

CoRR, 2017

Lock Optimization for Hoare Monitors in Real-Time Systems.

Georges-Axel Jaloyan, Lee Pike

Proceedings of the 17th International Conference on Application of Concurrency to System Design, 2017

2016

ARMv8 Shellcodes from 'A' to 'Z'.

Hadrien Barral, Houda Ferradi, Rémi Géraud, Georges-Axel Jaloyan, David Naccache

Proceedings of the Information Security Practice and Experience, 2016