E-LIB Suche - Ergebnisse für: Jaloyan, Georges-Axel

1

Emoji shellcoding in RISC-V:

, In: 2023 IEEE Security and Privacy Workshops (SPW),

Barral, Hadrien ; Jaloyan, Georges-Axel ; Naccache, David - p. 255-263 , 2023

2

A forensic analysis of the Google Home: repairing compresse..:

Barral, Hadrien ; Jaloyan, Georges-Axel ; Thomas-Brans, Fabien...
Forensic Science International: Digital Investigation. 42-43 (2022) - p. 301437 , 2022

Link: https://doi.org/10.1016/..

3

Return-Oriented Programming on RISC-V:

, In: Proceedings of the 15th ACM Asia Conference on Computer and Communications Security,

Jaloyan, Georges-Axel ; Markantonakis, Konstantinos ; Akram, Raja Naeem... - p. 471-480 , 2020

Link: https://dl.acm.org/doi/1..

4

Verification of Programs with Pointers in SPARK:

, In: Formal Methods and Software Engineering; Lecture Notes in Computer Science,

Jaloyan, Georges-Axel ; Dross, Claire ; Maalej, Maroua.. - p. 55-72 , 2020

Link: https://doi.org/10.1007/..

5

Hacker éthique: une espèce en voie d'extinction ? 1:

Jaloyan, Georges-Axel
hal-04295397. , 2023

Link: https://hal.science/hal-..

6

A forensic analysis of the Google Home: repairing compresse..:

Naccache, David ; Barral, Hadrien ; Jaloyan, Georges-Axel...
hal-03932223. , 2022

Link: https://inria.hal.scienc..

7

A forensic analysis of the Google Home: repairing compresse..:

Barral, Hadrien ; Jaloyan, Georges-Axel ; Thomas-Brans, Fabien...
http://arxiv.org/abs/2210.00856. , 2022

Link: http://arxiv.org/abs/221..

8

Return-Oriented Programming on RISC-V:

Jaloyan, Georges-Axel ; Markantonakis, Konstantinos ; Akram, Raja Naeem...
http://arxiv.org/abs/2103.08229. , 2021

Link: http://arxiv.org/abs/210..

9

A semantic approach to machine-level software security ; Un..:

Jaloyan, Georges-Axel
http://www.theses.fr/2021UPSLE062/document. , 2021

Link: http://www.theses.fr/202..

10

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

Shepherd, Carlton ; Markantonakis, Konstantinos ; Jaloyan, Georges-Axel
http://arxiv.org/abs/2102.08804. , 2021

Link: http://arxiv.org/abs/210..

11

A semantic approach to machine-level software security ; Un..:

Jaloyan, Georges-Axel
NNT: 2021UPSLE062. , 2021

Link: https://theses.hal.scien..

12

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

Shepherd, Carlton ; Markantonakis, Konstantinos ; Jaloyan, Georges-Axel
https://rhul.elsevierpure.com/en/publications/43e3e04f-7176-45a9-854e-7dbce0537724. , 2021

Link: https://rhul.elsevierpur..

13

Verification of Programs with Pointers in SPARK:

Jaloyan, Georges-Axel ; Dross, Claire ; Maalej, Maroua..
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-030-63406-3_4. , 2020

Link: https://hal.inria.fr/hal..

14

Verification of Programs with Pointers in SPARK:

Jaloyan, Georges-Axel ; Dross, Claire ; Maalej, Maroua..
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-030-63406-3_4. , 2020

Link: https://inria.hal.scienc..

15

Verification of Programs with Pointers in SPARK:

Jaloyan, Georges-Axel ; Dross, Claire ; Maalej, Maroua..
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-030-63406-3_4. , 2020

Link: https://inria.hal.scienc..