<html><head><style type="text/css">
ul{margin:0; padding:0;}
</style>
</head><body><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, manigandank.kumarr@straive.com 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"><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>
manigandank.kumarr@straive.com<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 class='k9mail-signature'>-- <br>Diese Nachricht wurde von meinem Android-Mobiltelefon mit K-9 Mail gesendet.</div></div></body></html>