<div dir="ltr"><div dir="ltr"><div>Dear Prof. Andreas Hülsing,</div><div><br></div><div>Thank you for your email.</div><div><br></div><div>We will try to send the eproofing email as early as possible and you can take 3 business days to review the proof and submit the corrections.</div><div><br></div><div>If the portal is closed due to these time constraints you can send all your corrections through email. Since our eproofing portal is fully automated we cannot adjust the time frame manually.</div><div><br></div><div>Thank you for your kind understanding. </div><div><div dir="ltr" class="gmail_signature"><div dir="ltr"><p class="MsoNormal" style="margin-bottom:0.0001pt;line-height:normal;vertical-align:baseline"><span style="color:black;border:1pt none windowtext;padding:0cm">---</span></p><p class="MsoNormal" style="margin-bottom:0.0001pt;line-height:normal;vertical-align:baseline"><span style="color:black;border:1pt none windowtext;padding:0cm">Best Regards,</span></p>

<p class="MsoNormal" style="margin-bottom:0.0001pt;line-height:normal;vertical-align:baseline"><b><span style="color:black;border:1pt none windowtext;padding:0cm">Manigandan
K (Mr.)</span></b></p><p class="MsoNormal" style="margin-bottom:0.0001pt;line-height:normal;vertical-align:baseline"><span style="color:black">Production
Supervisor - Books Production</span></p><p class="MsoNormal" style="margin-bottom:0.0001pt;line-height:normal;vertical-align:baseline"><span style="color:black"><br></span></p><p class="MsoNormal" style="margin-bottom:0.0001pt;line-height:normal;vertical-align:baseline"><a href="http://www.springernature.com/" target="_blank"><span style="color:blue">www.springernature.com</span></a></p><p class="MsoNormal" style="margin-bottom:0.0001pt;line-height:normal;vertical-align:baseline"><span style="color:black">Straive
|7th Floor, Block-C | Hardy Tower | Ramanujan IT City | Rajiv Gandhi Salai
(OMR) |Taramani | Chennai |India-600 113.</span></p><p class="MsoNormal" style="margin-bottom:0.0001pt;line-height:normal;vertical-align:baseline"><span style="color:rgb(36,36,36)"></span></p>

<p class="MsoNormal" style="margin-bottom:0.0001pt;line-height:normal;vertical-align:baseline"><span style="color:black;border:1pt none windowtext;padding:0cm">M
+91 9965087680</span></p><p class="MsoNormal" style="margin-bottom:0.0001pt;line-height:normal;vertical-align:baseline"><a href="mailto:manigandank.kumarr@straive.com" title="manigandank.kumarr@straive.com" target="_blank"><span style="color:blue">manigandank.kumarr@straive.com</span></a></p><p class="MsoNormal" style="margin-bottom:0.0001pt;line-height:normal;vertical-align:baseline"><span style="font-size:13.5pt;font-family:"Segoe UI",sans-serif;color:black"></span></p>

<span style="font-size:11pt;line-height:107%;font-family:Calibri,sans-serif;color:rgb(31,56,100);border:1pt none windowtext;padding:0cm"><div style="border:0px;font-stretch:inherit;font-size:15px;line-height:inherit;margin:0px;padding:0px;vertical-align:baseline;color:rgb(36,36,36)"><div style="color:rgb(34,34,34);font-family:Arial,Helvetica,sans-serif;font-size:small;margin:0px"><p style="margin:0cm;font-family:Calibri,sans-serif;font-size:11pt;color:rgb(36,36,36)"><span style="color:rgb(31,56,100)">---<br></span><span style="font-family:inherit;font-size:small;font-style:inherit;font-variant:inherit;font-weight:inherit;color:rgb(31,56,100);border:0px;font-stretch:inherit;line-height:inherit;margin:0px;padding:0px;vertical-align:baseline"><img src="cid:ii_lsydeb3b0" alt="SPi Technologies India Pvt Ltd" width="74" height="16"> </span><span style="font-family:inherit;font-size:small;font-style:inherit;font-variant:inherit;font-weight:inherit;color:black;border:0px;font-stretch:inherit;line-height:inherit;margin:0px;padding:0px;vertical-align:baseline">is a service provider of</span><span style="font-family:inherit;font-size:small;font-style:inherit;font-variant:inherit;font-weight:inherit;color:rgb(31,56,100);border:0px;font-stretch:inherit;line-height:inherit;margin:0px;padding:0px;vertical-align:baseline"> </span><font color="#000000" style="font-family:Arial,Helvetica,sans-serif;font-size:small"><b><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;line-height:inherit;font-family:"Calibri Light",sans-serif;margin:0px;padding:0px;vertical-align:baseline">Springer</span></b><span style="font-weight:inherit;border:0px;font-style:inherit;font-variant:inherit;font-stretch:inherit;line-height:inherit;font-family:"Calibri Light",sans-serif;margin:0px;padding:0px;vertical-align:baseline"> </span><span style="border:0px;font-style:inherit;font-variant:inherit;font-stretch:inherit;line-height:inherit;font-family:inherit;margin:0px;padding:0px;vertical-align:baseline">Nature</span></font><br></p></div><div style="font-family:Arial,Helvetica,sans-serif;margin:0px;font-size:11pt"><br></div></div>
</span></div></div></div><br></div><br><div class="gmail_quote gmail_quote_container"><div dir="ltr" class="gmail_attr">On Thu, 20 Nov 2025 at 13:36, Andreas Hülsing <<a href="mailto:andreas@huelsing.net">andreas@huelsing.net</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div class="msg2769936989807597306">
<div><div dir="auto">Dear Manigandan K.,<br><br>Given that the 22nd of November is a Saturday which is a day off in most countries (as is Sunday), I expect that the 72 hours refer to workdays and start on Monday 24?<br><br>Best wishes,<br><br>Andreas</div><br><br><div class="gmail_quote"><div dir="auto">On November 20, 2025 7:27:10 AM GMT+01:00, <a href="mailto:manigandank.kumarr@straive.com" target="_blank">manigandank.kumarr@straive.com</a> wrote:</div><blockquote class="gmail_quote" style="margin:0pt 0pt 0pt 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
<p>Dear Authors,</p>
<p></p>
<p>My name is Manigandan K. and I am a production supervisor at <strong>Straive</strong> who will be handling the production of the book, <strong>Advances in Cryptology – ASIACRYPT 2025</strong>, on behalf of Springer. I will be your main production contact and will oversee the production of the text of your chapter from manuscript to final print and online files.</p>
<p></p>
<p>We refer to your paper <strong>"How Hard Can It Be to Formalize a Proof? Lessons from Formalizing  CryptoBox Three Times in EasyCrypt "</strong>, due to appear in Volume <strong>16246</strong> of the <strong>Lecture Notes in Computer Science</strong> series. The files for this volume have been sent to the typesetters and on <strong>November 22, 2025</strong>, a proof of your paper will be made available to you via a web interface. You will be alerted to this via e-mail and will be given 72 hours to check your paper. Sundays are not included in this time calculation, so please take note of this if it affects you. Please check your email, the two days before/after the date indicated above, as the schedule may change slightly.</p>
<p></p>
<p>I look forward to working with you on the production of this book. Please feel free to contact me if you have any questions or concerns.</p>
<p></p>

Best Regards,<br>
Manigandan K.<br>
Production Supervisor - Books Production<br>
<a href="https://www.springernature.com/in" target="_blank"><strong>www.springernature.com</strong></a><br>
Straive | 7th Floor, Block-C | Hardy Tower | Ramanujan IT City | Rajiv Gandhi Salai (OMR) | Taramani | Chennai | India-600 113<br>
M +91 (0) 9965087680<br>
<a href="mailto:manigandank.kumarr@straive.com" target="_blank">manigandank.kumarr@straive.com</a><br>
...<br>
<img src="https://proofs.straive.com/lncseproofing/img/straivelogo.jpg" alt="Straive" style="width: 70px; height: 15px;"> is a service provider of <span style="color:black"><strong>Springer </strong></span><span style="color:black"><strong>Nature</strong></span>
</blockquote></div><div dir="auto"><div>-- <br>Diese Nachricht wurde von meinem Android-Mobiltelefon mit K-9 Mail gesendet.</div></div></div></div></blockquote></div></div>