Georges-Axel Jaloyan

Identifiers

No identifiers captured yet.

Papers (3)

1. Borrowing Safe Pointers from Rust in SPARK cs.PL · 2018 · author #1
2. Safe Pointers in SPARK 2014 cs.PL · 2017 · author #1
3. ARMv8 Shellcodes from 'A' to 'Z' cs.CR · 2016 · author #4

Mentions

No mention provenance yet.

Frequent Coauthors

• Andrei Paskevich 1 shared papers
• David Naccache 1 shared papers
• Hadrien Barral 1 shared papers
• Houda Ferradi 1 shared papers
• R\'emi G\'eraud 1 shared papers
• Yannick Moy 1 shared papers