vix.ing · top · new · best · stats · spec

Thibault, Jérémy

  1. SECOMP: Formally Secure Compilation of Compartmentalized C Programs
    2024/01/29 by Jérémy Thibault, Thibault, Jérémy, Roberto Blanco +13 · 2 voices
    Computer Science · #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Programming Languages (cs.PL) #cs.CR #cs.PL