Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

1 Array
Image document

A Categorical Approach to Secure Compilation

Stelios Tsampas , Andreas Nuyts , Dominique Devriese , Frank Piessens
15th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2020, Dublin, Ireland. pp.155-179, ⟨10.1007/978-3-030-57201-3_9⟩
Conference papers hal-03232345v1