Back close

Dr. Jinesh M. K.

Assistant Professor (Sr. Gr.), School of Computing, Amritapuri

Qualification: Ph.D
jinesh@am.amrita.edu
Google Scholar Profile
ResearchGate Profile
Scopus Author ID
Research Interest: Blockchain, IoT Security, Programming Languages

Bio

Dr. Jinesh M. K. currently works as an Assistant Professor at Department of Computer Science and Application, Amrita Vishwa Vidyapeetham, Amritapuri Campus. His main research focuses are programming languages, Blockchain and IoT security. Jinesh was the lead researcher for one of the first cloud computing research initiatives funded by Department of Electronics & Information Technology, Govt of India, “Development of Trust Models for Cloud Computing”. He also worked as the technical lead for the DeitY-funded research project “Secure, Scalable, Interoperable Internet of Things Middleware”.

Jinesh completed his Master’s and PhD from Amrita Vishwa Vidypeetham in 2011 and 2018, respectively. His Ph.D. thesis, “Temporal constrained objects: semantics application and implementation”, introduces a novel programming paradigm to model systems with complex structures and dynamic behaviour. He received a post-doctoral fellowship from Baylor University in 2021.

Publications

Journal Article

Year : 2021

Semantics of temporal constrained objects

Cite this Research Publication : J.M. Kannimoola, Bharat Jayaraman, and K. Achuthan, “Semantics of Temporal Constrained Objects”, Journal of Logical and Algebraic Methods in Programming, vol. 119, p. 100632, 2021. DOI: https://doi.org/10.1016/j.jlamp.2020.100632

Publisher : Elsevier

Year : 2018

Temporal Constrained Objects for Modelling Neuronal Dynamics

Cite this Research Publication : Manjusha Nair, M. K. Jinesh, Bharat Jayaraman, Dr. Bipin G. Nair, and Dr. Shyam Diwakar, “Temporal constrained objects for modelling neuronal dynamics”, PeerJ Computer Science, vol. 4, p. e159, 2018

Publisher : PeerJ Computer Science,

Year : 2017

Temporal constrained objects: Application and implementation

Cite this Research Publication : J.M. Kannimoola, B. Jayaraman, P. Tambay, K. Achuthan, “Temporal constrained objects: Application and implementation”, Computer Languages, Systems and Structures, vol. 49, pp. 82-100, 2017. DOI: 10.1016/j.cl.2017.03.002

Publisher : Elsevier

Conference Paper

Year : 2017

Secure IoT: An improbable reality

Cite this Research Publication :
N. Mannilthodi and M. K. Jinesh, “Secure IoT: An improbable reality”, in IoTBDS 2017 - Proceedings of the 2nd International Conference on Internet of Things, Big Data and Security, 2017, pp. 338-343

Publisher : IoTBDS 2017 - Proceedings of the 2nd International Conference on Internet of Things, Big Data and Security, SciTePress,

Year : 2015

Security, Trust and Implementation Limitations of Prominent IoT Platforms

Cite this Research Publication : Shiju Sathyadevan, Kalarickal, B. S., and M. K. Jinesh, “Security, Trust and Implementation Limitations of Prominent IoT Platforms”, in Proceedings of the 3rd International Conference on Frontiers of Intelligent Computing: Theory and Applications (FICTA) 2014: Volume 2, Advances in Intelligent Systems and Computing, Cham, 2015, vol. 2, pp. 85–95.

Publisher : Proceedings of the 3rd International Conference on Frontiers of Intelligent Computing: Theory and Applications (FICTA) 2014: Volume 2, Advances in Intelligent Systems and Computing

Year : 2015

Implementation of Scatternet in an Intelligent IoT Gateway

Cite this Research Publication : L. Mohan, M. K. Jinesh, Bipin, K., Harikrishnan, P., and Shiju Sathyadevan, “Implementation of Scatternet in an Intelligent IoT Gateway”, in Emerging ICT for Bridging the Future - Proceedings of the 49th Annual Convention of the Computer Society of India CSI Volume 2, Hyderabad, 2015, vol. 338, pp. 275–287.

Publisher : Emerging ICT for Bridging the Future - Proceedings of the 49th Annual Convention of the Computer Society of India CSI Volume 2, Springer International Publishing

Year : 2014

Implementing Scatternet to Enhance Bluetooth Communication Capability

Cite this Research Publication : Shiju Sathyadevan, Lakshmi, Bipin and M. K. Jinesh, “Implementing Scatternet to Enhance Bluetooth Communication Capability”, in CSI Hyderabad, 2014.

Publisher : CSI Hyderabad

Year : 2014

Customizing EPCglobal to Fit Local ONS Requirements

Cite this Research Publication : Shiju Sathyadevan, Akhila, C. A., and M. K. Jinesh, “Customizing EPCglobal to Fit Local ONS Requirements”, in Intelligent Computing, Communication and Devices: Proceedings of ICCD 2014, Volume 308 of the series Advances in Intelligent Systems and Computing , 2014, vol. 320, pp. 21–30.

Publisher : Intelligent Computing, Communication and Devices: Proceedings of ICCD 2014, Volume 308 of the series Advances in Intelligent Systems and Computing

Conference Proceedings

Year : 2021

Formal Verification of IoT Protocol: In Design-Time and Run-Time Perspective

Cite this Research Publication : G. V. Lekshmy and M. K. Jinesh, “Formal Verification of IoT Protocol: In Design-Time and Run-Time Perspective”, Inventive Communication and Computational Technologies. Springer Singapore, Singapore, pp. 873-884, 2021.

Publisher : Inventive Communication and Computational Technologies, Springer Singapore

Year : 2020

A Formal Modeling Approach for QOS in MQTT Protocol

Cite this Research Publication : E. Archana, Rajeev, A., Kuruvila, A., Narayankutty, R., and M. K. Jinesh, “A Formal Modeling Approach for QOS in MQTT Protocol”, Data Communication and Networks. Springer Singapore, Singapore, pp. 39-57, 2020.

Publisher : Data Communication and Networks, Springer Singapore

Book Chapter

Year : 2017

Dynamic Constrained Objects for Vehicular Network Modeling

Cite this Research Publication :
M. K. Jinesh, Jayaraman, B., and Dr. Krishnashree Achuthan, “Dynamic Constrained Objects for Vehicular Network Modeling”, in Formal Methods for Safety and Security: Case Studies for Aerospace Applications, M. Nanda and Jeppu, Y., Eds. Singapore: Springer Singapore, 2017, pp. 41–52

Publisher : Formal Methods for Safety and Security: Case Studies for Aerospace Applications

Year : 2016

Sybil Attack Detection in Vehicular Networks

Cite this Research Publication : M. K. Jinesh, Bharat Jayaraman, and Dr. Krishnashree Achuthan, “Sybil Attack Detection in Vehicular Networks”, in Security and Privacy in Internet of Things (IoTs): Models, Algorithms, and Implementations, CRC Press, 2016, pp. 35 -51

Publisher : Security and Privacy in Internet of Things (IoTs): Models, Algorithms, and Implementations, CRC Press, p.35 -51.

Qualification

2018: Ph. D.
Specialization: Computer Science
Topic: Temporal Constrained Objects: Semantics Application and Implementation

2011: MSc Computer Science
Amrita Vishwa Vidaypeetham

2009: BSc Computer Science
Kannur University

Positions Held
  • Postdoctoral Associate, Baylor University, August 2021 – June 2022
  • Technical Lead, Center for Cybersecurity Systems and Networks, April 2013 – December 2015
  • Research Associate, Center for Cybersecurity Systems and Networks, June 2011 – March 2013
PhD Students
  • Student Name: Ms. Nima S. Nair
    Topic: IoT Security
  • Student Name: Ms. Leena V.
    Topic: IoT Security
  • Student Name: Ms. Aswathy M. S.
    Topic: Run-time Analysis of Temporal Constrained Objects
  • Student Name: Ms. Surya
    Topic: Blockchain
Courses Taught
  • 20CSA349 – Blockchain Technologies,2022, BCA DS
  • 19CSE213 – Operating Systems, 2021 B.Tech CSE
  • 19EAC211 – Operating Systems,2021 B.Tech EAC
  • 20CSA514 – Research Methodologies and Case Study, 2021, MCA
  • 15CSE337 – Cloud Computing and Services,2020, B.Tech CSE
  • 18SN702 – Security in the cloud, 2020, M.Tech CSN
  • 15CSE341 – Cryptography,2020, B.Tech CSE
  • 18CA314 – Cryptography and Network Security,2020, MCA
  • 18CA391 – Research Learning and Problem Formulation, 2020 MCA
  • 16CA403 – System Security, 2019 MCA
  • 15CSE337 – Cloud Computing and Services, 2019 B.Tech CSE
  • 15CSE213 – Operating Systems -2019 B.Tech CSE
  • 18SN702 – Security In the Cloud, 2019 M.Tech CSN
  • 15CSE202 – Object Oriented Programming – 2018, B.Tech CSE
  • 15CSE360 – Parallel and Distributed Computing -2018 B.Tech CSE
Admissions Apply Now