%0 Conference Paper %1 conf/esop/AbateBCD0HPTT20 %A Abate, Carmine %A Blanco, Roberto %A Ciobaca, Stefan %A Durier, Adrien %A Garg, Deepak %A Hritcu, Catalin %A Patrignani, Marco %A Tanter, Éric %A Thibault, Jérémy %B ESOP %D 2020 %E Müller, Peter %I Springer %K dblp %P 1-28 %T Trace-Relating Compiler Correctness and Secure Compilation. %U http://dblp.uni-trier.de/db/conf/esop/esop2020.html#AbateBCD0HPTT20 %V 12075 %@ 978-3-030-44914-8

@inproceedings{conf/esop/AbateBCD0HPTT20, added-at = {2022-04-09T00:00:00.000+0200}, author = {Abate, Carmine and Blanco, Roberto and Ciobaca, Stefan and Durier, Adrien and Garg, Deepak and Hritcu, Catalin and Patrignani, Marco and Tanter, Éric and Thibault, Jérémy}, biburl = {https://www.bibsonomy.org/bibtex/2a8c81b661e80f0775ae7184ba609e6bf/dblp}, booktitle = {ESOP}, crossref = {conf/esop/2020}, editor = {Müller, Peter}, ee = {https://doi.org/10.1007/978-3-030-44914-8_1}, interhash = {51a7079ef085ae084542bd7986d1bc3d}, intrahash = {a8c81b661e80f0775ae7184ba609e6bf}, isbn = {978-3-030-44914-8}, keywords = {dblp}, pages = {1-28}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T15:02:13.000+0200}, title = {Trace-Relating Compiler Correctness and Secure Compilation.}, url = {http://dblp.uni-trier.de/db/conf/esop/esop2020.html#AbateBCD0HPTT20}, volume = 12075, year = 2020 }