Georges-Axel Jaloyan

17 papers A* 1A 1C 2Journal 8Unranked 4
YearRankTypeTitle / Venue / Authors
2025 A* conf
Formally Verified Cloud-Scale Authorization.
ICSE
Aleks Chakarov, Jaco Geldenhuys, Matthew Heck, Michael Hicks, Sam Huang, Georges-Axel Jaloyan, Anjali Joshi, K. Rustan M. Leino, Mikael Mayer, Sean McLaughlin, Akhilesh Mritunjai, Clément Pit-Claudel, Sorawee Porncharoenwase, Florian Rabe, Marianna Rapoport, Giles Reger, Cody Roux, Neha Rungta, Robin Salkeld, Matthias Schlaipfer, Daniel Schoepe, Johanna Schwartzentruber, Serdar Tasiran, Aaron Tomb, Emina Torlak, Jean-Baptiste Tristan, Lucas G. Wagner, Michael W. Whalen, Remy Willems, Tongtong Xiang, Tae Joon Byun, Joshua M. Cohen, Ruijie Fang, Junyoung Jang, Jakob Rath, Hira Taqdees Syeda, Dominik Wagner, Yongwei Yuan
2023 — conf
Emoji shellcoding in RISC-V.
SP (Workshops)
Hadrien Barral, Georges-Axel Jaloyan, David Naccache
2022 J jnl
A forensic analysis of the Google Home: repairing compressed data without error correction.
CoRR
Hadrien Barral, Georges-Axel Jaloyan, Fabien Thomas-Brans, Matthieu Regnery, Rémi Géraud-Stewart, Thibaut Heckmann, Thomas R. Souvignet, David Naccache
2022 J jnl
A forensic analysis of the Google Home: repairing compressed data without error correction.
Digit. Investig.
Hadrien Barral, Georges-Axel Jaloyan, Fabien Thomas-Brans, Matthieu Regnery, Rémi Géraud-Stewart, Thibaut Heckmann, Thomas R. Souvignet, David Naccache
2021 — —
A semantic approach to machine-level software security. (Une approche sémantique à la sécurité logicielle niveau machine).
Georges-Axel Jaloyan
2021 — conf
LIRA-V: Lightweight Remote Attestation for Constrained RISC-V Devices.
SP (Workshops)
Carlton Shepherd, Konstantinos Markantonakis, Georges-Axel Jaloyan
2021 J jnl
LIRA-V: Lightweight Remote Attestation for Constrained RISC-V Devices.
CoRR
Carlton Shepherd, Konstantinos Markantonakis, Georges-Axel Jaloyan
2021 J jnl
Return-Oriented Programming on RISC-V.
CoRR
Georges-Axel Jaloyan, Konstantinos Markantonakis, Raja Naeem Akram, David Robin, Keith Mayes, David Naccache
2020 A conf
Return-Oriented Programming on RISC-V.
AsiaCCS
Georges-Axel Jaloyan, Konstantinos Markantonakis, Raja Naeem Akram, David Robin, Keith Mayes, David Naccache
2020 C conf
Verification of Programs with Pointers in SPARK.
ICFEM
Georges-Axel Jaloyan, Claire Dross, Maroua Maalej, Yannick Moy, Andrei Paskevich
2019 — conf
RISC-V: #AlphanumericShellcoding.
WOOT @ USENIX Security Symposium
Hadrien Barral, Rémi Géraud-Stewart, Georges-Axel Jaloyan, David Naccache
2019 J jnl
RISC-V: #AlphanumericShellcoding.
CoRR
Hadrien Barral, Rémi Géraud-Stewart, Georges-Axel Jaloyan, David Naccache
2018 J jnl
Borrowing Safe Pointers from Rust in SPARK.
CoRR
Georges-Axel Jaloyan, Yannick Moy, Andrei Paskevich
2017 — conf
Lock Optimization for Hoare Monitors in Real-Time Systems.
ACSD
Georges-Axel Jaloyan, Lee Pike
2017 J jnl
Safe Pointers in SPARK 2014.
CoRR
Georges-Axel Jaloyan
2016 C conf
ARMv8 Shellcodes from 'A' to 'Z'.
ISPEC
Hadrien Barral, Houda Ferradi, Rémi Géraud, Georges-Axel Jaloyan, David Naccache
2016 J jnl
ARMv8 Shellcodes from 'A' to 'Z'.
CoRR
Hadrien Barral, Houda Ferradi, Rémi Géraud, Georges-Axel Jaloyan, David Naccache