“Public Key Cryptosystems Based on Formal Language”
By Dr. D.G. Thomas
Visiting Associate Professor from Madras Christian College, India
Date: 22nd February 2013
Venue : D1-05
Time: 10.30am – 11.30am
Abstract
Cryptography is the science of keeping secrets secret. It is the study of sending messages in disguised form so that the intended recipient can remove the disguise and read the message. Diffie and Hellman introduced
the concept of Public Key Cryptosystem (PKC) in 1976. In public key cryptography the encryption key is available to everyone and the decryption key is kept secret by the owner. On the other hand, the theory of formal languages and Automata is the fundamental
area of theoretical computer science. The study of Noam Chomsky on grammars and grammatical structures of languages led to extensive research in the theory of formal languages in 1950s although the origin of a grammar or rewriting system could be attributed
to the work of Axel Thue in 1906. In 1986, Salomaa has very elegantly formulated the general technique to construct public key cryptosystems based on formal language theory. Choose a difficult (undecidable or intractable) problem Q and a sub problem P, which
is solvable in linear time. Shuffle P to obtain P1, which looks like Q. The manner of shuffling is the trapdoor, which is the secret. Use P1 to encrypt and P to decrypt. We review a few of the public key cryptosystems designed at Madras Christian College using
formal language theoretic concepts. We also consider certain cryptanalytic attacks on these systems.
Biography:
Dr D.G. Thomas is a visiting Associate Professor from the Department of Mathematics from Madras Christian College, India. He has 28 years teaching experience and 24 years research experience with a field of research in ‘Formal Languages
and Automata Theory and Applications with special reference to: Picture Languages, Image Analysis, Learning Algorithms (Grammatical Inference), String Rewriting Systems (Thue and semi-Thue systems), Infinite Words, Codes, Cryptosystems, Graph Grammars, DNA
Computing, Membrane Computing and Logic. Dr D.G. Thomas has more than 125 published research papers in national and international journals of repute/Lecture Notes in Computer Science/Proceedings of Conferences.
Please find attached Dr D.G. Thomas biodata
A Light Morning Tea will be provided
Kind Regards,
Elyse Perin
Administrative Assistant
School of Information Technology & Mathematical Sciences