Georges-Axel Jaloyan

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 15

Top Topics

Remote Attestation

Top Venues

Publications

Hadrien Barral, Georges-Axel Jaloyan, David Naccache
Emoji shellcoding in RISC-V. SP Workshops (2023)
Hadrien Barral, Georges-Axel Jaloyan, Fabien Thomas-Brans, Matthieu Regnery, Rémi Géraud-Stewart, Thibaut Heckmann, Thomas R. Souvignet, David Naccache
A forensic analysis of the Google Home: repairing compressed data without error correction. CoRR (2022)
Hadrien Barral, Georges-Axel Jaloyan, Fabien Thomas-Brans, Matthieu Regnery, Rémi Géraud-Stewart, Thibaut Heckmann, Thomas R. Souvignet, David Naccache
A forensic analysis of the Google Home: repairing compressed data without error correction. Digit. Investig. (2022)
Georges-Axel Jaloyan, Konstantinos Markantonakis, Raja Naeem Akram, David Robin, Keith Mayes, David Naccache
Return-Oriented Programming on RISC-V. CoRR (2021)
Carlton Shepherd, Konstantinos Markantonakis, Georges-Axel Jaloyan
LIRA-V: Lightweight Remote Attestation for Constrained RISC-V Devices. CoRR (2021)
Carlton Shepherd, Konstantinos Markantonakis, Georges-Axel Jaloyan
LIRA-V: Lightweight Remote Attestation for Constrained RISC-V Devices. SP Workshops (2021)
Georges-Axel Jaloyan, Konstantinos Markantonakis, Raja Naeem Akram, David Robin, Keith Mayes, David Naccache
Return-Oriented Programming on RISC-V. AsiaCCS (2020)
Georges-Axel Jaloyan, Claire Dross, Maroua Maalej, Yannick Moy, Andrei Paskevich
Verification of Programs with Pointers in SPARK. ICFEM (2020)
Hadrien Barral, Rémi Géraud-Stewart, Georges-Axel Jaloyan, David Naccache
RISC-V: #AlphanumericShellcoding. CoRR (2019)
Hadrien Barral, Rémi Géraud-Stewart, Georges-Axel Jaloyan, David Naccache
RISC-V: #AlphanumericShellcoding. WOOT @ USENIX Security Symposium (2019)
Georges-Axel Jaloyan, Yannick Moy, Andrei Paskevich
Borrowing Safe Pointers from Rust in SPARK. CoRR (2018)
Georges-Axel Jaloyan, Lee Pike
Lock Optimization for Hoare Monitors in Real-Time Systems. ACSD (2017)
Georges-Axel Jaloyan
Safe Pointers in SPARK 2014. CoRR (2017)
Hadrien Barral, Houda Ferradi, Rémi Géraud, Georges-Axel Jaloyan, David Naccache
ARMv8 Shellcodes from 'A' to 'Z'. ISPEC (2016)
Hadrien Barral, Houda Ferradi, Rémi Géraud, Georges-Axel Jaloyan, David Naccache
ARMv8 Shellcodes from 'A' to 'Z'. CoRR (2016)