作者
Bishwajeet Pandey (Gyancity Research Lab),Shabeer Ahmad (Gran Sasso Science Institute)
（2）
Baliyan, Anupam (Chandigarh University, Punjab),Kaswan, Kuldeep Singh (Galgotias Univ),Kumar, Naresh (Galgotias Uni.),Upreti, Kamal (IEC, Ghaziabad),Kannan, Ramani (Universiti Teknologi PETRONAS, Mal
（1）
Edmund M. Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith
（1）
Khurana, Mehak (The NorthCap Uni.),Mahajan, Shilpa (The NorthCap Uni.)
（1）
Kumar, Krishan (Panjab Univ.Chandigarh),Behal, Sunny (Pun Tech Univ.),Bhandari, Abhinav (Punjabi Univ.),Bhatia, Sajal (Sacred Heart Univ.)
（1）
Sharma, Nonita (NIT Jalandar),Awasthi, L K (NIT Jalandhar),Mangla, Monika (Lokmanya Tilak CoE),Sharma, K P (NIT Jalandhar),Kumar, Rohit (University of South California)
（1）
Sujatha, R (Vellore Institute of Technology (VIT) Vellore, India),Prakash, G (Amrita vishwa vidyapeetham),Jhanjhi, Noor Zaman (Taylors University, Malaysia)
（1）
Tanwar, Sarvesh (Amity Institute of Information Technology, Amity University, India),Badotra, Sumit,Rana, Ajay
（1）
；Baliyan, Anupam (Chandigarh University, Punjab),Kaswan, Kuldeep Singh (Galgotias Univ),Kumar, Naresh (Galgotias Uni.),Upreti, Kamal (IEC, Ghaziabad),Kannan, Ramani (Universiti Teknologi PETRONAS, Mal
（1）
；Khurana, Mehak (The NorthCap Uni.),Mahajan, Shilpa (The NorthCap Uni.)
（1）
；Kishor, Kaushal (Abes Inst. of Tech.),Nand, Parma (Sharda University, India),Jain, Vishal (Sharda University, Greater Noida, India),Saxena, Neetesh (Cardiff University, UK),Agarwal, Gaurav (Galgotias
（1）
；Kumar, Krishan (Panjab Univ.Chandigarh),Behal, Sunny (Pun Tech Univ.),Bhandari, Abhinav (Punjabi Univ.),Bhatia, Sajal (Sacred Heart Univ.)
（1）
；Sharma, Nonita (NIT Jalandar),Awasthi, L K (NIT Jalandhar),Mangla, Monika (Lokmanya Tilak CoE),Sharma, K P (NIT Jalandhar),Kumar, Rohit (University of South California)
（1）
；Sood, Vandana Mohindru,Singh, Yashwant,Bhargava, Bharat,Narang, Sushil Kumar
（1）
；Sujatha, R (Vellore Institute of Technology (VIT) Vellore, India),Prakash, G (Amrita vishwa vidyapeetham),Jhanjhi, Noor Zaman (Taylors University, Malaysia)
（1）
；Tanwar, Sarvesh (Amity Institute of Information Technology, Amity University, India),Badotra, Sumit,Rana, Ajay
（1）
