ARMv8 Shellcodes from 'A' to 'Z'. - Hadrien Barral; Houda Ferradi; Rémi Géraud; Georges-Axel Jaloyan; David Naccache (ISPEC, 2016)

Lock Optimization for Hoare Monitors in Real-Time Systems. - Georges-Axel Jaloyan; Lee Pike (ACSD, 2017)

Safe Pointers in SPARK 2014. - Georges-Axel Jaloyan (CoRR, 2017)

Borrowing Safe Pointers from Rust in SPARK. - Georges-Axel Jaloyan; Yannick Moy; Andrei Paskevich (CoRR, 2018)

RISC-V: #AlphanumericShellcoding. - Hadrien Barral; Rémi Géraud-Stewart; Georges-Axel Jaloyan; David Naccache (WOOT @ USENIX Security Symposium, 2019)

Return-Oriented Programming on RISC-V. - Georges-Axel Jaloyan; Konstantinos Markantonakis; Raja Naeem Akram; David Robin; Keith Mayes; David Naccache (AsiaCCS, 2020)

Verification of Programs with Pointers in SPARK. - Georges-Axel Jaloyan; Claire Dross; Maroua Maalej; Yannick Moy; Andrei Paskevich (ICFEM, 2020)

LIRA-V: Lightweight Remote Attestation for Constrained RISC-V Devices. - Carlton Shepherd; Konstantinos Markantonakis; Georges-Axel Jaloyan (SP (Workshops), 2021)

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

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 (Digit. Investig., 2022)

Emoji shellcoding in RISC-V. - Hadrien Barral; Georges-Axel Jaloyan; David Naccache (SP (Workshops), 2023)

Formally Verified Cloud-Scale Authorization. - Aleks Chakarov; Jaco Geldenhuys; Matthew Heck; Michael Hicks 001; Sam Huang; Georges-Axel Jaloyan; Anjali Joshi; K. Rustan M. Leino; Mikael Mayer; Sean McLaughlin; Akhilesh Mritunjai; Clément Pit-Claudel; et al. (ICSE, 2025)