@inproceedings{TB2,
title = { {A CompCert Backend with Symbolic Encryption} },
author = {Torrini, Paolo and Boulm\'e, Sylvain},
month = {Jan},
year = {2022},
booktitle = {{Sixth workshop on Principles of Secure Compilation (PriSC'22), part of the 49th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2022)}},
address = {Philadelphia, Pennsylvania, United States},
team = {axe_FormalProofs, axe_Pacs, PACSS},
}
