%0 Conference Paper %1 conf/csfw/El-KorashyBTDGH22 %A El-Korashy, Akram %A Blanco, Roberto %A Thibault, Jérémy %A Durier, Adrien %A Garg, Deepak %A Hritcu, Catalin %B CSF %D 2022 %I IEEE %K dblp %P 64-79 %T SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation. %U http://dblp.uni-trier.de/db/conf/csfw/csfw2022.html#El-KorashyBTDGH22 %@ 978-1-6654-8417-6

@inproceedings{conf/csfw/El-KorashyBTDGH22, added-at = {2022-11-11T00:00:00.000+0100}, author = {El-Korashy, Akram and Blanco, Roberto and Thibault, Jérémy and Durier, Adrien and Garg, Deepak and Hritcu, Catalin}, biburl = {https://www.bibsonomy.org/bibtex/2fe157fa177b832bd8ad1726274cab6a6/dblp}, booktitle = {CSF}, crossref = {conf/csfw/2022}, ee = {https://doi.org/10.1109/CSF54842.2022.9919680}, interhash = {626b211716e90255805e7c0c1e138b9b}, intrahash = {fe157fa177b832bd8ad1726274cab6a6}, isbn = {978-1-6654-8417-6}, keywords = {dblp}, pages = {64-79}, publisher = {IEEE}, timestamp = {2024-04-09T13:16:03.000+0200}, title = {SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation.}, url = {http://dblp.uni-trier.de/db/conf/csfw/csfw2022.html#El-KorashyBTDGH22}, year = 2022 }