Dr. Abhay Deep Seth

• Ph.D. (Indian Institute of Technology, Bhilai), Master of Engineering (Computer Engineering, SGSITS, Indore), Bachelor of Engineering (CSE, RKDF IST Bhopal)
• Gate Qualified (2011)
• Research Area: Network Security, Formal Verification, Discrete Event Systems, Internet-of-Things, Intrusion Detection System
• Subject Taught or Comfortable to Teach: Computer Networks, TOC, Programming for problem solving using C++, Python, OOP using Java
• Achievements: MHRD fellowship for PhD and ME.

Publications:

• A.D. Seth, S. Biswas and A. K. Dhar, "LDES: Detector Design for Version Number Attack Detection
  using Linear Temporal Logic based on Discrete Event System”, Springer: International Journal of
  Information Security, 2023.
• Seth, AD, Biswas, S, Dhar, AK., DADCNF: Diagnoser design for Duplicate Address Detection
  threat using Conjunctive Normal Form, Computer Networks, Volume 222, 2023, 109539, ISSN
  1389-1286, https://doi.org/10.1016/j.comnet.2022.109539  
• Seth, AD, Biswas, S, Dhar, AK. Diagnoser design strategy for discrete event system: Case study of
  neutralization system. Adv Control Appl. 2022; 4 (4):e114. doi:10.1002/adc2.114   
• Seth, AD, Sharma, S, Ratmele, A. NHAPMAD: Novel hybrid approaches for privacy-preserved multiple attacks detection. Concurrency and Computation: Practice and Experience 2022; 36 (18): e8154. doi: https://doi.org/10.1002/cpe.8154 
• D. Seth, S. Biswas and A. K. Dhar, "Mitigation Technique against Network Isolation Attack on RPL in 6LoWPAN Network," TENCON 2021 - 2021 IEEE Region 10 Conference (TENCON), Auckland, New Zealand, 2021, pp. 68-73, doi: 10.1109/TENCON54134.2021.9707411. 
• D. Seth, S. Biswas and A. K. Dhar, "Detection and Verification of Decreased Rank Attack using Round-Trip Times in RPL-Based 6LoWPAN Networks," 2020 IEEE International Conference on Advanced Networks and Telecommunications Systems (ANTS), New Delhi, India, 2020, pp. 1-6, doi: 10.1109/ANTS50601.2020.9342754. 
• D. Seth, S. Biswas and A. K. Dhar, "De-Authentication Attack Detection using Discrete Event Systems in 802.11 Wi-Fi Networks," 2019 IEEE International Conference on Advanced Networks and Telecommunications Systems (ANTS), 2019, pp. 1-6, doi: 10.1109/ANTS47819.2019.9118100.

Certifications (Trainings/FDP/Workshop/Reviewer):

• Successfully completed 12 weeks course "Introduction to Automata, Languages and Computation” organised by IIT Kharagpur at NPTEL and Swayam.
• Designed patent published entitled as "AI based smart wheelchair” with design no: 382096-001 on 08-12-2023 (GoI).
• Served as a Reviewer at the 2nd International Conference on Advanced Network Technologies and Intelligent Computing (ANTIC-2023) held in hybrid mode at Department of Computer Science, Institute of Science, Banaras Hindu University, Varanasi, India during December 20-22, 2023.
• Served as a session chair at the International Conference on Recent Trends in Mathematics, Statistics, and Engineering held from 22-23 Dec 2023 at NMIMS Indore.
• The session chair at the National Conference on DPISD-2024 sponsored by ICSSR (GoI) from 15-16 March 2024 at NMIMS Indore.
• Reviewer for "The Journal of Supercomputing”.
• Attended 10 days FDP program organized by E&ICT NIT Warangal on "Recent Trends in Signal and Image Processing Applications” from 12^th June – 21^st June 2023.
• Attended 2 weeks FDP program sponsored by DST and organized by Academy of Maritime Education and Training on "Development of Entrepreneurship and Innovation” from 29^th May– 9^th June 2023.
• Participated in one month course on "Quantum Computing using Indigenous Quantum Simulator QSim” jointly organized by IIT Roorkee and CDAC Hyderabad with support of E&ICT, Government of India from 6^th – 28^th May 2023.
• Reviewer for SNCS journal of Springer.
• Served as a Reviewer at the 2nd International Conference on Advanced Network Technologies and Intelligent Computing (ANTIC-2022) held in hybrid mode at Department of Computer Science, Institute of Science, Banaras Hindu University, Varanasi, India during December 22-24, 2022
• Served as a Reviewer at the International Conference on Advanced Network Technologies and Intelligent Computing (ANTIC-2021) held online at Department of Computer Science, Institute of Science, Banaras Hindu University, Varanasi, India during December 17-18, 2021.
• Participated in blood donation campaign organised by AIIMS Raipur at IIT Bhilai on 23 April 2022.
• FDP on System Engineering 30 Sept-04 Oct 2020: A certificate issued by AICTE in online mode organized by IIIT, Naya Raipur.
• FDP on Internet of Things 05-09 Oct 2020: A certificate issued by AICTE in online mode organized by School of Technology, North Easter Hill University, Shillong.
• Programming for Everybody (Getting Started with Python: 27-Jun-2020) A certificate issued by coursera (University of Michigan), to learn about basic understanding of python.
• Automated Reasoning: Symbolic Model Checking (29-Jun-2020) A certificate issued by coursera (EIT Digital), to learn about automated reasoning.
• Attended in One-day National Workshop organized by IIT Bhilai on "Awareness on Intellectual Property Rights”, 24 August 2019.
• Participated in National Workshop organized by IIT Bhilai and E&ICT Academy IIT Guwahati on "Data Science and Artificial Intelligence” from 02-04 July 2019.
• Presented Paper at IEEE International Conference for Convergence in Technology (I2CT, Pune), April 2018.
• Attended conference at MPSTME Shirpur on "Emerging Trends and Practices in Science, Humanities & Management” on 18th February 2017.
• Attended 4-week FDP on "Use of ICT in Education for online and Blended
  Learning” on 2nd May to July 10^th
• Attended International conference at MPSTME Shirpur on Artificial Intelligence in health care on 27th and 28th December 2016.
• Attended National Seminar on "INTELLECTUAL PROPERTY RIGHTS” at IES IPSA, Indore in 2016.
• Attended National Seminar "ARTIFICIAL INTELLIGENCE” at IES IPSA, Indore in 2015.