@inproceedings{tsampas:hal-03232345,
  TITLE = {{A Categorical Approach to Secure Compilation}},
  AUTHOR = {Tsampas, Stelios and Nuyts, Andreas and Devriese, Dominique and Piessens, Frank},
  URL = {https://inria.hal.science/hal-03232345},
  BOOKTITLE = {{15th International Workshop on Coalgebraic Methods in Computer Science (CMCS)}},
  ADDRESS = {Dublin, Ireland},
  EDITOR = {Daniela Petri{\c s}an and Jurriaan Rot},
  PUBLISHER = {{Springer International Publishing}},
  SERIES = {Coalgebraic Methods in Computer Science},
  VOLUME = {LNCS-12094},
  PAGES = {155-179},
  YEAR = {2020},
  MONTH = Apr,
  DOI = {10.1007/978-3-030-57201-3\_9},
  KEYWORDS = {Secure compilation ; Distributive laws ; Structural operational semantics},
  PDF = {https://inria.hal.science/hal-03232345/file/493577_1_En_9_Chapter.pdf},
  HAL_ID = {hal-03232345},
  HAL_VERSION = {v1},
}