Genetic Programming Bibliography entries for Yuval Yarom

up to index Created by W.Langdon from gp-bibliography.bib Revision:1.7964

GP coauthors/coeditors: Chitchanok Chuengsatiansup, Markus Wagner, Joel Kuepper, Andres Erbsen, Jason Gross, Owen Conoly, Chuyue (Livia) Sun, Samuel Tian, David Wu, Adam Chlipala, Daniel Genkin, Madura A Shelton, Niels Samwel, Lejla Batina, Francesco Regazzoni, Lukasz Chmielewski,

Genetic Programming conference papers by Yuval Yarom

  1. Joel Kuepper and Andres Erbsen and Jason Gross and Owen Conoly and Chuyue Sun and Samuel Tian and David Wu and Adam Chlipala and Chitchanok Chuengsatiansup and Daniel Genkin and Markus Wagner and Yuval Yarom. CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives. In Nate Foster editor, 44th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2023, page article no. 158, Orlando, Florida, 2023. Association for Computing Machinery. Gold winner 2023 HUMIES, PLDI Distinguished Paper. details

  2. Chitchanok Chuengsatiansup and Markus Wagner and Yuval Yarom. Opportunities for Genetic Improvement of Cryptographic Code. In Bobby R. Bruce and Vesna Nowack and Aymeric Blot and Emily Winter and W. B. Langdon and Justyna Petke editors, GI @ GECCO 2022, pages 1928-1929, Boston, USA, 2022. Association for Computing Machinery. details

  3. Madura A. Shelton and Niels Samwel and Lejla Batina and Francesco Regazzoni and Markus Wagner and Yuval Yarom. Rosita: Towards Automatic Elimination of Power-Analysis Leakage in Ciphers. In Ahmad-Reza Sadeghi and Farinaz Koushanfar editors, Network and Distributed System Security Symposium, NDSS 2021, virtual, 2021. details

  4. Madura A. Shelton and Lukasz Chmielewski and Niels Samwel and Markus Wagner and Lejla Batina and Yuval Yarom. Rosita++: Automatic Higher-Order Leakage Elimination from Cryptographic Code. In Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security, pages 685-699, Virtual Event, Republic of Korea, 2021. Association for Computing Machinery. details