Sign in

SECOMP: Formally Secure Compilation of Compartmentalized C Programs.

Jérémy ThibaultRoberto BlancoDongjae LeeSven ArgoArthur Azevedo de AmorimAïna Linn GeorgesCatalin HritcuAndrew Tolmach
Published in: CoRR (2024)
Keyphrases
  • security level
  • programs written
  • case study
  • programming environment
  • automatic programming
  • real time
  • data sets
  • information systems
  • knowledge base
  • expert systems
  • data management
  • computer programs