[Asiacrypt2025] Your chapter in [978-981-95-5095-1, ASIACRYPT 2025, Part II, LNCS 16246, schedule for paper approval (679523_1_En, Chapter 5)]

[Manigandan K Kumar R]

Dear Prof. Andreas Hülsing,

Thank you for your email.

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.

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.

Thank you for your kind understanding.

---

Best Regards,

*Manigandan K (Mr.)*

Production Supervisor - Books Production


www.springernature.com

Straive |7th Floor, Block-C | Hardy Tower | Ramanujan IT City | Rajiv
Gandhi Salai (OMR) |Taramani | Chennai |India-600 113.

M +91 9965087680

manigandank.kumarr at straive.com

---
[image: SPi Technologies India Pvt Ltd] is a service provider of *Springer*
Nature



On Thu, 20 Nov 2025 at 13:36, Andreas Hülsing <andreas at huelsing.net> wrote:

> Dear Manigandan K.,
>
> 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?
>
> Best wishes,
>
> Andreas
>
>
> On November 20, 2025 7:27:10 AM GMT+01:00, manigandank.kumarr at straive.com
> wrote:
>
>> Dear Authors,
>>
>> My name is Manigandan K. and I am a production supervisor at *Straive*
>> who will be handling the production of the book, *Advances in Cryptology
>> – ASIACRYPT 2025*, 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.
>>
>> We refer to your paper *"How Hard Can It Be to Formalize a Proof?
>> Lessons from Formalizing CryptoBox Three Times in EasyCrypt "*, due to
>> appear in Volume *16246* of the *Lecture Notes in Computer Science*
>> series. The files for this volume have been sent to the typesetters and on *November
>> 22, 2025*, 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.
>>
>> 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.
>>
>> Best Regards,
>> Manigandan K.
>> Production Supervisor - Books Production
>> *www.springernature.com* <https://www.springernature.com/in>
>> Straive | 7th Floor, Block-C | Hardy Tower | Ramanujan IT City | Rajiv
>> Gandhi Salai (OMR) | Taramani | Chennai | India-600 113
>> M +91 (0) 9965087680
>> manigandank.kumarr at straive.com
>> ...
>> [image: Straive] is a service provider of *Springer **Nature*
>
> --
> Diese Nachricht wurde von meinem Android-Mobiltelefon mit K-9 Mail
> gesendet.
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.iis.sinica.edu.tw/pipermail/asiacrypt2025/attachments/20251120/aca1195b/attachment-0001.htm>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: image.png
Type: image/png
Size: 1971 bytes
Desc: not available
URL: <http://www.iis.sinica.edu.tw/pipermail/asiacrypt2025/attachments/20251120/aca1195b/attachment-0001.png>