bibtex

@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},
}

URL


Contact | Site Map | Site powered by SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4095773