<div dir="ltr">Hi all,<div><br></div><div>Recently there has been some discussion and problems constant timeliness notion in LLVM IR [1]. As you may already know, LLVM IR, nor have, nor support any notion for cryptographic constant timeliness of optimizations in LLVM. There has been some research regarding secure code optimization [3, 5] and it is *kind of* possible to detect and test it easily [2]. I was thinking it is a good idea to propose this as the Google Summer of Code project? and who code mentor me regarding this project?</div><div><br></div><div>There has been some primitive implementation for this [6]. But it is nowhere near useable in real world, and needs a lot of improvement.<br clear="all"><div><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div><br></div><div><br></div><div>1) <a href="https://bugs.llvm.org/show_bug.cgi?id=42901">https://bugs.llvm.org/show_bug.cgi?id=42901</a></div><div><span style="color:rgb(0,0,0)">2) Reparaz, Oscar, Josep Balasch, and Ingrid Verbauwhede. "Dude, is my code constant time?." Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017. IEEE, 2017.</span><br style="color:rgb(0,0,0)"><span style="color:rgb(0,0,0)">3) Almeida, José Bacelar, et al. "Verifying constant-time implementations." 25th {USENIX} Security Symposium ({USENIX} Security 16). 2016.</span><br style="color:rgb(0,0,0)"><span style="color:rgb(0,0,0)">4) Simon, Laurent, David Chisnall, and Ross Anderson. "What you get is what you C: Controlling side effects in mainstream C compilers." 2018 IEEE European Symposium on Security and Privacy (EuroS&P). IEEE, 2018.</span><br style="color:rgb(0,0,0)"><span style="font-size:13px;color:rgb(0,0,0);font-family:Arial,sans-serif">5) </span>Vu, Son Tuan, et al. "Secure delivery of program properties through optimizing compilation." Proceedings of the 29th International Conference on Compiler Construction. 2020.<br></div><div>6) <a href="https://github.com/lmrs2/ct_choose">https://github.com/lmrs2/ct_choose</a></div><div><br><span style="color:rgb(0,0,0)">best wishes,</span><br style="color:rgb(0,0,0)"><span style="color:rgb(0,0,0)">Regards.</span><br></div></div></div></div></div></div>