Mathematics and Logics in Computer Science

This book presents high-quality research papers presented at the International Conference on Mathematics and Logics in Computer Science (ICMLCS 2025) held at Allenhouse Institute of Technology, Kanpur, India, during 26–27 July 2025. The book covers recent research in data science, network security, theory of computing, cloud computing, coding theory, linear algebra and its applications in machine learning, artificial intelligence, block chain, deep learning, graph theory, cryptography, cyber security, internet of things, quantum computing, and steganography.

Atul Chaturvedi is currently working as a professor in Mathematics and additional director at AIT, Kanpur. He has received his M.Sc., M.Phil., and Ph.D. from Dr. B. R A. University, Agra. His research interests include Cryptography and Network Security protocols particularly lattice-based cryptography and non-commutative ring-based cryptography. He is a life member of Cryptology Research Society of India (CRSI), Indian Society for Technical Education (ISTE), and Indian Science Congress Association (ISCA). He has published various books, research papers in reputed journals, and a reviewer of many International journals. He has been the convener of many national and international conferences/workshops in the area of Cryptology and Network Security under the aegis of various prestigious societies/organizations like DRDO, ISI Kolkata, AICTE, ISTE, etc. He is the copyright owner of many cryptographic algorithms (from Department of Industrial policy and promotion, Ministry of Commerce, Government of India). He has/is guided/guiding many doctoral research fellows in the area of Cryptography and Network Security.

Bimal Kumar Roy is a former director of the Indian Statistical Institute (ISI), Kolkata. He is the founder and the general-secretary, Cryptology Research Society of India (CRSI). He is a cryptologist from the Cryptology Research Group of the Applied Statistics Unit of ISI, Kolkata. He received Ph.D. in Combinatorics and Optimization in 1982 from the University of Waterloo under the joint supervision of Ronald C. Mullin and Paul Jacob Schellenberg. Currently, he is working on Combinatorics and application of Statistics in Cryptology and Design of Experiments. In 2015, he was awarded Padma Shri, India’s fourth-highest civilian honor, recognizing his accomplishments and contribution to education. In 2019, he was appointed as the chairperson of the National Statistical Commission, Ministry of Statistics and Programme Implementation, Government of India. He has been a driving force in advancing the important field of cryptology in India, elevating its visibility to international level. He devoted his career to strengthening India’s standing in this timely, fast advancing field.

Boaz Tsaban is an Israeli mathematician at the faculty of Bar-Ilan University working as a capacity of professor. His research interests include selection principles within Set Theory and Nonabelian Cryptology, within Mathematical Cryptology. At the age of 16, he was selected with other high school students to attend the first cycle of a special preparation program in mathematics, at Bar-Ilan University, being admitted to regular mathematics courses at the university a year later. He has completed his B.Sc., M.Sc., and Ph.D. degrees with highest distinctions. Two years as a post-doctoral fellow at Hebrew University were followed by a three-year Koshland Fellowship at the Weizmann Institute of Science before he joined the Department of Mathematics, Bar-Ilan University, in 2007. Tsaban’s doctoral dissertation, supervised by Hillel Furstenberg, won, with Irit Dinur, the Nessyahu prize for the best Ph.D. in mathematics in Israel in 2003. In 2009, he won the Wolf Foundation Krill Prize for Excellence in Scientific Research.