Georges-Axel Jaloyan

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Emoji shellcoding in RISC-V.
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.
Digit. Investig., 2022

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

LIRA-V: Lightweight Remote Attestation for Constrained RISC-V Devices.
Proceedings of the IEEE Security and Privacy Workshops, 2021

2020
Verification of Programs with Pointers in SPARK.
Proceedings of the Formal Methods and Software Engineering, 2020

Return-Oriented Programming on RISC-V.
Proceedings of the ASIA CCS '20: The 15th ACM Asia Conference on Computer and Communications Security, 2020

2019
RISC-V: #AlphanumericShellcoding.
Proceedings of the 13th USENIX Workshop on Offensive Technologies, 2019

2018
Borrowing Safe Pointers from Rust in SPARK.
CoRR, 2018

2017
Safe Pointers in SPARK 2014.
CoRR, 2017

Lock Optimization for Hoare Monitors in Real-Time Systems.
Proceedings of the 17th International Conference on Application of Concurrency to System Design, 2017

2016
ARMv8 Shellcodes from 'A' to 'Z'.
Proceedings of the Information Security Practice and Experience, 2016


  Loading...