Login / Signup

A Categorical Approach to Secure Compilation.

Stelios TsampasAndreas NuytsDominique DevrieseFrank Piessens
Published in: CMCS (2020)
Keyphrases