Jaloyan, Georges-Axel
- Safe Pointers in SPARK 2014
2017/10/19 by Georges-Axel Jaloyan, Jaloyan, Georges-Axel · 1 voice · 1 citation
Computer Science · #Artificial intelligence #Assembly language #Compiler #Computer science #Formal Methods in Verification #Logic, programming, and type systems #Pointer (user interface) #Programming language #SPARK (programming language) #Software #Software Testing and Debugging Techniques #Software engineering #Soundness #cs.PL
- LIRA-V: Lightweight Remote Attestation for Constrained RISC-V Devices
2021/02/17 by Shepherd, Carlton, Markantonakis, Konstantinos, Jaloyan, Georges-Axel · 1 citation
#Cryptography and Security (cs.CR) #FOS: Computer and information sciences
- Borrowing Safe Pointers from Rust in SPARK
2018/05/15 by Georges-Axel Jaloyan, Jaloyan, Georges-Axel, Yannick Moy +3 · 1 voice
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Programming Languages (cs.PL) #Security and Verification in Computing #cs.PL