%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 }