EN FR
EN FR


Section: Dissemination

Popularization

Articles and contents

  • Catalin Hritcu contributed an article on Secure Compilation to the SIGPLAN PL Perspectives blog

  • Karthikeyan Bhargavan published a paper in Communications of the ACM