Georges-Axel Jaloyan
- 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 Carlton Shepherd, Konstantinos Markantonakis, Shepherd, Carlton +3 · 1 citation
Computer Science · #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #cs.CR
- Borrowing Safe Pointers from Rust in SPARK
2018/05/15 by Georges-Axel Jaloyan, Yannick Moy, Jaloyan, Georges-Axel +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