Blanco, Roberto
- SECOMP: Formally Secure Compilation of Compartmentalized C Programs
2024/01/29 by Jérémy Thibault, Roberto Blanco, Thibault, Jérémy +13 · 2 voices
Computer Science · #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Programming Languages (cs.PL) #cs.CR #cs.PL
- FSLH: Flexible Mechanized Speculative Load Hardening
2025/02/05 by Roberto Blanco, Baumann, Jonathan, Blanco, Roberto +6 · 1 citation
Engineering · #Additive Manufacturing and 3D Printing Technologies #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Manufacturing Process and Optimization #Modular Robots and Swarm Intelligence #Programming Languages (cs.PL)