Gautier Raimondi, Frédéric Besson, Thomas P. Jensen. Type-directed Program Transformation for Constant-Time Enforcement. In Santiago Escobar 0001, Vasco T. Vasconcelos, editors, International Symposium on Principles and Practice of Declarative Programming, PPDP 2023, Lisboa, Portugal, October 22-23, 2023. ACM, 2023. [doi]
@inproceedings{RaimondiBJ23,
title = {Type-directed Program Transformation for Constant-Time Enforcement},
author = {Gautier Raimondi and Frédéric Besson and Thomas P. Jensen},
year = {2023},
doi = {10.1145/3610612.3610618},
url = {https://doi.org/10.1145/3610612.3610618},
researchr = {https://researchr.org/publication/RaimondiBJ23},
cites = {0},
citedby = {0},
booktitle = {International Symposium on Principles and Practice of Declarative Programming, PPDP 2023, Lisboa, Portugal, October 22-23, 2023},
editor = {Santiago Escobar 0001 and Vasco T. Vasconcelos},
publisher = {ACM},
}