[DMANET] call for chapters

Dear Colleagues,

We are pleased to announce a call for a chapter in the book "Handbook of
Formal Analysis and Verification in Cryptography" which will be published
by CRC Press, Taylor & Francis Group. If you would like to contribute with
a chapter, please send us an email by February 24, 2021 and we can schedule
a meeting to discuss.

Best regards,
Editors: Sedat Akleylek and Besik Dundua
Email: sedat.akleylek@bil.omu.edu.tr and bdundua@gmail.com

*Edited Book: **Handbook of Formal Analysis and Verification in
Cryptography**

*Will be published by **CRC Press, Taylor & Francis Group*

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************