Boosting the Performance of High-Assurance Cryptography: Parallel Execution and Optimizing Memory Access in Formally-Verified Line-Point Zero-Knowledge.
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/ccs/DittmerEG0O023
%A Dittmer, Samuel
%A Eldefrawy, Karim
%A Graham-Lengrand, Stéphane
%A Lu, Steve
%A Ostrovsky, Rafail
%A Pereira, Vitor
%B CCS
%D 2023
%E Meng, Weizhi
%E Jensen, Christian Damsgaard
%E Cremers, Cas
%E Kirda, Engin
%I ACM
%K dblp
%P 2098-2112
%T Boosting the Performance of High-Assurance Cryptography: Parallel Execution and Optimizing Memory Access in Formally-Verified Line-Point Zero-Knowledge.
%U http://dblp.uni-trier.de/db/conf/ccs/ccs2023.html#DittmerEG0O023
@inproceedings{conf/ccs/DittmerEG0O023,
added-at = {2023-11-28T00:00:00.000+0100},
author = {Dittmer, Samuel and Eldefrawy, Karim and Graham-Lengrand, Stéphane and Lu, Steve and Ostrovsky, Rafail and Pereira, Vitor},
biburl = {https://www.bibsonomy.org/bibtex/21acd1a852e7012f9e069edecb9768157/dblp},
booktitle = {CCS},
crossref = {conf/ccs/2023},
editor = {Meng, Weizhi and Jensen, Christian Damsgaard and Cremers, Cas and Kirda, Engin},
ee = {https://doi.org/10.1145/3576915.3616583},
interhash = {ab4ad41ec394694d89720a38e06faeb5},
intrahash = {1acd1a852e7012f9e069edecb9768157},
keywords = {dblp},
pages = {2098-2112},
publisher = {ACM},
timestamp = {2024-04-09T10:14:25.000+0200},
title = {Boosting the Performance of High-Assurance Cryptography: Parallel Execution and Optimizing Memory Access in Formally-Verified Line-Point Zero-Knowledge.},
url = {http://dblp.uni-trier.de/db/conf/ccs/ccs2023.html#DittmerEG0O023},
year = 2023
}